Template-based controller synthesis for timed systems
From MaRDI portal
Recommendations
- Timed control with partial observability.
- The Complexity of Bounded Synthesis for Timed Control with Partial Observability
- On the synthesis of discrete controllers for timed systems
- A method for the synthesis of controllers to handle safety, liveness, and real-time constraints
- On Synthesizing Controllers from Bounded-Response Properties
Cited in
(33)- Controller Synthesis for MTL Specifications
- Constraint-based controller synthesis in non-deterministic and partially observable domains
- Maximally permissive controller synthesis for time Petri nets
- Robust Controller Synthesis in Timed Automata
- 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
- Counterexample-guided synthesis of observation predicates
- Timed control with partial observability.
- Verification and synthesis of timing contracts for embedded controllers
- Synthesis of memory-efficient ``real-time controllers for safety objectives
- Controllers with minimal observation power (application to timed systems)
- Efficient controller synthesis for a fragment of \(\mathrm{MTL}_{0,\infty}\)
- State feedback control of real-time discrete event systems with infinite states
- Synthesizing Clock-Efficient Timed Automata
- On the synthesis of discrete controllers for timed systems
- Estimator-based reactive synthesis under incomplete information
- Non-interference control synthesis for security timed automata
- Specification-guided controller synthesis for linear systems and safe linear-time temporal logic
- Control Strategies for Off-Line Testing of Timed Systems
- Logical time control of concurrent DES
- Guided synthesis of control programs using UPPAAL
- A method for the synthesis of controllers to handle safety, liveness, and real-time constraints
- The modal transition system control problem
- Controller synthesis for dynamic hierarchical real-time plants using timed automata
- Control strategies for off-line testing of timed systems
- scientific article; zbMATH DE number 1956553 (Why is no real title available?)
- Optimal and robust controller synthesis using energy timed automata with uncertainty
- Optimal and robust controller synthesis. Using energy timed automata with uncertainty
- Timed automata verification and synthesis via finite automata learning
- scientific article; zbMATH DE number 2085327 (Why is no real title available?)
- scientific article; zbMATH DE number 2086417 (Why is no real title available?)
- Robust controller synthesis in timed Büchi automata: a symbolic approach
This page was built for publication: Template-based controller synthesis for timed systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2894283)