Supervisory control of timed discrete-event systems
From MaRDI portal
Publication:4297249
DOI10.1109/9.272327zbMath0801.93002OpenAlexW3161476343MaRDI QIDQ4297249
Bertil A. Brandin, W. Murray Wonham
Publication date: 3 July 1994
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/9.272327
Related Items (56)
Automatic synthesis of a subclass of schedulers in timed systems. ⋮ Diagnosability of delay-deadline failures in fair real time discrete event models ⋮ Hierarchical planning in a supervisory control context with compositional abstraction ⋮ Supervision localization of timed discrete-event systems ⋮ Using logic to solve the submodule construction problem ⋮ Supervisory control of \((\max,+)\) automata: a behavioral approach ⋮ Networked supervisor synthesis against lossy channels with bounded network delays as non-networked synthesis ⋮ A new class of supervisors for timed discrete event systems under partial observation ⋮ State based control of timed discrete event systems using binary decision diagrams ⋮ Fault diagnosis in discrete time hybrid systems -- a case study ⋮ Supervisory control for fault-tolerant scheduling of real-time multiprocessor systems with aperiodic tasks ⋮ Petri nets for the design and operation of manufacturing systems ⋮ SetExp: a method of transformation of timed automata into finite state automata ⋮ Time-optimal control of large-scale systems of systems using compositional optimization ⋮ SCT-based priority-free conditionally-preemptive scheduling of modular real-time systems with exact task execution time ⋮ Least-cost transition sequence estimation in labelled time Petri net systems with unobservable transitions ⋮ Verifying weak and strong \(k\)-step opacity in discrete-event systems ⋮ State estimation in labeled time Petri net systems using observed modified state class graph ⋮ An approach for enforcing a class of GMECs on time Petri nets with uncontrollable transitions ⋮ Robust supervisory control of timed discrete event systems under partial observation based on eligible time bounds: the existence conditions ⋮ Nonblocking supervisory control of timed discrete event systems under communication delays: the existence conditions ⋮ Delay-robustness in distributed control of timed discrete-event systems based on supervisor localisation ⋮ Sampled-data supervisory control ⋮ 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 ⋮ Robust supervisory control of a class of timed discrete event systems under partial observation ⋮ Real-time preemptive scheduling of sporadic tasks based on supervisory control of discrete event systems ⋮ A process calculus approach to detection and mitigation of PLC malware ⋮ A control synthesis approach for time discrete event systems ⋮ Grid automata and supervisory control of dense real-time discrete event systems ⋮ Sampled-data controller implementation ⋮ Control-invariance of hybrid systems with forcible events ⋮ State‐Feedback Control for a Class of Timed Petri Nets Subject to Marking Constraints ⋮ Supervisory control of timed discrete event systems under partial observation based on activity models and eligible time bounds ⋮ A hierarchical consistency framework for real-time supervisory control ⋮ Automated Synthesis of Application-Layer Connectors from Automata-Based Specifications ⋮ Supervisory control of discrete event systems with flexible marking ⋮ Supervisory control of (max,+) automata: extensions towards applications ⋮ A Summary of Some Discrete-Event System Control Problems ⋮ Reactive mode handling of flexible manufacturing systems ⋮ Relative coobservability for decentralised supervisory control of discrete-event systems ⋮ Logical time control of concurrent DES ⋮ Optimal work-conserving scheduler synthesis for real-time sporadic tasks using supervisory control of timed discrete-event systems ⋮ A method for the modular synthesis of controllers for timed discrete-event systems ⋮ Hierarchical control of discrete-event systems ⋮ Hierarchical control of timed discrete-event systems ⋮ Supervisory control for real-time scheduling of periodic and sporadic tasks with resource constraints ⋮ Safe diagnosability for fault-tolerant supervision of discrete-event systems ⋮ Formal design and analysis of a hybrid supervisory control structure for Virtual Production Systems ⋮ Robustness of synchronous communication protocols with delay for decentralized discrete-event control ⋮ State feedback control of real-time discrete event systems with infinite states ⋮ Localisation-based distributed control of timed discrete-event systems with communication delay ⋮ Control of Petri nets subject to strict temporal constraints using Max-Plus algebra ⋮ Identification of Discrete Event Systems Using the Compound Recurrent Neural Network: Extracting DEVS from Trained Network ⋮ Modelling and feedback control for a class of Petri Nets with shared resources subject to strict time constraints using Max-plus algebra ⋮ A supervisory control method for ensuring the conformance of real-time discrete event systems
This page was built for publication: Supervisory control of timed discrete-event systems
