An algorithm for the synthesis of least restrictive controllable supervisors for extended finite-state machines
Citation
Export citationMalik, 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
Abstract
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.
Date
2016Type
Report No.
01/2016
Publisher
Department of Computer Science, The University of Waikato
Rights
© 2016 Robi Malik and Marcelo Teixeira