Sciweavers

34 search results - page 1 / 7
» hybrid 1995
Sort
View
HYBRID
1995
Springer
13 years 8 months ago
Stability of Hybrid Systems
Mikhail Kourjanski, Pravin Varaiya
HYBRID
1995
Springer
13 years 8 months ago
Hybrid I/O Automata
Nancy A. Lynch, Roberto Segala, Frits W. Vaandrage...
HYBRID
1995
Springer
13 years 8 months ago
The Tool KRONOS
Conrado Daws, Alfredo Olivero, Stavros Tripakis, S...
HYBRID
1995
Springer
13 years 8 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 8 months ago
Interest of the dual hybrid control scheme for teleoperation with time delays
Claude Reboulet, Yann Plihon, Yves Briere