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

DOI10.1137/S0363012992239600MaRDI QIDQ4698796zbMATHFDO

Authors Mark A. Shayman, Ratnesh Kumar

Publication date 27 August 1995

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

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)

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

Cited in

(4)

• Masked prioritized synchronization for interaction and control of discrete event systems
• A class of non-deterministic specifications for supervisory control
• Supervisory 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)