Language-guided controller synthesis for discrete-time linear systems

DOI10.1145/2185632.2185649MaRDI QIDQ2986756zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Ebru Aydin Gol, Mircea Lazar, Calin Belta

Publication date 16 May 2017

Published in Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)

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

zbMATH Keywords

automata theoryconstrained controllinear temporal logicpolyhedral Lyapunov functionspolytope-to-polytope control

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Synthesis problems (93B50) Linear systems in control theory (93C05) Discrete-time control/observation systems (93C55) Lyapunov and storage functions (93D30)

Recommendations

• Specification-guided controller synthesis for linear systems and safe linear-time temporal logic
• Hybrid Systems: Computation and Control
• LTLC: Linear Temporal Logic for Control
• Temporal logic model predictive control for discrete-time systems
• Temporal logic model predictive control

Cited in

(17)

• Integrating discrete controller synthesis into a reactive programming language compiler
• Data-driven controller synthesis for abstract systems with regular language specifications
• Quantitative Model Checking for a Controller Design
• Lazy abstraction-based controller synthesis
• Temporal logic model predictive control
• Formal controller synthesis from specifications given by discrete-time hybrid automata
• An input-output simulation approach to controlling multi-affine systems for linear temporal logic specifications
• SCOTS: a tool for the synthesis of symbolic controllers
• Time-constrained temporal logic control of multi-affine systems
• Language convergence in controlled discrete-event systems
• Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
• Hybrid Systems: Computation and Control
• Quantitative model-checking of controlled discrete-time Markov processes
• scientific article; zbMATH DE number 1956650 (Why is no real title available?)
• LTLC: Linear Temporal Logic for Control
• Temporal logic model predictive control for discrete-time systems
• Control/physical systems co-design with spectral temporal logic specifications and its applications to MEMS

Describes a project that uses

Uses Software

• Matlab
• LTLCon

This page was built for publication: Language-guided controller synthesis for discrete-time linear systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2986756)