4693 search results - page 4 / 939 » Verifying Hybrid Systems |
136
click to vote
LICS
2012
IEEE
13 years 2 months ago
2012
IEEE
—We study the logic of dynamical systems, that is, logics and proof principles for properties of dynamical systems. Dynamical systems are mathematical models describing how the s...
116
Voted
HYBRID
2010
Springer
15 years 7 months ago
2010
Springer
In this paper, we present an extension of the synchronous language Quartz by new kinds of variables, actions and statements for modeling the interaction of synchronous systems wit...
102
Voted
ECBS
2009
IEEE
15 years 7 months 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...
92
Voted
HYBRID
2009
Springer
15 years 7 months ago
2009
Springer
HYBRID
2007
Springer
15 years 6 months ago
2007
Springer