14190 search results - page 35 / 2838 » Abstractions for hybrid systems |
112
click to vote
RSP
2003
IEEE
15 years 5 months ago
2003
IEEE
Model-based testing relies on the use of behavior models to automatically generate sequences of inputs and expected outputs. These sequences can be used as test cases to the end o...
HYBRID
2009
Springer
15 years 6 months ago
2009
Springer
137
click to vote
KI
2010
Springer
14 years 6 months ago
2010
Springer
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equa...
HYBRID
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. This paper derives an optimization-based control methodology for networks of switched and hybrid systems in which each mode is governed by a partial differential equatio...
HYBRID
1997
Springer
15 years 4 months ago
1997
Springer
In this paper we outline the derivation of a hybrid Hamilton-JacobiBellman equation for our Multiple Agent Hybrid Control Architecture (MACHA) [5, 4] and a hybrid system dynamic p...