• 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 ...

  

View more