Design of nonblocking modular supervisors using event priority functions

DOI10.1109/9.847723MaRDI QIDQ4507068zbMATH OpenOpenAlexFDO

Authors Stéphane Lafortune, Yi-Liang Chen, Feng Lin

Publication date 17 October 2000

Published in IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/6b6b7e2f350dd8117899f04c0bb76f5ce13f41ce

zbMATH Keywords

blocking resolutiondiscrete-event systemsmodular control with prioritiespriorityspecificationssupervisory control

Mathematics Subject Classification ID

Hierarchical systems (93A13) Design techniques (robust design, computer-aided design, etc.) (93B51) Discrete event control/observation systems (93C65)

Recommendations

• Mutually nonblocking supervisory control of discrete event systems
• Modular control and coordination of discrete-event systems
• scientific article; zbMATH DE number 1836359
• scientific article; zbMATH DE number 3959244
• Nonblocking supervisory control of nondeterministic systems via prioritized synchronization

Cited in

(5)

• Incremental model evolution and reusability of supervisors for discrete event systems
• Maximally permissive mutually and globally nonblocking supervision with application to switching control
• Modular nonblocking state feedback control of discrete event systems and its application to dynamic oligopolistic markets
• Progressive events in supervisory control and compositional verification
• Mutually nonblocking supervisory control of discrete event systems

This page was built for publication: Design of nonblocking modular supervisors using event priority functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4507068)