Supervisory control of timed discrete-event systems
From MaRDI portal
Publication:4297249
DOI10.1109/9.272327zbMATH Open0801.93002OpenAlexW3161476343MaRDI QIDQ4297249FDOQ4297249
Authors: 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
Recommendations
Cited In (77)
- A framework for real-time discrete event control
- Supervisory control for fault-tolerant scheduling of real-time multiprocessor systems with aperiodic tasks
- A new method for centralised and modular supervisory control of real-time discrete event systems
- On supervisory control of real-time discrete-event systems
- Supervisory control of real-time discrete-event systems using lattice theory
- A new approach to synthesis problems in timed 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
- Robust supervisory control of timed discrete event systems under partial observation based on eligible time bounds: the existence conditions
- Multitasking supervisory control of discrete-event systems
- Hierarchical control of timed discrete-event systems
- A method for the modular synthesis of controllers for timed discrete-event systems
- Supervisory control of discrete event systems
- A process calculus approach to detection and mitigation of PLC malware
- Relative coobservability for decentralised supervisory control of discrete-event systems
- Hierarchical planning in a supervisory control context with compositional abstraction
- A summary of some discrete-event system control problems
- 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
- SetExp: a method of transformation of timed automata into finite state automata
- Reactive mode handling of flexible manufacturing systems
- Using logic to solve the submodule construction problem
- Title not available (Why is that?)
- Robust supervisory control of a class of timed discrete event systems under partial observation
- A supervisory control method for ensuring the conformance of real-time discrete event systems
- State-feedback control for a class of timed Petri nets subject to marking constraints
- Title not available (Why is that?)
- Control-invariance of hybrid systems with forcible events
- A control synthesis approach for time discrete event systems
- Safe diagnosability for fault-tolerant supervision of discrete-event systems
- SCT-based priority-free conditionally-preemptive scheduling of modular real-time systems with exact task execution time
- Supervisory control of \((\max,+)\) automata: a behavioral approach
- Supervisory control for real-time scheduling of periodic and sporadic tasks with resource constraints
- A hierarchical consistency framework for real-time supervisory control
- Sampled-data supervisory control
- Logical time control of concurrent DES
- Optimal work-conserving scheduler synthesis for real-time sporadic tasks using supervisory control of timed discrete-event systems
- Supervisory control of discrete event systems with flexible marking
- Sampled-data controller implementation
- Time-optimal control of large-scale systems of systems using compositional optimization
- Robustness of synchronous communication protocols with delay for decentralized discrete-event control
- Diagnosability of delay-deadline failures in fair real time discrete event models
- Nonblocking supervisory control of timed discrete event systems under communication delays: the existence conditions
- Supervision localization of timed discrete-event systems
- Grid automata and supervisory control of dense real-time discrete event systems
- Automatic synthesis of a subclass of schedulers in timed systems.
- Verifying weak and strong \(k\)-step opacity in discrete-event systems
- Timed discrete event control of parallel production lines with continuous outputs
- Supervisory control of (max,+) automata: extensions towards applications
- Networked supervisor synthesis against lossy channels with bounded network delays as non-networked synthesis
- Supervisory controller design to enforce some basic properties in timed-transition Petri nets using stretching
- Petri nets for the design and operation of manufacturing systems
- Automated synthesis of application-layer connectors from automata-based specifications
- Title not available (Why is that?)
- Least-cost transition sequence estimation in labelled time Petri net systems with unobservable transitions
- Formal design and analysis of a hybrid supervisory control structure for Virtual Production Systems
- Title not available (Why is that?)
- Two Cases of Study for Control Reconfiguration of Discrete Event Systems (DES)
- Syntax-based synthesis for temporal-safety supervision
- Control of Petri nets subject to strict temporal constraints using Max-Plus algebra
- Modeling and state estimation for supervisory control of networked timed discrete-event systems and their application in supervisor synthesis
- On a simplified untiming procedure for supervisory control of timed automata when the time increases strictly monotonically
- State feedback control of real-time discrete event systems with infinite states
- State estimation in labeled time Petri net systems using observed modified state class graph
- Modelling and feedback control for a class of Petri nets with shared resources subject to strict time constraints using max-plus algebra
- An approach for enforcing a class of GMECs on time Petri nets with uncontrollable transitions
- Localisation-based distributed control of timed discrete-event systems with communication delay
- Identification of Discrete Event Systems Using the Compound Recurrent Neural Network: Extracting DEVS from Trained Network
- Supervisory control to maximize mean time to failure in discrete event systems
- Quantitatively nonblocking supervisory control of discrete-event systems
- State estimation for constant-time labeled automata under dense time
- Delay-robustness in distributed control of timed discrete-event systems based on supervisor localisation
- Supervisory control of timed event graphs with partial specifications
- Title not available (Why is that?)
- Title not available (Why is that?)
This page was built for publication: Supervisory control of timed discrete-event systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4297249)
