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