Lazy Synthesis of Symbolic Output-Feedback Controllers for State-Based Safety Specifications

DOI10.1145/3575870.3587111MaRDI QIDQ6202085zbMATH OpenOpenAlexWikidataFDO

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

Mathematics Subject Classification ID

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

• scientific article; zbMATH DE number 1500523 (Why is no real title available?)
• Algorithms for Omega-Regular Games with Imperfect Information
• Deadlock-free output feedback controller design based on approximately abstracted observers
• Discrete supervisory control of hybrid systems based on \(l\)-complete approximations
• Efficient and dynamic algorithms for alternating Büchi games and maximal end-component decomposition
• On abstraction-based controller design with output feedback
• Output Observability of Systems Over Finite Alphabets With Linear Internal Dynamics
• Refinements of behavioural abstractions for the supervisory control of hybrid systems
• SCOTS: a tool for the synthesis of symbolic controllers
• 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)
• Symbolic control design of nonlinear systems with outputs

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)