2016 Working Papers
Recently Added
-
Compositional supervisor synthesis with state merging and transition removal
(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
(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 ...