On supervisory control of sequential behaviors

DOI10.1109/9.182487MaRDI QIDQ5288508zbMATH OpenOpenAlexFDO

Authors Vijay K. Garg, Steven I. Marcus, Ratnesh Kumar

Publication date 12 August 1993

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

Full work available at URL https://semanticscholar.org/paper/38c30c4b06308a918d43658d7b8201f32822cfdd

zbMATH Keywords

\(\omega\)- observability\(\omega\)-language\(\omega\)-normalitydiscrete-event dynamic systems

Mathematics Subject Classification ID

Hierarchical systems (93A13) Observability (93B07) Synthesis problems (93B50)

Recommendations

• scientific article; zbMATH DE number 1284133
• scientific article; zbMATH DE number 4215376
• Supervisory control of a class of concurrent discrete event systems under partial observation
• scientific article; zbMATH DE number 4041696

Cited in

(23)

• Formulae relating controllability, observability, and co-observability
• Supervisory control and reactive synthesis: a comparative introduction
• Supervisory control of a class of concurrent discrete event systems under partial observation
• On control of systems modelled as deterministic Rabin automata
• Supervisory control of discrete event systems
• A hierarchical and modular control architecture for sequential behaviours
• Compositional synthesis of maximally permissive supervisors using supervision equivalence
• On asymptotically efficient solutions for a class of supervisory control problems
• scientific article; zbMATH DE number 4215376 (Why is no real title available?)
• Implementation of supervisory control using extended finite-state machines
• scientific article; zbMATH DE number 409884 (Why is no real title available?)
• scientific article; zbMATH DE number 1284133 (Why is no real title available?)
• Supervision of Infinite Behavior of Discrete-Event Systems
• Prioritized Composition With Exclusion and Generation for the Interaction and Control of Discrete Event Systems
• On the language generated under fully decentralized supervision
• Sequential control of trace processes
• On the corrective control of sequential machines
• On the control of incompletely described sequential machines
• scientific article; zbMATH DE number 6027053 (Why is no real title available?)
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• Synthesis of supervisors using learning algorithm of regular languages
• Flexible regenerative supervision of sequential behaviour.
• Understanding deadlock and livelock behaviors in hybrid control systems

This page was built for publication: On supervisory control of sequential behaviors

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