A structural approach to the non-blocking supervisory control of discrete-event systems
2009 (English)In: The International Journal of Advanced Manufacturing Technology, ISSN 0268-3768, E-ISSN 1433-3015, Vol. 41, no 11-12, 1152-1168 p.Article in journal (Refereed) Published
Many practical and important systemic properties of manufacturing systems, like deadlock freeness, liveness, and reversibility, can be formulated as the non-blocking property of discrete-event systems. It can be difficult, however, to verify non-blocking or design a supervisor to guarantee non-blocking control because of state size explosion in the concurrency model. In this paper, we present sufficient conditions for the computation of (small) model abstractions that preserve the non-blocking property. As a consequence, hierarchical and decentralized control structures can be flexibly integrated, and the proposed approach can synthesize maximally permissive and non-blocking control with reduced computational effort. The solution is a group of decentralized supervisors that transparently displays control logic and admits relatively simple implementation.
Place, publisher, year, edition, pages
2009. Vol. 41, no 11-12, 1152-1168 p.
Supervisory control, Discrete-event systems, Non-blocking control
Production Engineering, Human Work Science and Ergonomics Electrical Engineering, Electronic Engineering, Information Engineering
IdentifiersURN: urn:nbn:se:kth:diva-32216DOI: 10.1007/s00170-008-1555-9ISI: 000264598200011ScopusID: 2-s2.0-63449136182OAI: oai:DiVA.org:kth-32216DiVA: diva2:409832
QC 201104112011-04-112011-04-112011-04-11Bibliographically approved