Loading...
Thumbnail Image
Item

An algorithm for the synthesis of least restrictive controllable supervisors for extended finite-state machines

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.
Type
Working Paper
Type of thesis
Series
Computer Science Working Papers
Citation
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.
Date
2016
Publisher
Department of Computer Science, The University of Waikato
Degree
Supervisors
Rights
© 2016 Robi Malik and Marcelo Teixeira