144
Voted
FORMATS
15 years 6 months ago
2006 Springer 
Recently, a new approach to the symbolic model checking of timed automata based on a partial order semantics was introduced, which relies on event zones that use vectors of event o...
140
click to vote
FORMATS
15 years 6 months ago
2006 Springer 
In this paper, we consider a novel approach to the temporal logic verification problem of continuous dynamical systems. Our methodology has the distinctive feature that enables the...
135
click to vote
FORMATS
15 years 6 months ago
2006 Springer 
Abstract. Well-known hierarchies discriminate between the computational power of discrete time and space dynamical systems. A contrario the situation is more confused for dynamical...
136
click to vote
FORMATS
15 years 6 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...
|
Formal Methods