Sciweavers

2377 search results - page 13 / 476
» Hybrid Systems in TLA
Sort
View
HYBRID
1997
Springer
13 years 11 months ago
Hybrid Dynamic Programming
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...
Wolf Kohn, Jeffrey B. Remmel
HYBRID
2000
Springer
13 years 10 months ago
Towards a Geometric Theory of Hybrid Systems
Given a deterministic, non-blocking hybrid system, we introduce the notion of its hybrid manifold (or hybrifold) with the associated hybrid ow on it. This enables us to study hyb...
Slobodan N. Simic, Karl Henrik Johansson, Shankar ...
HYBRID
1998
Springer
13 years 11 months ago
Hybrid Control of Automotive Powertrain Systems: A Case Study
Ali Beydoun, Le Yi Wang, Jing Sun, Shiva Sivashank...
HYBRID
1992
Springer
13 years 10 months ago
An Approach to the Description and Analysis of Hybrid Systems
Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, ...
HYBRID
2009
Springer
13 years 10 months ago
Reachability Analysis for Stochastic Hybrid Systems Using Multilevel Splitting
Derek Riley, Xenofon D. Koutsoukos, Kasandra Riley