Specification-guided controller synthesis for linear systems and safe linear-time temporal logic

DOI10.1145/2461328.2461378zbMath1362.93059OpenAlexW2026290247MaRDI QIDQ2986938

Matthias Rungger, Manuel jun. Mazo, Paulo Tabuada

Publication date: 16 May 2017

Published in: Proceedings of the 16th international conference on Hybrid systems: computation and control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2461328.2461378

zbMATH Keywords

robustnesscontroller synthesis

Mathematics Subject Classification ID

Discrete-time control/observation systems (93C55) Linear systems in control theory (93C05) Synthesis problems (93B50) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (4)

Abstraction-based synthesis for stochastic systems with omega-regular objectives ⋮ Sum-of-squares methods for controlled invariant sets with applications to model-predictive control ⋮ Geometric control of hybrid systems ⋮ Quantitative model-checking of controlled discrete-time Markov processes

Cites Work

• A note on two problems in connexion with graphs
• Enhancing model checking in verification by AI techniques
• Receding horizon control for temporal logic specifications
• Model Repair for Probabilistic Systems
• Markov decision processes and regular events
• A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
• Controlling a Class of Nonlinear Systems on Rectangles
• Diagnostic Information for Realizability
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Specification-guided controller synthesis for linear systems and safe linear-time temporal logic