Pages that link to "Item:Q4297249"
From MaRDI portal
The following pages link to Supervisory control of timed discrete-event systems (Q4297249):
Displayed 24 items.
- 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)
- 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)
- 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)
- 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)
- 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)
- Supervisory control for fault-tolerant scheduling of real-time multiprocessor systems with aperiodic tasks (Q5323277) (← links)