3679 search results - page 57 / 736 » Hybrid Semantic Analysis |
137
click to vote
LICS
2012
IEEE
13 years 3 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...
118
click to vote
CIE
2009
Springer
15 years 7 months ago
2009
Springer
We present a technique to associate to stochastic programs written in stochastic Concurrent Constraint Programming a semantics in terms of a lattice of hybrid automata. The aim of ...
114
Voted
EMSOFT
2008
Springer
15 years 2 months ago
2008
Springer
Aimed at verifying safety properties and improving simulation coverage for hybrid systems models of embedded control software, we propose a technique that combines numerical simul...
114
Voted
CDC
2008
IEEE
15 years 7 months ago
2008
IEEE
This paper is focused on adapting symmetry reduction, a technique that is highly successful in traditional model checking, to stochastic hybrid systems. To that end, we first sho...
115
click to vote
HYBRID
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. In this paper we present an approach to approximate reachability computation for nonlinear continuous systems. Rather than studying a complex nonlinear system ˙x = g(x),...