Modular Supervisor Synthesis for Extended Finite-State Machines Subject to Controllability

Malik, Robi; Teixeira, Marcelo

doi:10.1109/WODES.2016.7497831

Files

wodes16.pdf

Accepted version, 171.6Kb

DOI

10.1109/WODES.2016.7497831

Citation

Export citation

Malik, R., & Teixeira, M. (2016). Modular Supervisor Synthesis for Extended Finite-State Machines Subject to Controllability. In C. Cassandras, A. Giua, & Z. Li (Eds.), Proceedings of the 2016 13th International Workshop on Discrete Event Systems (WODES), Xi'an, China, 30 May-1 June 2016 (pp. 91–96). Washington, DC, USA: IEEE. http://doi.org/10.1109/WODES.2016.7497831

Permanent Research Commons link: https://hdl.handle.net/10289/10834

Abstract

This 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

2016-01-01

Type

Conference Contribution

Publisher

IEEE

Rights

© 2016 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.

Collections

Computing and Mathematical Sciences Papers [1455]