Language-guided controller synthesis for discrete-time linear systems
DOI10.1145/2185632.2185649zbMATH Open1361.68114DBLPconf/hybrid/GolLB12OpenAlexW2110915954WikidataQ58233208 ScholiaQ58233208MaRDI QIDQ2986756FDOQ2986756
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
Recommendations
automata theoryconstrained controllinear temporal logicpolyhedral Lyapunov functionspolytope-to-polytope control
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)
Cited In (10)
- Hybrid Systems: Computation and Control
- Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
- Quantitative Model Checking for a Controller Design
- Title not available (Why is that?)
- Integrating discrete controller synthesis into a reactive programming language compiler
- Lazy Abstraction-Based Controller Synthesis
- Time-constrained temporal logic control of multi-affine systems
- Language convergence in controlled discrete-event systems
- Quantitative model-checking of controlled discrete-time Markov processes
- LTLC: Linear Temporal Logic for Control
Uses Software
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)
