Results 1 - 10 of 105,009

Observability of linear hybrid systems, in:

by René Vidal , Alessandro Chiuso , Stefano Soatto , Shankar Sastry - Lecture Notes in Computer Science, , 2003
"... Abstract. We analyze the observability of the continuous and discrete states of continuous-time linear hybrid systems. For the class of jumplinear systems, we derive necessary and sufficient conditions that the structural parameters of the model must satisfy in order for filtering and smoothing alg ..."
Abstract - Cited by 44 (5 self) - Add to MetaCart
Abstract. We analyze the observability of the continuous and discrete states of continuous-time linear hybrid systems. For the class of jumplinear systems, we derive necessary and sufficient conditions that the structural parameters of the model must satisfy in order for filtering and smoothing

Reachability Computation For Linear Hybrid Systems

by Gerardo Lafferriere, George J. Pappas, Sergio Yovine - In Proceedings of the 14th IFAC World Congress, volume E , 1998
"... : Linear hybrid systems are finite state machines with linear vector fields of the form x = Ax in each discrete location. Very recently, the reachability problem for classes of linear hybrid systems was shown to be decidable. In this paper, the decidability result is extended to capture classes of ..."
Abstract - Cited by 12 (3 self) - Add to MetaCart
: Linear hybrid systems are finite state machines with linear vector fields of the form x = Ax in each discrete location. Very recently, the reachability problem for classes of linear hybrid systems was shown to be decidable. In this paper, the decidability result is extended to capture classes

Design of Controllers for Linear Hybrid Systems

by Rupak Majumdar, R. K. Shyamasundar , 1996
"... In this paper, we describe an approach for deriving control laws for linear hybrid systems given the phase transition system and the global invariance. After illustrating the method, we show that the approach can be applied for purposes of verification, viability and discuss extensions to nonlinear ..."
Abstract - Add to MetaCart
In this paper, we describe an approach for deriving control laws for linear hybrid systems given the phase transition system and the global invariance. After illustrating the method, we show that the approach can be applied for purposes of verification, viability and discuss extensions

Stability of a class of stochastic linear hybrid systems

by Ewelina Seroka , Lesław Socha
"... Abstract-The problem of the stability of a class of stochastic linear hybrid systems with a special structure of matrices and a multiplicative excitation is considered. Sufficient conditions of the exponential p-th mean stability and the almost sure stability for a class of stochastic linear hybrid ..."
Abstract - Add to MetaCart
Abstract-The problem of the stability of a class of stochastic linear hybrid systems with a special structure of matrices and a multiplicative excitation is considered. Sufficient conditions of the exponential p-th mean stability and the almost sure stability for a class of stochastic linear

The algorithmic analysis of hybrid systems

by R. Alur, C. Courcoubetis, N. Halbwachs , T. A. Henzinger, P.-H. Ho, X. Nicollin , A. Olivero , J. Sifakis , S. Yovine - THEORETICAL COMPUTER SCIENCE , 1995
"... We present a general framework for the formal specification and algorithmic analysis of hybrid systems. A hybrid system consists of a discrete program with an analog environment. We model hybrid systems as nite automata equipped with variables that evolve continuously with time according to dynamica ..."
Abstract - Cited by 778 (71 self) - Add to MetaCart
to dynamical laws. For verification purposes, we restrict ourselves to linear hybrid systems, where all variables follow piecewise-linear trajectories. We provide decidability and undecidability results for classes of linear hybrid systems, and we show that standard program-analysis techniques can be adapted

Control of Piecewise-Linear Hybrid Systems on Simplices and Rectangles

by Luc C.G.J.M. Habets, Jan H. van Schuppen , 2001
"... A necessary and sucient condition for the reachability of a piecewise-linear hybrid system is formulated in terms of reachability of a finite-state discrete-event system and of a finite family of affine systems on a polyhedral set. As a subproblem, the reachability of an affine system on a polyt ..."
Abstract - Cited by 30 (3 self) - Add to MetaCart
A necessary and sucient condition for the reachability of a piecewise-linear hybrid system is formulated in terms of reachability of a finite-state discrete-event system and of a finite family of affine systems on a polyhedral set. As a subproblem, the reachability of an affine system on a

Analysis of Linear Hybrid Systems in CLP?

by Gourinath B, John P. Gallagher
"... Abstract. In this paper we present a procedure for representing the se-mantics of linear hybrid automata (LHAs) as constraint logic programs (CLP); flexible and accurate analysis and verification of LHAs can then be performed using generic CLP analysis and transformation tools. LHAs provide an expre ..."
Abstract - Add to MetaCart
Abstract. In this paper we present a procedure for representing the se-mantics of linear hybrid automata (LHAs) as constraint logic programs (CLP); flexible and accurate analysis and verification of LHAs can then be performed using generic CLP analysis and transformation tools. LHAs provide

Optimizing bounded model checking for linear hybrid systems

by Erika Ábrahám, Bernd Becker, Felix Klaedtke, Martin Steffen - LNCS , 2005
"... In this document we describe our experimental results for the application of bounded model checking with optimization and explanation learning to linear hybrid systems. Furthermore, we describe termination conditions and their optimizations. Section 1 contains short descriptions of the examples in o ..."
Abstract - Cited by 8 (4 self) - Add to MetaCart
In this document we describe our experimental results for the application of bounded model checking with optimization and explanation learning to linear hybrid systems. Furthermore, we describe termination conditions and their optimizations. Section 1 contains short descriptions of the examples

Using Abstractions for the Verification of Linear Hybrid Systems

by Olivero Sifakis, A. Olivero, J. Sifakis, S. Yovine - Proceedings of the 6th Annual Conference on Computer-Aided Verification, Lecture Notes in Computer Science 818 , 1994
"... ions for the Verification of Linear Hybrid Systems ? A. Olivero, J. Sifakis and S. Yovine VERIMAG ?? Miniparc-Zirst rue Lavoisier 38330 Montbonnot St. Martin, France 1 Introduction Hybrid systems are dynamical systems consisting of interacting discrete and continuous components [NSY91, MMP91]. ..."
Abstract - Cited by 21 (5 self) - Add to MetaCart
ions for the Verification of Linear Hybrid Systems ? A. Olivero, J. Sifakis and S. Yovine VERIMAG ?? Miniparc-Zirst rue Lavoisier 38330 Montbonnot St. Martin, France 1 Introduction Hybrid systems are dynamical systems consisting of interacting discrete and continuous components [NSY91, MMP91

Verification of Linear Hybrid Systems By Means of Convex Approximations

by Nicolas Halbwachs, Pascal Raymond, Yann-eric Proy , 1994
"... We present a new application of the abstract interpretation by means of convex polyhedra, to a class of hybrid systems, i.e., systems involving both discrete and continuous variables. The result is an efficient automatic tool for approximate, but conservative, verification of reachability propert ..."
Abstract - Cited by 94 (2 self) - Add to MetaCart
We present a new application of the abstract interpretation by means of convex polyhedra, to a class of hybrid systems, i.e., systems involving both discrete and continuous variables. The result is an efficient automatic tool for approximate, but conservative, verification of reachability
Results 1 - 10 of 105,009