Trajectory Based Verification Using Local Finite-Time Invariance

Download PDF
Open Webpage

A. Agung Julius, George J. Pappas

Published: 2009, Last Modified: 31 Jul 2025HSCC 2009EveryoneRevisionsBibTeXCC BY-SA 4.0
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.