Version 1
: Received: 25 April 2019 / Approved: 28 April 2019 / Online: 28 April 2019 (08:34:56 CEST)
How to cite:
Kıvılcım, A.; Karabacak, O.; Wisniewski, R. Safe Reachability Verification of Nonlinear Switched Systems via a Barrier Density. Preprints2019, 2019040302. https://doi.org/10.20944/preprints201904.0302.v1
Kıvılcım, A.; Karabacak, O.; Wisniewski, R. Safe Reachability Verification of Nonlinear Switched Systems via a Barrier Density. Preprints 2019, 2019040302. https://doi.org/10.20944/preprints201904.0302.v1
Kıvılcım, A.; Karabacak, O.; Wisniewski, R. Safe Reachability Verification of Nonlinear Switched Systems via a Barrier Density. Preprints2019, 2019040302. https://doi.org/10.20944/preprints201904.0302.v1
APA Style
Kıvılcım, A., Karabacak, O., & Wisniewski, R. (2019). Safe Reachability Verification of Nonlinear Switched Systems via a Barrier Density. Preprints. https://doi.org/10.20944/preprints201904.0302.v1
Chicago/Turabian Style
Kıvılcım, A., Ozkan Karabacak and Rafael Wisniewski. 2019 "Safe Reachability Verification of Nonlinear Switched Systems via a Barrier Density" Preprints. https://doi.org/10.20944/preprints201904.0302.v1
Abstract
One of the notable temporal properties of dynamical systems is that a set of initial states leads the solutions to reach desired states avoiding a predetermined unsafe set.This property, that we call safe reachability has been studied in literature for autonomous systems using Barrier functionand Barrier densities [1]. In this paper, we generalize a sufficient condition for safe reachability of autonomous systemto 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.
Keywords
safety verification, barrier density, switched systems
Subject
Computer Science and Mathematics, Computer Science
Copyright:
This is an open access article distributed under the Creative Commons Attribution License which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.