Sciweavers

695 search results - page 5 / 139

» Control in o-minimal Hybrid Systems

23

HYBRID
1992
Springer

90views Control Systems» more HYBRID 1992»

Hybrid Systems in TLA+

14 years 1 months ago

Hybrid Systems in TLA+

Download research.microsoft.com

Leslie Lamport

claim paper

Read More »

28

HYBRID
1992
Springer

88views Control Systems» more HYBRID 1992»

Verifying Hybrid Systems

14 years 1 months ago

Verifying Hybrid Systems

Download www.csr.city.ac.uk

Zohar Manna, Amir Pnueli

claim paper

Read More »

25

HYBRID
1995
Springer

78views Control Systems» more HYBRID 1995»

Stability of Hybrid Systems

14 years 19 days ago

Stability of Hybrid Systems

Download dora.cwru.edu

Mikhail Kourjanski, Pravin Varaiya

claim paper

Read More »

34

HYBRID
2007
Springer

122views Control Systems» more HYBRID 2007»

Approximate Simulation Relations and Finite Abstractions of Quantized Control Systems

14 years 28 days ago

Approximate Simulation Relations and Finite Abstractions of Quantized Control Systems

Download www.ee.ucla.edu

Paulo Tabuada

claim paper

Read More »

23

HYBRID
2001
Springer

109views Control Systems» more HYBRID 2001»

Hybrid Abstractions that Preserve Timed Languages

14 years 1 months ago

Hybrid Abstractions that Preserve Timed Languages

Download www.seas.upenn.edu

Paulo Tabuada, George J. Pappas

claim paper

Read More »

« Prev « First page 5 / 139 Last » Next »