Browsing by Author "Teixeira, Marcelo"
Now showing items 1-4 of 4
-
An algorithm for the synthesis of least restrictive controllable supervisors for extended finite-state machines
(Department of Computer Science, The University of Waikato, 2016)This working paper proposes an algorithm for the synthesis of modular supervisors using extended finite-state machines, i.e., state machines with variables and guards on the transitions. Synthesis is performed by iteratively ... -
Framework and proofs for synthesis of least restrictive controllable supervisors for extended finite-state machines with variable abstraction
(Department of Computer Science, The University of Waikato, 2018)This working paper presents an algorithm that combines modular synthesis for extended finite-state machines (EFSM) with abstraction of variables by symbolic manipulation, in order to compute least restrictive controllable ... -
Modular Supervisor Synthesis for Extended Finite-State Machines Subject to Controllability
(IEEE, 2016-01-01)This paper proposes an algorithm for the synthesis of modular supervisors using extended finite-state machines, i.e., state machines with variables and guards on the transitions. Synthesis is performed by iteratively ... -
Variable abstraction and approximations in supervisory control synthesis
(IEEE, 2013)This paper proposes a method to simplify Extended Finite-state Automata (EFA) in such a way the least restrictive controllable supervisor is preserved. The method is based on variable abstraction, which involves the ...
