
Abstract
This paper is concerned with the formal synthesis of safety controllers for partially-observable continuous-time polynomial-type systems with unknown dynamics. Given a continuous-time polynomial-type estimator with a partially-unknown dynamic and a known upper bound on the estimation accuracy, we propose a data-driven approach to compute a polynomial-type controller ensuring safety of the system. The proposed framework is based on a notion of so-called control barrier functions and only requires a single output trajectory collected from the system and a single state trajectory collected from its estimator. We show the application of our technique by synthesizing a safety controller for a partially-observable jet engine with unknown dynamics.
Dokumententyp: | Konferenzbeitrag (Paper) |
---|---|
Fakultät: | Mathematik, Informatik und Statistik > Informatik |
Themengebiete: | 000 Informatik, Informationswissenschaft, allgemeine Werke > 004 Informatik |
URN: | urn:nbn:de:bvb:19-epub-123688-0 |
ISSN: | 2405-8963 |
Sprache: | Englisch |
Dokumenten ID: | 123688 |
Datum der Veröffentlichung auf Open Access LMU: | 05. Feb. 2025 07:44 |
Letzte Änderungen: | 05. Feb. 2025 07:44 |