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

DOI10.1016/J.AUTOMATICA.2006.08.017MaRDI QIDQ869096zbMATH OpenOpenAlexFDO

Authors Seong Jin Park, K.-H. Cho

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)

Recommendations

• Robust and nonblocking supervisory control of nondeterministic discrete event systems with communication delay and partial observation
• A modified normality condition for decentralized supervisory control of discrete event systems
• Decentralized supervisory control of discrete event systems with nonhomogeneous control structure
• Existence and verification for decentralized nondeterministic discrete-event systems under bisimulation equivalence
• Centralized and Decentralized Supervisory Control of Nondeterministic Systems Under Partial Observation

Cites work

• scientific article; zbMATH DE number 1086786 (Why is no real title available?)
• scientific article; zbMATH DE number 1383199 (Why is no real title available?)
• A general architecture for decentralized supervisory control of discrete-event systems
• Nonblocking supervisory control of nondeterministic systems via prioritized synchronization
• Robust and nonblocking supervisory control of nondeterministic discrete event systems using trajectory models
• Supervisory Control of a Class of Discrete Event Processes
• Think globally, act locally: decentralized supervisory control

Cited in

(5)

• Existence and verification for decentralized nondeterministic discrete-event systems under bisimulation equivalence
• Robust and nonblocking supervisory control of nondeterministic discrete event systems with communication delay and partial observation
• scientific article; zbMATH DE number 6178626 (Why is no real title available?)
• A modified normality condition for decentralized supervisory control of discrete event systems
• Robust and nonblocking supervisor for discrete-event systems with model uncertainty under partial observation

Describes a project that uses

Uses Software

• UMDES

This page was built for publication: Decentralized supervisory control of nondeterministic discrete event systems: The existence condition of a robust and nonblocking supervisor

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