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

nondeterministic discrete-event systemsnonmarkingsupervisory controltrajectory 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

(16)

• A class of non-deterministic specifications for supervisory control
• A suboptimal deadlock control policy for designing non-blocking supervisors in flexible manufacturing systems
• Employing behavioral preorders to define controllability for nondeterministic discrete-event systems
• scientific article; zbMATH DE number 1820095 (Why is no real title available?)
• Centralized and Decentralized Supervisory Control of Nondeterministic Systems Under Partial Observation
• scientific article; zbMATH DE number 1086786 (Why is no real title available?)
• Discrete-event control of nondeterministic systems
• Design of nonblocking modular supervisors using event priority functions
• Supervisory Control of Nondeterministic Systems with Driven Events via Prioritized Synchronization and Trajectory Models
• scientific article; zbMATH DE number 744042 (Why is no real title available?)
• Progressive events in supervisory control and compositional verification
• 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
• Bisimilarity enforcing supervisory control of nondeterministic discrete event systems with nondeterministic specifications
• Offline supervisory control synthesis: taxonomy and recent developments
• Decentralized supervisory control of nondeterministic discrete event systems: The existence condition of a robust and nonblocking supervisor

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)