Hybridization methods for the analysis of nonlinear systems

Abstract : In this article, we describe some recent results on the hybridization methods for the analysis of nonlinear systems. The main idea of our hybridization approach is to apply the hybrid systems methodology as a systematic approximation method. More concretely, we partition the state space of a complex system into regions that only intersect on their boundaries, and then approximate its dynamics in each region by a simpler one. Then, the resulting hybrid system, which we call a hybridization, is used to yield approximate analysis results for the original system. We also prove important properties of the hybridization, and propose two effective hybridization construction methods, which allow approximating the original nonlinear system with a good convergence rate.
Complete list of metadatas

Contributor : Eugene Asarin <>
Submitted on : Tuesday, June 26, 2007 - 11:58:35 AM
Last modification on : Thursday, July 4, 2019 - 9:54:02 AM

Links full text




Eugene Asarin, Thao Dang, Antoine Girard. Hybridization methods for the analysis of nonlinear systems. Acta Informatica, Springer Verlag, 2007, 43 (7), pp.451-476. ⟨10.1007/s00236-006-0035-7⟩. ⟨hal-00157475⟩



Record views