Sciweavers

14190 search results - page 2 / 2838
» Abstractions for hybrid systems
Sort
View
HYBRID
2007
Springer
15 years 4 months ago
Reachability for Linear Hybrid Automata Using Iterative Relaxation Abstraction
Sumit Kumar Jha, Bruce H. Krogh, James E. Weimer, ...
HYBRID
2000
Springer
15 years 1 months ago
A Hybrid Feedback Regulator Approach to Control an Automotive Suspension System
Abstract. In this paper, we demonstrate a novel hybrid control synthesis approach using an automotive suspension system. Discrete abstractions are used to approximate the continuou...
Xenofon D. Koutsoukos, Panos J. Antsaklis