HYBRID
2007
Springer
14 years 6 months ago
2007
Springer
HYBRID
2007
Springer
14 years 6 months ago
2007
Springer
In this paper we propose a new technique for verification by simulation of continuous and hybrid dynamical systems with uncertain initial conditions. We provide an algorithmic met...
HYBRID
2007
Springer
14 years 6 months ago
2007
Springer
HYBRID
2007
Springer
14 years 6 months ago
2007
Springer
Hybrid discrete-continuous models, such as Jump Markov Linear Systems, are convenient tools for representing many real-world systems; in the case of fault detection, discrete jumps...
HYBRID
2007
Springer
14 years 6 months ago
2007
Springer
We consider the problem of verifying reachability properties of stochastic real-time systems modeled as generalized semi-Markov processes (GSMPs). The standard simulation-based tec...
HYBRID
2007
Springer
14 years 6 months ago
2007
Springer
HYBRID
2007
Springer
14 years 6 months ago
2007
Springer
HYBRID
2007
Springer
14 years 6 months ago
2007
Springer
The aim of this paper is twofold. On one hand we present an approach to the general problem of nonlinear control in the framework of (differentiable) groupoids, which, in our opin...
HYBRID
2007
Springer
14 years 6 months ago
2007
Springer
This paper addresses questions regarding the decidability of hybrid automata that may be constructed hierarchically and in a modular way, as is the case in many exemplar systems, b...
HYBRID
2007
Springer
14 years 6 months ago
2007
Springer
We provide an asymptotically tight, computationally efficient approximation of the joint spectral radius of a set of matrices using sum of squares (SOS) programming. The approach i...