14190 search results - page 69 / 2838 » Abstractions for hybrid systems |
STTT
2008
14 years 11 months ago
2008
In 1995, HyTech broke new ground as a potentially powerful tool for verifying hybrid systems
ICARCV
2008
IEEE
15 years 6 months ago
2008
IEEE
—We investigate the stability properties of discrete and hybrid stochastic nonlinear dynamical systems. More precisely, we extend the stochastic contraction theorems (which were ...
102
click to vote
CADE
2007
Springer
16 years 5 days ago
2007
Springer
We show how theorem proving and methods for handling real algebraic constraints can be combined for hybrid system verification. In particular, we highlight the interaction of deduc...
HYBRID
2004
Springer
15 years 5 months ago
2004
Springer
In this paper we consider the problem of estimating discrete variables in a class of hybrid systems where we assume that the continuous variables are available for measurement. Usi...
103
click to vote
FORMATS
2006
Springer
15 years 3 months ago
2006
Springer
Polygonal hybrid systems (SPDI) are a subclass of planar hybrid automata which can be represented by piecewise constant differential inclusions. The reachability problem as well as...