Preprint Article Version 1 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 (doi: 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 (doi: 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.

Subject Areas

safety verification, barrier density, switched systems

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)
Views 0
Downloads 0
Comments 0
Metrics 0


×
Alerts
Notify me about updates to this article or when a peer-reviewed version is published.