Loading...
A Framework for Compositional Synthesis of Modular Nonblocking Supervisors
Abstract
This paper describes a framework for compositional supervisor synthesis, which is applicable to all discrete event systems modeled as a set of deterministic automata. Compositional synthesis exploits the modular structure of the input model, and therefore works best for models consisting of a large number of small automata. The state-space explosion is mitigated by the use of abstraction to simplify individual components, and the property of synthesis equivalence guarantees that the final synthesis result is the same as it would have been for the non-abstracted model. The paper describes synthesis equivalent abstractions and shows their use in an algorithm to efficiently compute supervisors. The algorithm has been implemented in the DES software tool Supremica and successfully computes nonblocking modular supervisors, even for systems with more than 1014 reachable states, in less than 30 seconds.
Type
Journal Article
Type of thesis
Series
Citation
Mohajerani, S., Malik, R., & Fabian, M. (2014). A Framework for Compositional Synthesis of Modular Nonblocking Supervisors. IEEE Transactions on Automatic Control, 59(1), 150–162. https://doi.org/10.1109/TAC.2013.2283109
Date
2014
Publisher
IEEE
Degree
Supervisors
Rights
This is an author’s accepted version of an article published in the journal: IEEE Transactions on Automatic Control. ©2014 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.