Pages that link to "Item:Q4297249"
From MaRDI portal
The following pages link to Supervisory control of timed discrete-event systems (Q4297249):
Displayed 50 items.
- Sampled-data supervisory control (Q481359) (← links)
- SetExp: a method of transformation of timed automata into finite state automata (Q601048) (← links)
- Supervisory controller design to enforce some basic properties in timed-transition Petri nets using stretching (Q665122) (← links)
- A supervisory control method for ensuring the conformance of real-time discrete event systems (Q816702) (← links)
- Supervisory control of \((\max,+)\) automata: a behavioral approach (Q843993) (← links)
- A new class of supervisors for timed discrete event systems under partial observation (Q859740) (← links)
- State based control of timed discrete event systems using binary decision diagrams (Q864498) (← links)
- Fault diagnosis in discrete time hybrid systems -- a case study (Q865902) (← links)
- Real-time preemptive scheduling of sporadic tasks based on supervisory control of discrete event systems (Q942318) (← links)
- Reactive mode handling of flexible manufacturing systems (Q1005184) (← links)
- Supervisory control for real-time scheduling of periodic and sporadic tasks with resource constraints (Q1049157) (← links)
- Petri nets for the design and operation of manufacturing systems (Q1375146) (← links)
- Control-invariance of hybrid systems with forcible events (Q1776418) (← links)
- A hierarchical consistency framework for real-time supervisory control (Q1790660) (← links)
- Automatic synthesis of a subclass of schedulers in timed systems. (Q1874276) (← links)
- Robust supervisory control of a class of timed discrete event systems under partial observation (Q1978665) (← links)
- Logical time control of concurrent DES (Q2058560) (← links)
- Optimal work-conserving scheduler synthesis for real-time sporadic tasks using supervisory control of timed discrete-event systems (Q2061133) (← links)
- Hierarchical planning in a supervisory control context with compositional abstraction (Q2128088) (← links)
- Networked supervisor synthesis against lossy channels with bounded network delays as non-networked synthesis (Q2151821) (← links)
- Time-optimal control of large-scale systems of systems using compositional optimization (Q2177769) (← links)
- SCT-based priority-free conditionally-preemptive scheduling of modular real-time systems with exact task execution time (Q2177772) (← links)
- A process calculus approach to detection and mitigation of PLC malware (Q2235740) (← links)
- Robustness of synchronous communication protocols with delay for decentralized discrete-event control (Q2348364) (← links)
- Using logic to solve the submodule construction problem (Q2377376) (← links)
- Robust supervisory control of timed discrete event systems under partial observation based on eligible time bounds: the existence conditions (Q2440671) (← links)
- Nonblocking supervisory control of timed discrete event systems under communication delays: the existence conditions (Q2440686) (← links)
- A control synthesis approach for time discrete event systems (Q2489593) (← links)
- Grid automata and supervisory control of dense real-time discrete event systems (Q2489622) (← links)
- Supervisory control of timed discrete event systems under partial observation based on activity models and eligible time bounds (Q2504677) (← links)
- Supervisory control of discrete event systems with flexible marking (Q2511869) (← links)
- Hierarchical control of discrete-event systems (Q2563779) (← links)
- Hierarchical control of timed discrete-event systems (Q2563780) (← links)
- Safe diagnosability for fault-tolerant supervision of discrete-event systems (Q2576131) (← links)
- Supervision localization of timed discrete-event systems (Q2628493) (← links)
- Automated Synthesis of Application-Layer Connectors from Automata-Based Specifications (Q2799159) (← links)
- Supervisory control of (max,+) automata: extensions towards applications (Q2799292) (← links)
- Delay-robustness in distributed control of timed discrete-event systems based on supervisor localisation (Q2979535) (← links)
- A Summary of Some Discrete-Event System Control Problems (Q3073615) (← links)
- Identification of Discrete Event Systems Using the Compound Recurrent Neural Network: Extracting DEVS from Trained Network (Q3148237) (← links)
- Diagnosability of delay-deadline failures in fair real time discrete event models (Q3161644) (← links)
- Formal design and analysis of a hybrid supervisory control structure for Virtual Production Systems (Q3439872) (← links)
- A new method for centralised and modular supervisory control of real-time discrete event systems (Q3550771) (← links)
- A method for the modular synthesis of controllers for timed discrete-event systems (Q4460523) (← links)
- Relative coobservability for decentralised supervisory control of discrete-event systems (Q4967658) (← links)
- Localisation-based distributed control of timed discrete-event systems with communication delay (Q5027357) (← links)
- Control of Petri nets subject to strict temporal constraints using Max-Plus algebra (Q5027534) (← links)
- Modelling and feedback control for a class of Petri Nets with shared resources subject to strict time constraints using Max-plus algebra (Q5029166) (← links)
- State‐Feedback Control for a Class of Timed Petri Nets Subject to Marking Constraints (Q5194910) (← links)
- State feedback control of real-time discrete event systems with infinite states (Q5266197) (← links)