Sciweavers

HYBRID
2009
Springer

Trajectory Based Verification Using Local Finite-Time Invariance

13 years 7 months ago
Trajectory Based Verification Using Local Finite-Time Invariance
Abstract. In this paper we propose a trajectory based reachability analysis by using local finite-time invariance property. Trajectory based analysis are based on the execution traces of the system or the simulation thereof. This family of methods is very appealing because of the simplicity of its execution, the possibility of having a partial verification, and its highly parallel structure. The key idea in this paper is the construction of local barrier functions with growth bound in local domains of validity. By using this idea, we can generalize our previous method that is based on the availability of global bisimulation functions. We also propose a computational scheme for constructing the local barrier functions and their domains of validity, which is based on the S-procedure. We demonstrate that our method subsumes some other existing methods as special cases, and that for polynomial systems the computation can be implemented using sum-ofsquares programming.
A. Agung Julius, George J. Pappas
Added 16 Aug 2010
Updated 16 Aug 2010
Type Conference
Year 2009
Where HYBRID
Authors A. Agung Julius, George J. Pappas
Comments (0)