We present a method and tool (and implementation) for automatic proofs of region stability for hybrid systems. The formal basis of our approach is the new notion of \emph{snapshot sequences}. We use snapshot sequences for a characterization of region stability. Our abstraction-based algorithm checks the conditions in this characterization. A number of experiments demonstrate the practical potential of our approach
The main contribution of this paper is a number of structure dependent stability results applicable ...
International audienceThis paper presents reduction theorems for stability, attractivity, and asympt...
In this paper, we formulate the problem of characterizing the stability of a piecewise affine (PWA) ...
We present a method and tool (and implementation) for automatic proofs of region stability for hybri...
We propose a model checking method and tool that integrates state abstraction techniques for the au...
Region stability allows one to formalize hybrid systems whose trajectories may oscillate (within a g...
We propose a model checking method and tool that integrates state abstraction techniques for the aut...
We propose a model checking method and tool that integrates state abstraction techniques for the aut...
We call a hybrid system {\em stable} if every trajectory inevitably ends up in a given region. Our n...
This paper deals with stability analysis of hybrid systems. Various stability concepts related to hy...
Pre-orders on systems are the basis for abstraction based verification of systems. In this paper, we...
International audienceIn this chapter, the problems of characterizing exponential stability and comp...
Abstract Robust stability results for nominally linear hybrid systems are obtained from total stabil...
Abstract—The paper presents a counterexample-guided abstraction refinement procedure for verifying s...
This paper is concerned with the problem of stability regions determination for linear systems with ...
The main contribution of this paper is a number of structure dependent stability results applicable ...
International audienceThis paper presents reduction theorems for stability, attractivity, and asympt...
In this paper, we formulate the problem of characterizing the stability of a piecewise affine (PWA) ...
We present a method and tool (and implementation) for automatic proofs of region stability for hybri...
We propose a model checking method and tool that integrates state abstraction techniques for the au...
Region stability allows one to formalize hybrid systems whose trajectories may oscillate (within a g...
We propose a model checking method and tool that integrates state abstraction techniques for the aut...
We propose a model checking method and tool that integrates state abstraction techniques for the aut...
We call a hybrid system {\em stable} if every trajectory inevitably ends up in a given region. Our n...
This paper deals with stability analysis of hybrid systems. Various stability concepts related to hy...
Pre-orders on systems are the basis for abstraction based verification of systems. In this paper, we...
International audienceIn this chapter, the problems of characterizing exponential stability and comp...
Abstract Robust stability results for nominally linear hybrid systems are obtained from total stabil...
Abstract—The paper presents a counterexample-guided abstraction refinement procedure for verifying s...
This paper is concerned with the problem of stability regions determination for linear systems with ...
The main contribution of this paper is a number of structure dependent stability results applicable ...
International audienceThis paper presents reduction theorems for stability, attractivity, and asympt...
In this paper, we formulate the problem of characterizing the stability of a piecewise affine (PWA) ...
DOI
Add to ORKG