Preprint
Article

Safe Reachability Verification of Nonlinear Switched Systems via a Barrier Density

Altmetrics

Downloads

343

Views

365

Comments

0

Submitted:

25 April 2019

Posted:

28 April 2019

You are already at the latest version

Alerts
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: 
Subject: Computer Science and Mathematics  -   Computer Science
Copyright: This open access article is published under a Creative Commons CC BY 4.0 license, which permit the free download, distribution, and reuse, provided that the author and preprint are cited in any reuse.
Prerpints.org logo

Preprints.org is a free preprint server supported by MDPI in Basel, Switzerland.

Subscribe

© 2024 MDPI (Basel, Switzerland) unless otherwise stated