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

DOI10.1007/S10626-005-4059-XzbMath1101.93049OpenAlexW2028436354MaRDI 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 controltimed automatareal-time discrete event systems (RTDES)Set-Exp-Automata

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65)

Related Items (4)

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 new method for centralised and modular supervisory control of real-time discrete event systems ⋮ A supervisory control method for ensuring the conformance 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

This page was built for publication: A supervisory control method for ensuring the conformance of real-time discrete event systems