Decentralized supervisory control of nondeterministic discrete event systems: The existence condition of a robust and nonblocking supervisor

DOI10.1016/j.automatica.2006.08.017zbMath1111.93053OpenAlexW1993028385MaRDI QIDQ869096

Kwang Hyun Cho, Seong Jin Park

Publication date: 26 February 2007

Published in: Automatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.automatica.2006.08.017

zbMATH Keywords

decentralized supervisory controlnonblockingnessnondeterministic discrete event systemsrobust supervisorstrajectory models

Mathematics Subject Classification ID

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

Related Items

Robust and nonblocking supervisory control of nondeterministic discrete event systems with communication delay and partial observation

Uses Software

• UMDES

Cites Work

• Unnamed Item
• Unnamed Item
• A general architecture for decentralized supervisory control of discrete-event systems
• Supervisory Control of a Class of Discrete Event Processes
• Think globally, act locally: decentralized supervisory control
• Nonblocking supervisory control of nondeterministic systems via prioritized synchronization
• Robust and nonblocking supervisory control of nondeterministic discrete event systems using trajectory models