Specification-guided controller synthesis for linear systems and safe linear-time temporal logic
From MaRDI portal
Recommendations
- A Specification-Guided Framework for Temporal Logic Control of Nonlinear Systems
- A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
- A method for the synthesis of controllers to handle safety, liveness, and real-time constraints
- Finite abstractions with robustness margins for temporal logic-based control synthesis
- Stable controller synthesis for linear time-invariant systems
- Controller Synthesis for Linear System With Reach-Avoid Specifications
- Hybrid Systems: Computation and Control
- Template-based controller synthesis for timed systems
- LTLC: Linear Temporal Logic for Control
- Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications
Cites work
- A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
- A note on two problems in connexion with graphs
- Controlling a Class of Nonlinear Systems on Rectangles
- Diagnostic Information for Realizability
- Enhancing model checking in verification by AI techniques
- scientific article; zbMATH DE number 5595151 (Why is no real title available?)
- scientific article; zbMATH DE number 2080065 (Why is no real title available?)
- scientific article; zbMATH DE number 5585443 (Why is no real title available?)
- Markov decision processes and regular events
- Model repair for probabilistic systems
- Receding horizon control for temporal logic specifications
Cited in
(18)- Lazy controller synthesis for monotone transition systems and directed safety specifications
- Abstraction-based synthesis for stochastic systems with omega-regular objectives
- Sum-of-squares methods for controlled invariant sets with applications to model-predictive control
- Efficient controller synthesis for a fragment of \(\mathrm{MTL}_{0,\infty}\)
- Safety preserving control synthesis for sampled data systems
- Least-violating symbolic controller synthesis for safety, reachability and attractivity specifications
- Formal controller synthesis from specifications given by discrete-time hybrid automata
- Geometric control of hybrid systems
- Language-guided controller synthesis for discrete-time linear systems
- Reactive synthesis from signal temporal logic specifications
- SCOTS: a tool for the synthesis of symbolic controllers
- Parameter Synthesis for Piecewise Affine Systems from Temporal Logic Specifications
- Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications
- Quantitative model-checking of controlled discrete-time Markov processes
- Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
- Hybrid Systems: Computation and Control
- Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
- Maximum realizability for linear temporal logic specifications
This page was built for publication: Specification-guided controller synthesis for linear systems and safe linear-time temporal logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2986938)
