Sciweavers

4434 search results - page 19 / 887
» On the Composition of Hybrid Systems
Sort
View
HYBRID
2007
Springer
16 years 6 days ago
Reachability for Linear Hybrid Automata Using Iterative Relaxation Abstraction
Sumit Kumar Jha, Bruce H. Krogh, James E. Weimer, ...
HYBRID
2009
Springer
16 years 26 days ago
Automatic Synthesis of Robust and Optimal Controllers - An Industrial Case Study
Franck Cassez, Jan Jakob Jessen, Kim Guldstrand La...
GIS
2006
ACM
16 years 7 months ago
Preserving local topological relationships
Topological relationships between objects in space are of great importance in many disciplines. Recently, topological relationships have been defined for complex spatial objects. ...
Mark McKenney, Alejandro Pauly, Reasey Praing, Mar...
HYBRID
1997
Springer
15 years 10 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
15 years 9 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 ...