Sciweavers

HYBRID
2003
Springer

Reachability Analysis of Nonlinear Systems Using Conservative Approximation

14 years 5 months ago
Reachability Analysis of Nonlinear Systems Using Conservative Approximation
Abstract. In this paper we present an approach to approximate reachability computation for nonlinear continuous systems. Rather than studying a complex nonlinear system ˙x = g(x), we study an approximating system ˙x = f(x) which is easier to handle. The class of approximating systems we consider in this paper is piecewise linear, obtained by interpolating g over a mesh. In order to be conservative, we add a bounded input in the approximating system to account for the interpolation error. We thus develop a reachability method for systems with input, based on the relation between such systems and the corresponding autonomous systems in terms of reachable sets. This method is then extended to the approximate piecewise linear systems arising in our construction. The final result is a reachability algorithm for nonlinear continuous systems which allows to compute conservative approximations with as great degree of accuracy as desired, and more importantly, it has good convergence rate. I...
Eugene Asarin, Thao Dang, Antoine Girard
Added 06 Jul 2010
Updated 06 Jul 2010
Type Conference
Year 2003
Where HYBRID
Authors Eugene Asarin, Thao Dang, Antoine Girard
Comments (0)