Preprint Article Version 1 Preserved in Portico This version is not peer-reviewed

Safe Reachability Verification of Nonlinear Switched Systems via a Barrier Density

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. 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. Preprints 2019, 2019040302. 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

Comments (0)

We encourage comments and feedback from a broad range of readers. See criteria for comments and our Diversity statement.

Leave a public comment
Send a private comment to the author(s)
* All users must log in before leaving a comment
Views 0
Downloads 0
Comments 0
Metrics 0


×
Alerts
Notify me about updates to this article or when a peer-reviewed version is published.
We use cookies on our website to ensure you get the best experience.
Read more about our cookies here.