Supervisory Control of Nondeterministic Systems with Driven Events via Prioritized Synchronization and Trajectory Models

DOI10.1137/S0363012992239600zbMATH Open0819.93003MaRDI QIDQ4698796FDOQ4698796

Authors: Mark A. Shayman, Ratnesh Kumar 

Publication date: 27 August 1995

Published in: SIAM Journal on Control and Optimization (Search for Journal in Brave)

Recommendations

• Nonblocking supervisory control of nondeterministic systems via prioritized synchronization
• Discrete-event control of nondeterministic systems
• Centralized and Decentralized Supervisory Control of Nondeterministic Systems Under Partial Observation
• scientific article; zbMATH DE number 744043

zbMATH Keywords

trajectory modelsnondeterministic automatadiscrete event dynamical systemscontrollability and observabilitysupervisory controllersprioritized synchronizationdriven events

Mathematics Subject Classification ID

Formal languages and automata (68Q45) General systems (93A10) Hierarchical systems (93A13) Decentralized systems (93A14) Control/observation systems involving computers (process control, etc.) (93C83)

Cited In (4)

• A class of non-deterministic specifications for supervisory control
• Supervisory control of discrete event systems
• Masked prioritized synchronization for interaction and control of discrete event systems
• Bisimilarity enforcing supervisory control of nondeterministic discrete event systems with nondeterministic specifications

This page was built for publication: Supervisory Control of Nondeterministic Systems with Driven Events via Prioritized Synchronization and Trajectory Models

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