@inproceedings{3477b2376f894987bff3c24f25b369d6,
title = "Safe Reachability Verification of Nonlinear Switched Systems Via a Barrier Density",
abstract = "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.",
author = "Ayseg{\"u}l Kivilcim and {\"O}zkan Karabacak and Rafal Wisniewski",
year = "2020",
month = mar,
day = "12",
doi = "10.1109/CDC40024.2019.9029718",
language = "English",
isbn = "978-1-7281-1399-9",
series = "I E E E Conference on Decision and Control. Proceedings",
publisher = "IEEE",
pages = "2368--2372",
booktitle = "2019 IEEE 58th Conference on Decision and Control (CDC)",
address = "United States",
note = "2019 IEEE 58th Conference on Decision and Control (CDC), CDC ; Conference date: 11-12-2019 Through 13-12-2019",
}