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
automata theorylinear temporal logicconstrained controlpolyhedral Lyapunov functionspolytope-to-polytope control
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)
Uses Software
This page was built for publication: Language-guided controller synthesis for discrete-time linear systems