International audienceIn 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 nonl...
Abstract. Hybrid systems are digital real-time systems that are embedded in analog environments. Mod...
We consider a nonlinear ordinary differential equation and want to control its behavior so that it r...
AbstractWe propose an algebraic model for hybrid systems and illustrate its usefulness by proving th...
International audienceIn this article, we describe some recent results on the hybridization methods ...
Cette thèse porte sur les techniques d'analyse formelle de systèmes hybrides à dynamiques continues ...
In this thesis, we presented our contributions to the formal analysis of dynamical systems. We focus...
In this paper, we introduce the notion of hybrid procedures for solving a system of linear equations...
The original publication is available at www.springerlink.comIn this paper we propose a new approach...
Hybridization methods enable the analysis of hybrid automata with complex, nonlinear dynamics throug...
Optimization problems for hybrid systems have attracted a lot of attention in recent years. This int...
Hybrid systems combining discrete and continuous dynamics arise as mathematical models of various ar...
Optimization problems for hybrid systems have attracted a lot of attention in recent years. This in...
Abstract—As most analysis tools for nonlinear dynam-ical systems are dedicated to either continuous ...
We propose an algebraic model for hybrid systems and illustrate its usefulness by proving theorems ...
Hybrid systems exhibit all the complexities of finite automata, nonlinear dynamic systems and differ...
Abstract. Hybrid systems are digital real-time systems that are embedded in analog environments. Mod...
We consider a nonlinear ordinary differential equation and want to control its behavior so that it r...
AbstractWe propose an algebraic model for hybrid systems and illustrate its usefulness by proving th...
International audienceIn this article, we describe some recent results on the hybridization methods ...
Cette thèse porte sur les techniques d'analyse formelle de systèmes hybrides à dynamiques continues ...
In this thesis, we presented our contributions to the formal analysis of dynamical systems. We focus...
In this paper, we introduce the notion of hybrid procedures for solving a system of linear equations...
The original publication is available at www.springerlink.comIn this paper we propose a new approach...
Hybridization methods enable the analysis of hybrid automata with complex, nonlinear dynamics throug...
Optimization problems for hybrid systems have attracted a lot of attention in recent years. This int...
Hybrid systems combining discrete and continuous dynamics arise as mathematical models of various ar...
Optimization problems for hybrid systems have attracted a lot of attention in recent years. This in...
Abstract—As most analysis tools for nonlinear dynam-ical systems are dedicated to either continuous ...
We propose an algebraic model for hybrid systems and illustrate its usefulness by proving theorems ...
Hybrid systems exhibit all the complexities of finite automata, nonlinear dynamic systems and differ...
Abstract. Hybrid systems are digital real-time systems that are embedded in analog environments. Mod...
We consider a nonlinear ordinary differential equation and want to control its behavior so that it r...
AbstractWe propose an algebraic model for hybrid systems and illustrate its usefulness by proving th...