Lazy Synthesis of Symbolic Output-Feedback Controllers for State-Based Safety Specifications
DOI10.1145/3575870.3587111OpenAlexW4375852007WikidataQ131113393 ScholiaQ131113393MaRDI QIDQ6202085FDOQ6202085
Authors: Anne-Kathrin Schmuck 
Publication date: 21 February 2024
Published in: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/3575870.3587111
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Cites Work
- Efficient and dynamic algorithms for alternating Büchi games and maximal end-component decomposition
- Title not available (Why is that?)
- Algorithms for Omega-Regular Games with Imperfect Information
- Discrete supervisory control of hybrid systems based on \(l\)-complete approximations
- Symbolic control design of nonlinear systems with outputs
- SCOTS: a tool for the synthesis of symbolic controllers
- Deadlock-free output feedback controller design based on approximately abstracted observers
- Output Observability of Systems Over Finite Alphabets With Linear Internal Dynamics
- On abstraction-based controller design with output feedback
- Sensing and filtering. A fresh perspective based on preimages and information spaces. Print version of Foundations and Trends in Robotics Vol. 1, No. 4 (2010)
- Refinements of behavioural abstractions for the supervisory control of hybrid systems
This page was built for publication: Lazy Synthesis of Symbolic Output-Feedback Controllers for State-Based Safety Specifications
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6202085)
