Supervisory control of timed discrete-event systems
From MaRDI portal
Publication:4297249
Recommendations
Cited in
(77)- On supervisory control of real-time discrete-event systems
- scientific article; zbMATH DE number 1836361 (Why is no real title available?)
- A framework for real-time discrete event control
- A new method for centralised and modular supervisory control of real-time discrete event systems
- Formal design and analysis of a hybrid supervisory control structure for Virtual Production Systems
- Supervisory control for fault-tolerant scheduling of real-time multiprocessor systems with aperiodic tasks
- Least-cost transition sequence estimation in labelled time Petri net systems with unobservable transitions
- 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
- scientific article; zbMATH DE number 744047 (Why is no real title available?)
- Syntax-based synthesis for temporal-safety supervision
- Two Cases of Study for Control Reconfiguration of Discrete Event Systems (DES)
- Hierarchical control of discrete-event systems
- Control of Petri nets subject to strict temporal constraints using Max-Plus algebra
- 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
- 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
- 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
- Hierarchical planning in a supervisory control context with compositional abstraction
- A summary of some discrete-event system control problems
- Relative coobservability for decentralised supervisory control of 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
- 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
- State feedback control of real-time discrete event systems with infinite states
- 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
- scientific article; zbMATH DE number 800037 (Why is no real title available?)
- Robust supervisory control of a class of timed discrete event systems under partial observation
- State estimation in labeled time Petri net systems using observed modified state class graph
- 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
- scientific article; zbMATH DE number 434961 (Why is no real title available?)
- Control-invariance of hybrid systems with forcible events
- Modelling and feedback control for a class of Petri nets with shared resources subject to strict time constraints using max-plus algebra
- A control synthesis approach for time discrete event systems
- Safe diagnosability for fault-tolerant supervision of discrete-event systems
- An approach for enforcing a class of GMECs on time Petri nets with uncontrollable transitions
- 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
- Localisation-based distributed control of timed discrete-event systems with communication delay
- A hierarchical consistency framework for real-time supervisory control
- 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
- 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
- Time-optimal control of large-scale systems of systems using compositional optimization
- Robustness of synchronous communication protocols with delay for decentralized discrete-event control
- Sampled-data controller implementation
- 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
- scientific article; zbMATH DE number 1786149 (Why is no real title available?)
- 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.
- Timed discrete event control of parallel production lines with continuous outputs
- Verifying weak and strong \(k\)-step opacity in discrete-event systems
- Networked supervisor synthesis against lossy channels with bounded network delays as non-networked synthesis
- Supervisory control of (max,+) automata: extensions towards applications
- scientific article; zbMATH DE number 744069 (Why is no real title available?)
- 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
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)
