527 search results - page 3 / 106 » Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems |
KI
2010
Springer
13 years 10 days 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...
CSL
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. We address a fundamental mismatch between the combinations of dynamics that occur in complex physical systems and the limited kinds of dynamics supported in analysis. Mod...
TABLEAUX
2007
Springer
13 years 11 months ago
2007
Springer
HYBRID
2007
Springer
13 years 9 months ago
2007
Springer
Abstract. In this paper we present a dynamic programming formulation of a hybrid optimal control problem for bimodal systems with regional dynamics. In particular, based on optimal...
SMARTNET
2000
13 years 6 months ago
2000
: Due to the deregulation of the telecom network and the Internet, users will have access to an increasing number of heterogeneous communication services and will need to adapt the...