8190 search results - page 25 / 1638 » From Timed to Hybrid Systems |
159
click to vote
ECBS
2009
IEEE
16 years 16 days ago
2009
IEEE
Probabilistic models are useful for analyzing systems which operate under the presence of uncertainty. In this paper, we present a technique for verifying safety and liveness prop...
152
Voted
HYBRID
1995
Springer
15 years 9 months ago
1995
Springer
Uppaal is a new tool suit for automatic veri cation of networks of timed automata. In this paper we describe the diagnostic model-checking feature of Uppaal and illustrates its use...
159
click to vote
WIOPT
2005
IEEE
15 years 11 months ago
2005
IEEE
Abstract— The ever-increasing popularity of web services, growing demand for wireless multimedia and introduction of new, feature-enhanced, hand-held devices has already given bi...
171
click to vote
ICRA
2007
IEEE
16 years 1 days ago
2007
IEEE
Abstract— This paper presents a hybrid decoupled visionbased control scheme valid for the entire class of central catadioptric sensors (including conventional perspective cameras...
192
click to vote
ASWSD
2006
Springer
15 years 9 months ago
2006
Springer
Modern real-time embedded systems are complex, distributed, feature-rich applications. Model-based development of real-time embedded systems promises to simplify and accelerate the...