Language-guided controller synthesis for discrete-time linear systems

DOI10.1145/2185632.2185649zbMath1361.68114OpenAlexW2110915954WikidataQ58233208 ScholiaQ58233208MaRDI QIDQ2986756

Ebru Aydin Gol, Calin Belta, Mircea Lazar

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 theorylinear temporal logicconstrained controlpolyhedral Lyapunov functionspolytope-to-polytope control

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Lyapunov and storage functions (93D30) 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)

Lazy Abstraction-Based Controller Synthesis ⋮ Quantitative model-checking of controlled discrete-time Markov processes ⋮ Time-constrained temporal logic control of multi-affine systems ⋮ Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games

Uses Software

• Matlab
• LTLCon

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