The following pages link to (Q4493880):
Displayed 18 items.
- A survey of timed automata for the development of real-time systems (Q394966) (← links)
- CGMurphi: automatic synthesis of numerical controllers for nonlinear hybrid systems (Q397407) (← links)
- Synthesizing bounded-time 2-phase fault recovery (Q903518) (← links)
- Approximately bisimilar symbolic models for nonlinear control systems (Q1004115) (← links)
- Design of decentralized critical observers for networks of finite state machines: a formal method approach (Q1678627) (← links)
- Symbolic synthesis of masking fault-tolerant distributed programs (Q1938357) (← 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)
- Symbolic control design of nonlinear systems with outputs (Q2280917) (← links)
- The complexity of automated addition of fault-tolerance without explicit legitimate states (Q2355327) (← 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)
- Verifying untimed and timed aspects of the experimental batch plant (Q2512162) (← links)
- Non-Interference Control Synthesis for Security Timed Automata (Q2864391) (← links)
- Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems (Q2948229) (← links)
- Model Checking Real-Time Systems (Q3176387) (← links)
- Timed Control with Observation Based and Stuttering Invariant Strategies (Q3510796) (← links)
- Diagnostic Information for Realizability (Q5452707) (← links)