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.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
