2366 search results - page 11 / 474 » Pfaffian Hybrid Systems |
HYBRID
2007
Springer
14 years 4 months ago
2007
Springer
HYBRID
2007
Springer
14 years 4 months ago
2007
Springer
HYBRID
2009
Springer
14 years 4 months ago
2009
Springer
LICS
2012
IEEE
12 years 6 days ago
2012
IEEE
—We study the logic of dynamical systems, that is, logics and proof principles for properties of dynamical systems. Dynamical systems are mathematical models describing how the s...
HYBRID
1997
Springer
14 years 1 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...