Pages that link to "Item:Q3493236"
From MaRDI portal
The following pages link to A framework for real-time discrete event control (Q3493236):
Displayed 13 items.
- SetExp: a method of transformation of timed automata into finite state automata (Q601048) (← links)
- Using mappings to prove timing properties (Q1200918) (← links)
- Supervisory control of discrete event systems (Q1922191) (← links)
- Grid automata and supervisory control of dense real-time discrete event systems (Q2489622) (← links)
- A contribution to the validation of grafcet controlled systems (Q2512110) (← links)
- Syntax-based synthesis for temporal-safety supervision (Q2573941) (← links)
- A Summary of Some Discrete-Event System Control Problems (Q3073615) (← links)
- Diagnosability of delay-deadline failures in fair real time discrete event models (Q3161644) (← links)
- A new method for centralised and modular supervisory control of real-time discrete event systems (Q3550771) (← links)
- Discrete events and general systems theory (Q4020636) (← links)
- On feedback controllers (Q4020637) (← links)
- A method for the modular synthesis of controllers for timed discrete-event systems (Q4460523) (← links)
- Logical models of discrete even systems: a comparative exposition (Q5955794) (← links)