Sciweavers

30 search results - page 1 / 6
» hybrid 1994
Sort
View
HYBRID
1994
Springer
13 years 9 months ago
A Note on Abstract Interpretation Strategies for Hybrid Automata
Thomas A. Henzinger, Pei-Hsin Ho
HYBRID
1994
Springer
13 years 9 months ago
Hierarchical Hybrid Control: A Case Study
Datta N. Godbole, John Lygeros, Shankar Sastry
HYBRID
1994
Springer
13 years 9 months ago
HYTECH: The Cornell HYbrid TECHnology Tool
This paper is addressed to potential users of HyTech, the Cornell Hybrid Technology Tool, an automatic tool for analyzing hybrid systems. We review the formal technologies that hav...
Thomas A. Henzinger, Pei-Hsin Ho
ICRA
1994
IEEE
86views Robotics» more  ICRA 1994»
13 years 9 months ago
A knowledge based and a hybrid system to evaluate flexible manufacturing systems
George L. Kovács, J. Nasca, D. Gavalcov&aac...