Sciweavers

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