1287 search results - page 3 / 258 » Reduction of Timed Hybrid Systems |
HYBRID
1995
Springer
14 years 2 months ago
1995
Springer
HYBRID
2009
Springer
13 years 8 months ago
2009
Springer
We introduce STORMED hybrid games (SHG), a generalization of STORMED Hybrid Systems [21], which have natural specifications, allow rich continuous dynamics and admit various proper...
HYBRID
2001
Springer
14 years 3 months ago
2001
Springer
CAV
2006
Springer
14 years 2 months ago
2006
Springer
This paper addresses the problem of computing symbolically the set of reachable configurations of a linear hybrid automaton. A solution proposed in earlier work consists in explori...
HYBRID
1995
Springer
14 years 2 months ago
1995
Springer
This paper summarizes the definitions and several of the main results of an approach to hybrid systems, which combines finite automata and linear systems, developed by the author...