Sciweavers

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