Nonblocking supervisory control of nondeterministic systems via prioritized synchronization

DOI10.1109/9.533677MaRDI QIDQ4896783zbMATH OpenOpenAlexFDO

Authors Ratnesh Kumar, Mark A. Shayman

Publication date 8 July 1997

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

Full work available at URL https://doi.org/10.1109/9.533677

zbMATH Keywords

supervisory controlnondeterministic discrete-event systemsnonmarkingtrajectory model nonblocking

Mathematics Subject Classification ID

General systems (93A10) Hierarchical systems (93A13) Stochastic systems in control theory (general) (93E03)

Recommendations

• Supervisory Control of Nondeterministic Systems with Driven Events via Prioritized Synchronization and Trajectory Models
• scientific article; zbMATH DE number 744042
• scientific article; zbMATH DE number 1086786
• scientific article; zbMATH DE number 744043

Cited in

(11)

• Progressive events in supervisory control and compositional verification
• scientific article; zbMATH DE number 1820095 (Why is no real title available?)
• A suboptimal deadlock control policy for designing non-blocking supervisors in flexible manufacturing systems
• Decentralized supervisory control of nondeterministic discrete event systems: The existence condition of a robust and nonblocking supervisor
• Employing behavioral preorders to define controllability for nondeterministic discrete-event systems
• A class of non-deterministic specifications for supervisory control
• scientific article; zbMATH DE number 744042 (Why is no real title available?)
• Bisimilarity enforcing supervisory control of nondeterministic discrete event systems with nondeterministic specifications
• Design of nonblocking modular supervisors using event priority functions
• Robust and nonblocking supervisory control of nondeterministic discrete event systems with communication delay and partial observation
• Modular supervisory control with equivalence-based abstraction and covering-based conflict resolution

This page was built for publication: Nonblocking supervisory control of nondeterministic systems via prioritized synchronization

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