2377 search results - page 7 / 476 » Hybrid Systems in TLA |
111
click to vote
CAV
2012
Springer
13 years 2 months ago
2012
Springer
Abstract. In formal verification of hybrid systems, a big challenge is to incorporate continuous flow dynamics in a discrete framework. Our previous work proposed to use nonstand...
HYBRID
2005
Springer
15 years 6 months ago
2005
Springer
By transferring the theory of hybrid systems to a categorical framework, it is possible to develop a homology theory for hybrid systems: hybrid homology. This is achieved by consid...
61
Voted
HYBRID
2010
Springer
15 years 7 months ago
2010
Springer
89
Voted
HYBRID
2007
Springer
15 years 6 months ago
2007
Springer
HYBRID
2007
Springer
15 years 6 months ago
2007
Springer
