An algorithm for the synthesis of least restrictive controllable supervisors for extended finite-state machines
Malik, R., & Teixeira, M. (2016). An algorithm for the synthesis of least restrictive controllable supervisors for extended finite-state machines (Computer Science Working Papers 01/2016). Hamilton, New Zealand: The University of Waikato, Department of Computer Science.
Permanent Research Commons link: https://hdl.handle.net/10289/9841
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 selecting components from a synchronous composition until a least restrictive controllable solution is obtained. This method is usually faster and produces smaller supervisors than standard monolithic synthesis, while offering the modelling benefits of variables. An example of manufacturing system control illustrates the approach.
Department of Computer Science, The University of Waikato
© 2016 Robi Malik and Marcelo Teixeira