A supervisory control method for ensuring the conformance of real-time discrete event systems

DOI10.1007/s10626-005-4059-xzbMath1101.93049MaRDI QIDQ816702

Ahmed Khoumsi

Publication date: 23 February 2006

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

Full work available at URL: https://doi.org/10.1007/s10626-005-4059-x

zbMATH Keywords

supervisory control; timed automata; real-time discrete event systems (RTDES); Set-Exp-Automata

Mathematics Subject Classification ID

93C65: Discrete event control/observation systems

Related Items

SetExp: a method of transformation of timed automata into finite state automata, Supervisory controller design to enforce some basic properties in timed-transition Petri nets using stretching, A supervisory control method for ensuring the conformance of real-time discrete event systems, A new method for centralised and modular supervisory control of real-time discrete event systems

Uses Software

• Kronos

Cites Work

• A supervisory control method for ensuring the conformance of real-time discrete event systems
• A theory of timed automata
• Reachability analysis of dynamical systems having piecewise-constant derivatives
• Supervisory Control of a Class of Discrete Event Processes
• Supervisory control of timed discrete-event systems
• A method for the synthesis of controllers to handle safety, liveness, and real-time constraints
• On the synthesis of discrete controllers for timed systems
• Ensuring the conformance of reactive discrete-event systems by means of supervisory control
• Computer Aided Verification
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item