BOCoSy: Small but Powerful Symbolic Output-Feedback Control
From MaRDI portal
Publication:6120724
DOI10.1145/3501710.3519535OpenAlexW4225384982MaRDI QIDQ6120724
Kaushik Mallik, Anne-Kathrin Schmuck, Unnamed Author, Noemi Passing, Bernd Finkbeiner
Publication date: 21 February 2024
Published in: 25th ACM International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/3501710.3519535
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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Solving QBF with counterexample guided refinement
- Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation
- The complexity of two-player games of incomplete information
- Deadlock-free output feedback controller design based on approximately abstracted observers
- Symbolic control design of nonlinear systems with outputs
- Estimator-based reactive synthesis under incomplete information
- SCOTS
- Abstraction Refinement for Games with Incomplete Information.
- Encodings of Bounded Synthesis
- Bounded Synthesis
- Output Observability of Systems Over Finite Alphabets With Linear Internal Dynamics
- Multi-Layered Abstraction-Based Controller Synthesis for Continuous-Time Systems
- On the synthesis of strategies in infinite games
- Counterexample-Guided Synthesis of Observation Predicates
- CAQE and QuAbS: Abstraction Based QBF Solvers
- On abstraction-based controller design with output feedback
- Blocked Clause Elimination for QBF
- Feedback Refinement Relations for the Synthesis of Symbolic Controllers
- Algorithms for Omega-Regular Games with Imperfect Information
- Discrete supervisory control of hybrid systems based on \(l\)-complete approximations
