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
This paper is concerned with the problem of stability regions determination for linear systems with ...
Abstract—The paper presents a counterexample-guided abstraction refinement procedure for verifying s...
Abstract Robust stability results for nominally linear hybrid systems are obtained from total stabil...
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...
Many problems that arise in machine learning and data mining domains deal with nonlinearity and qui...
A specialized method for constructing a hyper-ellipse that resides inside the stability regions of a...
International audienceIn this chapter, the problems of characterizing exponential stability and comp...
Diamond and simplex models are useful in dealing with systems under parameter perturbations. A diamo...
This paper is concerned with the problem of stability regions determination for linear systems with ...
Abstract—The paper presents a counterexample-guided abstraction refinement procedure for verifying s...
Abstract Robust stability results for nominally linear hybrid systems are obtained from total stabil...
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...
Many problems that arise in machine learning and data mining domains deal with nonlinearity and qui...
A specialized method for constructing a hyper-ellipse that resides inside the stability regions of a...
International audienceIn this chapter, the problems of characterizing exponential stability and comp...
Diamond and simplex models are useful in dealing with systems under parameter perturbations. A diamo...
This paper is concerned with the problem of stability regions determination for linear systems with ...
Abstract—The paper presents a counterexample-guided abstraction refinement procedure for verifying s...
Abstract Robust stability results for nominally linear hybrid systems are obtained from total stabil...
DOI
Add to ORKG