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

DOI10.1007/S10626-005-4059-XMaRDI QIDQ816702zbMATH OpenOpenAlexFDO

Authors 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

timed automatasupervisory controlreal-time discrete event systems (RTDES)Set-Exp-Automata

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65)

Recommendations

• A new method for centralised and modular supervisory control of real-time discrete event systems
• Ensuring the conformance of reactive discrete-event systems by means of supervisory control
• scientific article; zbMATH DE number 800037
• Grid automata and supervisory control of dense real-time discrete event systems
• Supervisor synthesis for real-time discrete event systems

Cites work

• scientific article; zbMATH DE number 176728 (Why is no real title available?)
• scientific article; zbMATH DE number 2086417 (Why is no real title available?)
• scientific article; zbMATH DE number 938070 (Why is no real title available?)
• scientific article; zbMATH DE number 1418452 (Why is no real title available?)
• A method for the synthesis of controllers to handle safety, liveness, and real-time constraints
• A new method for transforming timed automata
• A supervisory control method for ensuring the conformance of real-time discrete event systems
• A theory of timed automata
• Ensuring the conformance of reactive discrete-event systems by means of supervisory control
• On the synthesis of discrete controllers for timed systems
• 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
• Timed control with partial observability.

Cited in

(7)

• A new method for centralised and modular supervisory control of real-time discrete event systems
• Confusion avoidance for discrete event systems by P/E constraints and supervisory control
• SetExp: a method of transformation of timed automata into finite state automata
• A supervisory control method for ensuring the conformance of real-time discrete event systems
• Ensuring the conformance of reactive discrete-event systems by means of supervisory control
• Formalizing Real-Time Scheduling Using Priority-Based Supervisory Control of Discrete-Event Systems
• Supervisory controller design to enforce some basic properties in timed-transition Petri nets using stretching

Describes a project that uses

Uses Software

• Kronos

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

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