A supervisory control method for ensuring the conformance of real-time discrete event systems
From MaRDI portal
Publication:816702
DOI10.1007/S10626-005-4059-XzbMATH Open1101.93049OpenAlexW2028436354MaRDI QIDQ816702FDOQ816702
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
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
- A theory of timed automata
- Supervisory Control of a Class of Discrete Event Processes
- Title not available (Why is that?)
- On the synthesis of discrete controllers for timed systems
- Reachability analysis of dynamical systems having piecewise-constant derivatives
- Title not available (Why is that?)
- Title not available (Why is that?)
- Timed control with partial observability.
- Supervisory control of timed discrete-event systems
- A new method for transforming timed automata
- A supervisory control method for ensuring the conformance of real-time discrete event systems
- Title not available (Why is that?)
- A method for the synthesis of controllers to handle safety, liveness, and real-time constraints
- Ensuring the conformance of reactive discrete-event systems by means of supervisory control
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
Uses Software
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)
