scientific article; zbMATH DE number 1487476
From MaRDI portal
Publication:4493880
Cited in
(18)- Approximately bisimilar symbolic models for nonlinear control systems
- Design of decentralized critical observers for networks of finite state machines: a formal method approach
- Symbolic synthesis of masking fault-tolerant distributed programs
- Logical time control of concurrent DES
- Optimal work-conserving scheduler synthesis for real-time sporadic tasks using supervisory control of timed discrete-event systems
- Symbolic control design of nonlinear systems with outputs
- The complexity of automated addition of fault-tolerance without explicit legitimate states
- Robust supervisory control of timed discrete event systems under partial observation based on eligible time bounds: the existence conditions
- Nonblocking supervisory control of timed discrete event systems under communication delays: the existence conditions
- Verifying untimed and timed aspects of the experimental batch plant
- Non-interference control synthesis for security timed automata
- Model-based verification, optimization, synthesis and performance evaluation of real-time systems
- Model Checking Real-Time Systems
- Timed Control with Observation Based and Stuttering Invariant Strategies
- A survey of timed automata for the development of real-time systems
- CGMurphi: automatic synthesis of numerical controllers for nonlinear hybrid systems
- Diagnostic Information for Realizability
- Synthesizing bounded-time 2-phase fault recovery
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4493880)
