Hybridization methods for the analysis of nonlinear systems - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Acta Informatica Année : 2007

Hybridization methods for the analysis of nonlinear systems

Résumé

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.

Dates et versions

hal-00157475 , version 1 (26-06-2007)

Identifiants

Citer

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

Altmetric

Partager

Gmail Facebook X LinkedIn More