2366 search results - page 20 / 474 » Pfaffian Hybrid Systems |
SAC
2010
ACM
14 years 4 months ago
2010
ACM
Analysis of systems containing both discrete and continuous dynamics, hybrid systems, is a difficult issue. Most problems have been shown to be undecidable in general, and decidab...
FORMATS
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. We introduce and study hybrid automata with strong resets. They generalize o-minimal hybrid automata, a class of hybrid automata which allows modeling of complex continuo...
HYBRID
1994
Springer
14 years 1 months ago
1994
Springer
Abstract. We present a language,Hybrid cc, for modeling hybrid systems compositionally. This language is declarative, with programs being understood as logical formulas that place ...
HYBRID
2001
Springer
14 years 2 months ago
2001
Springer
HYBRID
2001
Springer
14 years 2 months ago
2001
Springer