10 search results - page 1 / 2 » Trajectory Based Verification Using Local Finite-Time Invari... |
HYBRID
2009
Springer
13 years 8 months ago
2009
Springer
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 tra...
HYBRID
2000
Springer
13 years 8 months ago
2000
Springer
In this paper, we formulate the problem of characterizing the stability of a piecewise affine (PWA) system as a verification problem. The basic idea is to take the whole Rn as the ...
CVPR
2010
IEEE
14 years 27 days ago
2010
IEEE
A novel method for crowd flow modeling and anomaly detection is proposed for both coherent and incoherent scenes. The novelty is revealed in three aspects. First, it is a unique ut...
ICIAR
2009
Springer
13 years 2 months ago
2009
Springer
Abstract. Increasing risks of spoof attacks and other common problems of unimodal biometric systems such as intra-class variations, nonuniversality and noisy data necessitate the u...
KBSE
1999
IEEE
13 years 9 months ago
1999
IEEE
Modularization and abstraction are the keys to practical verification and analysis of large and complex systems. We present in an incremental methodology for the automatic analysi...