@inproceedings{5ebaceebe88f43bea8cacba2d1bc3211,
title = "Safety verification of nonlinear switched systems via barrier functions and barrier densities",
abstract = "This paper extends some existing methods of safety verification of nonlinear systems to the case of nonlinear switched systems with time-dependent switching. Barrier functions and barrier densities are applied to safety verification of nonlinear switched systems. In particular, sufficient conditions for safety of switched systems are given based on the existence of a common Barrier function or a common Barrier density. Theoretical results are exemplified applying a sum of squares method with the Putinar positivstellensatz to find barrier functions and barrier densities certifying safety.",
author = "Aysegul Kivilcim and Ozkan Karabacak and Rafael Wisniewski",
year = "2019",
month = jun,
doi = "10.23919/ECC.2019.8796081",
language = "English",
isbn = "978-1-7281-1314-2",
series = "2019 18th European Control Conference, ECC 2019",
pages = "776--780",
booktitle = "2019 18th European Control Conference (ECC)",
publisher = "IEEE",
address = "United States",
note = "18th European Control Conference, ECC 2019 ; Conference date: 25-06-2019 Through 28-06-2019",
}