Supervisory control of timed discrete-event systems
From MaRDI portal
Publication:4297249
DOI10.1109/9.272327zbMath0801.93002MaRDI QIDQ4297249
W. Murray Wonham, Bertil A. Brandin
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
93A10: General systems
Related Items
A method for the modular synthesis of controllers for timed discrete-event systems, Supervisory control for fault-tolerant scheduling of real-time multiprocessor systems with aperiodic tasks, A supervisory control method for ensuring the conformance of real-time discrete event systems, Supervisory control of \((\max,+)\) automata: a behavioral approach, 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, Real-time preemptive scheduling of sporadic tasks based on supervisory control of discrete event systems, Reactive mode handling of flexible manufacturing systems, Supervisory control for real-time scheduling of periodic and sporadic tasks with resource constraints, Petri nets for the design and operation of manufacturing systems, Control-invariance of hybrid systems with forcible events, Automatic synthesis of a subclass of schedulers in timed systems., Robust supervisory control of a class of timed discrete event systems under partial observation, A control synthesis approach for time discrete event systems, Grid automata and supervisory control of dense real-time discrete event systems, Supervisory control of timed discrete event systems under partial observation based on activity models and eligible time bounds, Hierarchical control of discrete-event systems, Hierarchical control of timed discrete-event systems, Safe diagnosability for fault-tolerant supervision of discrete-event systems, Identification of Discrete Event Systems Using the Compound Recurrent Neural Network: Extracting DEVS from Trained Network, Diagnosability of delay-deadline failures in fair real time discrete event models, Formal design and analysis of a hybrid supervisory control structure for Virtual Production Systems, A new method for centralised and modular supervisory control of real-time discrete event systems