Timed control with partial observability.
From MaRDI portal
Recommendations
- The Complexity of Bounded Synthesis for Timed Control with Partial Observability
- scientific article; zbMATH DE number 2086417
- Template-based controller synthesis for timed systems
- Supervisory control of timed discrete-event systems under partial observation
- Controllers with minimal observation power (application to timed systems)
Cited in
(20)- MR4UM: a framework for adding fault tolerance to UML state diagrams
- Controller Synthesis for MTL Specifications
- Symbolic synthesis of masking fault-tolerant distributed programs
- Folk theorems on the determinization and minimization of timed automata
- Supervisory Control with Partial Observations
- Verification and control of partially observable probabilistic real-time systems
- Control and synthesis of non-interferent timed systems
- Verification and control of partially observable probabilistic systems
- Timed Control with Observation Based and Stuttering Invariant Strategies
- Counterexample-guided synthesis of observation predicates
- Controllers with minimal observation power (application to timed systems)
- The complexity of automated addition of fault-tolerance without explicit legitimate states
- A supervisory control method for ensuring the conformance of real-time discrete event systems
- Synthesizing bounded-time 2-phase fault recovery
- Control Strategies for Off-Line Testing of Timed Systems
- Control strategies for off-line testing of timed systems
- Template-based controller synthesis for timed systems
- scientific article; zbMATH DE number 2086417 (Why is no real title available?)
- Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems
- scientific article; zbMATH DE number 2085321 (Why is no real title available?)
This page was built for publication: Timed control with partial observability.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5900678)
