Sciweavers

34 search results - page 1 / 7
» hybrid 1995
Sort
View
HYBRID
1995
Springer
13 years 11 months ago
Stability of Hybrid Systems
Mikhail Kourjanski, Pravin Varaiya
HYBRID
1995
Springer
13 years 11 months ago
Hybrid I/O Automata
Nancy A. Lynch, Roberto Segala, Frits W. Vaandrage...
HYBRID
1995
Springer
13 years 11 months ago
The Tool KRONOS
Conrado Daws, Alfredo Olivero, Stavros Tripakis, S...
HYBRID
1995
Springer
13 years 11 months ago
UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems
Johan Bengtsson, Kim Guldstrand Larsen, Fredrik La...
ISER
1995
Springer
128views Robotics» more  ISER 1995»
13 years 11 months ago
Interest of the dual hybrid control scheme for teleoperation with time delays
Claude Reboulet, Yann Plihon, Yves Briere