14190 search results - page 17 / 2838 » Abstractions for hybrid systems |
HYBRID
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. This paper addresses a parameter synthesis problem for nonlinear hybrid systems. Considering a set of uncertain parameters and a safety property, we give an algorithm tha...
HYBRID
2010
Springer
15 years 6 months ago
2010
Springer
HYBRID
2004
Springer
15 years 5 months ago
2004
Springer
118
click to vote
HYBRID
2000
Springer
15 years 3 months ago
2000
Springer
Results from classical dynamical systems are generalized to hybrid dynamical systems. The concept of limit set is introduced for hybrid systems and is used to prove new results on...
CADE
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. We describe the instance store, a system for reasoning about individuals (i.e., instances of classes) in OWL ontologies. By using a hybrid reasoner/database architecture,...