Supervisory control of real-time discrete-event systems using lattice theory

DOI10.1109/9.481519MaRDI QIDQ4876585zbMATH OpenOpenAlexFDO

Authors Darren D. Cofer, Vijay K. Garg

Publication date 5 May 1996

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

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

zbMATH Keywords

latticediscrete-event systemssupervisory controlfixed point resultstimed-event graphs

Mathematics Subject Classification ID

Controllability (93B05) Hierarchical systems (93A13) Model systems in control theory (93C99)

Recommendations

• On supervisory control of real-time discrete-event systems
• scientific article; zbMATH DE number 800037
• Supervisory control of timed discrete-event systems
• Supervisory control of discrete-event systems
• Supervisory Control of Discrete-Event Systems
• Supervisory control of concurrent discrete-event systems
• scientific article; zbMATH DE number 4041696
• Supervisory Control of Timed Discrete-Event Systems With Logical and Temporal Specifications
• Supervisory control for continuous-time discrete-event systems and its observability
• Supervisory control of discrete event systems

Cited in

(13)

• Stable model predictive control for constrained max-plus-linear systems
• Predictability and control synthesis.
• Supervisory control of extended timed event graphs
• A characterization of realizable behavior in supervisory control of timed event graphs
• scientific article; zbMATH DE number 800037 (Why is no real title available?)
• Model reference control for timed event graphs in diods
• Input signal design for identification of Max-plus-linear systems
• A hierarchical consistency framework for real-time supervisory control
• Robust control of constrained max-plus-linear systems
• Supervision localization of timed discrete-event systems
• scientific article; zbMATH DE number 744069 (Why is no real title available?)
• Petri nets for the design and operation of manufacturing systems
• Reachability and observability of linear systems over max-plus.

This page was built for publication: Supervisory control of real-time discrete-event systems using lattice theory

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