Verifying Safety and Persistence in Hybrid Systems Using Flowpipes and Continuous Invariants

We describe a method for verifying the temporal property of persistence in non-linear hybrid systems. Given some system and an initial set of states, the method establishes that system trajectories always eventually evolve into some specified target subset of the states of one of the discrete modes...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Journal of automated reasoning 2019-12, Vol.63 (4), p.1005-1029
Hauptverfasser:	Sogokon, Andrew, Jackson, Paul B., Johnson, Taylor T.
Format:	Artikel
Sprache:	eng
Schlagworte:	Artificial Intelligence Case studies Computation Computer Science Hybrid systems Invariants Mathematical Logic and Formal Languages Mathematical Logic and Foundations Nonlinear systems Polynomials Reasoning Symbolic and Algebraic Manipulation
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!