A hierarchical consistency framework for real-time supervisory control

DOI10.1007/s10626-018-0267-zzbMath1398.93008OpenAlexW2794908582WikidataQ130062825 ScholiaQ130062825MaRDI QIDQ1790660

Kiam Tian Seow, Quang Ha Ngo

Publication date: 2 October 2018

Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)

Full work available at URL: https://hdl.handle.net/10356/87454

zbMATH Keywords

finite automataformal languageshierarchical controltimed discrete-event systems

Mathematics Subject Classification ID

Hierarchical systems (93A13) Discrete event control/observation systems (93C65) Cellular automata (computational aspects) (68Q80)

Uses Software

• UMDES

Cites Work

• Unnamed Item
• Unnamed Item
• State based control of timed discrete event systems using binary decision diagrams
• A theory of timed automata
• Nonblocking supervisory control of timed discrete event systems under communication delays: the existence conditions
• Hierarchical control of timed discrete-event systems
• Nonblocking supervisory control of state tree structures.
• Supervision localization of timed discrete-event systems
• Local Modular Supervisory Control of Timed Discrete-Event Systems
• Introduction to Discrete Event Systems
• A framework for real-time discrete event control
• Supervisory Control of a Class of Discrete Event Processes
• Supervisory control of timed discrete-event systems
• A method for the modular synthesis of controllers for timed discrete-event systems
• Supervisory control of timed discrete-event systems under partial observation
• Supervisory control of real-time discrete-event systems using lattice theory
• On the consistency of hierarchical supervision in discrete-event systems
• Reduced supervisors for timed discrete-event systems

This page was built for publication: A hierarchical consistency framework for real-time supervisory control