Browsing by Author "Teixeira, Marcelo"
Now showing items 1-5 of 5
-
An algorithm for the synthesis of least restrictive controllable supervisors for extended finite-state machines
Malik, Robi; Teixeira, Marcelo (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
Malik, Robi; Teixeira, Marcelo (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
Malik, Robi; Teixeira, Marcelo (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 ... -
Synthesis of least restrictive controllable supervisors for extended finite-state machines with variable abstraction
Malik, Robi; Teixeira, Marcelo (Springer, 2020)This 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 supervisors. ... -
Variable abstraction and approximations in supervisory control synthesis
Teixeira, Marcelo; Malik, Robi; Cury, José E. R.; de Queiroz, Max. H. (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 ...
Co-authors for Marcelo Teixeira
Marcelo Teixeira has 3 co-authors in Research Commons.