Safe Reachability Verification of Nonlinear Switched Systems Via a Barrier Density

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Abstrakt

We study temporal properties of dynamical systems; specifically, we strive to determine a set of initial states that leads the solutions to reach desired states avoiding a predetermined unsafe set. This property, which we call safe reachability, has been studied in literature for autonomous systems using barrier function and Barrier densities [1]. In this paper, we generalize a sufficient condition for safe reachability of autonomous system to switched systems under arbitrary switching signals. The condition relies upon the existence of a common Barrier density function for each subsystem. We apply the condition using the sum of squares method together with Putinar Positivstellensatz.

OriginalsprogEngelsk
Titel2019 IEEE 58th Conference on Decision and Control (CDC)
Antal sider5
ForlagIEEE
Publikationsdato12 mar. 2020
Sider2368-2372
Artikelnummer9029718
ISBN (Trykt)978-1-7281-1399-9
ISBN (Elektronisk) 978-1-7281-1398-2
DOI
StatusUdgivet - 12 mar. 2020
Begivenhed2019 IEEE 58th Conference on Decision and Control (CDC) - Nice, Frankrig
Varighed: 11 dec. 201913 dec. 2019

Konference

Konference2019 IEEE 58th Conference on Decision and Control (CDC)
LandFrankrig
ByNice
Periode11/12/201913/12/2019
NavnI E E E Conference on Decision and Control. Proceedings
ISSN0743-1546

    Fingerprint

Citationsformater

Kivilcim, A., Karabacak, Ö., & Wisniewski, R. (2020). Safe Reachability Verification of Nonlinear Switched Systems Via a Barrier Density. I 2019 IEEE 58th Conference on Decision and Control (CDC) (s. 2368-2372). [9029718] IEEE. I E E E Conference on Decision and Control. Proceedings https://doi.org/10.1109/CDC40024.2019.9029718