2016 Working Papers

Compositional supervisor synthesis with state merging and transition removal

Mohajerani, Sahar; Malik, Robi; Fabian, Martin (Department of Computer Science, The University of Waikato, 2016)

This working paper proposes a framework to obtain memory-efficient supervisors for large discrete event systems, which are least restrictive, controllable, and nonblocking. The approach combines compositional synthesis and ...
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 ...