Search Sciweavers | Sciweavers

125 search results - page 1 / 25

» hybrid 2001

106

click to vote

HYBRID
2001
Springer

109views Control Systems» more HYBRID 2001»

Hybrid Abstractions that Preserve Timed Languages

15 years 7 months ago

Download www.seas.upenn.edu

Paulo Tabuada, George J. Pappas

claim paper

Read More »

108

click to vote

HYBRID
2001
Springer

137views Control Systems» more HYBRID 2001»

On the Decidability of the Reachability Problem for Planar Differential Inclusions

15 years 7 months ago

Download www.cs.um.edu.mt

Eugene Asarin, Gerardo Schneider, Sergio Yovine

claim paper

Read More »

110

click to vote

HYBRID
2001
Springer

105views Control Systems» more HYBRID 2001»

Optimal Paths in Weighted Timed Automata

15 years 7 months ago

Download www.seas.upenn.edu

Rajeev Alur, Salvatore La Torre, George J. Pappas

claim paper

Read More »

click to vote

HYBRID
2001
Springer

102views Control Systems» more HYBRID 2001»

Minimum-Cost Reachability for Priced Timed Automata

15 years 7 months ago

Download www.brics.dk

Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim Gu...

claim paper

Read More »

103

click to vote

HYBRID
2001
Springer

79views Control Systems» more HYBRID 2001»

Optimal Control Using Bisimulations: Implementation

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers