A delta–sampling verification theorem for discrete–time, possibly discontinuous systems

R.V. Bobiti, M. Lazar

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

9 Citations (Scopus)
6 Downloads (Pure)

Abstract

This paper considers the problem of safety verification for discrete-time, possibly discontinuous dynamical systems. Typical solutions rely on finding invariant sets or Lyapunov functions and require solving optimization problems, which suffer from scalability and numerical solvers issues. Recently, a d-sampling method for verifying invariance for Lipschitz continuous dynamics was proposed, which does not make use of optimization. In this work we present a d-sampling verification theorem that extends the previous result to general discrete-time, possibly discontinuous dynamics. This opens up the application of d-sampling verification to hybrid systems. Moreover, this paper proposes verification of stability on a set by jointly verifying (finite-step) Lyapunov type functions on an annulus with a (finite-step) Lyapunov function on the inner hole. We further indicate that d-sampling can also be used to verify Lyapunov conditions on the annulus. Lastly, we employ finite-step invariant sets and finite-step Lyapunov functions, respectively, together with d-sampling to achieve more practical safety verification methods.
Original languageEnglish
Title of host publicationProceedings of the 18th International Conference on Hybrid Systems: Computation and Control (HSCC '15), 14-16 April 2015, Seattle, Washington
Place of PublicationNew York
PublisherAssociation for Computing Machinery, Inc
DOIs
Publication statusPublished - 2015
Event18th International Conference on Hybrid Systems: Computation and Control (HSCC 2015) - Seattle, United States
Duration: 14 Apr 201516 Apr 2015
Conference number: 18
http://ljk.imag.fr/hscc2015/

Conference

Conference18th International Conference on Hybrid Systems: Computation and Control (HSCC 2015)
Abbreviated titleHSCC 2015
CountryUnited States
CitySeattle
Period14/04/1516/04/15
Internet address

    Fingerprint

Cite this

Bobiti, R. V., & Lazar, M. (2015). A delta–sampling verification theorem for discrete–time, possibly discontinuous systems. In Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control (HSCC '15), 14-16 April 2015, Seattle, Washington New York: Association for Computing Machinery, Inc. https://doi.org/10.1145/2728606.2728631