Abstract—Hybrid systems are digital real-time systems that are embedded in analog environments. Model-checking tools are available for the automatic analysis of linear hybrid automata, whose environment variables are subject to piecewise-constant polyhedral differential inclusions. In most embedded systems, however, the environment variables have differential inclusions that vary with the values of the variables, e.g., _x = x. Such inclusions are prohibited in the linear hybrid automaton model. We present two methods for translating nonlinear hybrid systems into linear hybrid automata. Properties of the nonlinear systems can then be inferred from the automatic analysis of the translated linear hybrid automata. The first method, called clock...
Many systems, both natural and artificial, exhibit a mixed discrete-continuous behavior that cannot ...
Cyber-physical systems (CPS) are hybrid systems that com- monly consist of a discrete control part t...
Abstract—This paper concerns computational methods for ver-ifying properties of polyhedral invariant...
Abstract. Hybrid systems are digital real-time systems that are embedded in analog environments. Mod...
Linear hybrid systems are dynamical systems whose variables change both discretely and continuously ...
We present a general framework for the formal specification and algorithmic analysis of hybrid syste...
AbstractWe present a general framework for the formal specification and algorithmic analysis of hybr...
A hybrid system is a dynamical system whose behavior exhibits both discrete and continuous change. A...
We present a general framework for the formal specification and algorithmic analysis of hybrid syste...
Hybrid systems are real-time systems that react to both discrete and continuous activities (such as ...
The use of formal methods, techniques and tools may generally guarantee a systems ’ safe operation. ...
We introduce the framework of hybrid automata as a model and speci cation language for hybrid system...
Many systems, both natural and artificial, exhibit a mixed discrete-continuous behavior that cannot ...
Approximating automata are finite-state representations of the sequential inputoutput behaviors of h...
Part 6: Short ContributionsInternational audienceCyber-physical systems (CPS) are hybrid systems tha...
Many systems, both natural and artificial, exhibit a mixed discrete-continuous behavior that cannot ...
Cyber-physical systems (CPS) are hybrid systems that com- monly consist of a discrete control part t...
Abstract—This paper concerns computational methods for ver-ifying properties of polyhedral invariant...
Abstract. Hybrid systems are digital real-time systems that are embedded in analog environments. Mod...
Linear hybrid systems are dynamical systems whose variables change both discretely and continuously ...
We present a general framework for the formal specification and algorithmic analysis of hybrid syste...
AbstractWe present a general framework for the formal specification and algorithmic analysis of hybr...
A hybrid system is a dynamical system whose behavior exhibits both discrete and continuous change. A...
We present a general framework for the formal specification and algorithmic analysis of hybrid syste...
Hybrid systems are real-time systems that react to both discrete and continuous activities (such as ...
The use of formal methods, techniques and tools may generally guarantee a systems ’ safe operation. ...
We introduce the framework of hybrid automata as a model and speci cation language for hybrid system...
Many systems, both natural and artificial, exhibit a mixed discrete-continuous behavior that cannot ...
Approximating automata are finite-state representations of the sequential inputoutput behaviors of h...
Part 6: Short ContributionsInternational audienceCyber-physical systems (CPS) are hybrid systems tha...
Many systems, both natural and artificial, exhibit a mixed discrete-continuous behavior that cannot ...
Cyber-physical systems (CPS) are hybrid systems that com- monly consist of a discrete control part t...
Abstract—This paper concerns computational methods for ver-ifying properties of polyhedral invariant...