2364 search results - page 25 / 473 » On O-Minimal Hybrid Systems |
183
click to vote
HYBRID
2005
Springer
15 years 11 months ago
2005
Springer
This paper focuses on hybrid systems whose discrete state transitions depend on both deterministic and stochastic events. For such systems, after introducing a suitable hybrid mod...
190
click to vote
LICS
2012
IEEE
13 years 8 months ago
2012
IEEE
—Hybrid systems are a fusion of continuous dynamical systems and discrete dynamical systems. They freely combine dynamical features from both worlds. For that reason, it has ofte...
151
click to vote
STTT
2008
15 years 6 months ago
2008
In 1995, HyTech broke new ground as a potentially powerful tool for verifying hybrid systems
170
click to vote
HYBRID
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. In this paper, we study the problem of controlling the expected exit time from a region for a class of stochastic hybrid systems. That is, we find the least costly feedb...
152
click to vote
ICARCV
2008
IEEE
16 years 19 days 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 ...