This paper deals with stability analysis of hybrid systems. Various stability concepts related to hybrid systems are introduced. The paper advocates a local analysis. It involves the equivalence relation generated by reset maps of a hybrid system. To establish a tangible method for stability analysis, we introduce the notion of a chart, which locally reduces the complexity of the hybrid system. In a chart, a hybrid system is particularly simple and can be analyzed with the use of methods borrowed from the theory of differential inclusions. Thus, the main contribution of this paper is to show how stability of a hybrid system can be reduced to a specialization of the well established stability theory of differential inclusions. A number of ex...
The study of the stability properties of switched and hybrid systems gives rise to a number of inter...
We call a hybrid system {\em stable} if every trajectory inevitably ends up in a given region. Our n...
International audienceIn this chapter, the problems of characterizing exponential stability and comp...
In this paper we develop general techniques to study stability of hybrid systems with linear continu...
The main contribution of this paper is a number of structure dependent stability results applicable ...
This paper presents a novel abstraction technique for analyzing Lyapunov and asymptotic stability of...
International audienceThis paper presents reduction theorems for stability, attractivity, and asympt...
The study of the stability properties of switched and hybrid systems gives rise to a number of inter...
This paper presents reduction theorems for stability, attractivity, and asymptotic stability of comp...
This paper presents results for stability and robustness of hybrid systems consisting of nonlinear s...
Hybrid systems are dynamic systems that arise out of the interaction of continuous state dynamics an...
We present a method and tool (and implementation) for automatic proofs of region stability for hybr...
In this work we perform a stability analysis for a class of switched linear systems, modeled as hybr...
Abstract—This paper concerns computational methods for ver-ifying properties of polyhedral invariant...
Hybrid systems are dynamic systems that arise out of the interaction of continuous state dynamics an...
The study of the stability properties of switched and hybrid systems gives rise to a number of inter...
We call a hybrid system {\em stable} if every trajectory inevitably ends up in a given region. Our n...
International audienceIn this chapter, the problems of characterizing exponential stability and comp...
In this paper we develop general techniques to study stability of hybrid systems with linear continu...
The main contribution of this paper is a number of structure dependent stability results applicable ...
This paper presents a novel abstraction technique for analyzing Lyapunov and asymptotic stability of...
International audienceThis paper presents reduction theorems for stability, attractivity, and asympt...
The study of the stability properties of switched and hybrid systems gives rise to a number of inter...
This paper presents reduction theorems for stability, attractivity, and asymptotic stability of comp...
This paper presents results for stability and robustness of hybrid systems consisting of nonlinear s...
Hybrid systems are dynamic systems that arise out of the interaction of continuous state dynamics an...
We present a method and tool (and implementation) for automatic proofs of region stability for hybr...
In this work we perform a stability analysis for a class of switched linear systems, modeled as hybr...
Abstract—This paper concerns computational methods for ver-ifying properties of polyhedral invariant...
Hybrid systems are dynamic systems that arise out of the interaction of continuous state dynamics an...
The study of the stability properties of switched and hybrid systems gives rise to a number of inter...
We call a hybrid system {\em stable} if every trajectory inevitably ends up in a given region. Our n...
International audienceIn this chapter, the problems of characterizing exponential stability and comp...