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 |
