Search Sciweavers | Sciweavers

125 search results - page 1 / 25

» hybrid 2001

click to vote

HYBRID
2001
Springer

109views Control Systems» more HYBRID 2001»

Hybrid Abstractions that Preserve Timed Languages

13 years 10 months ago

Download www.seas.upenn.edu

Paulo Tabuada, George J. Pappas

claim paper

Read More »

click to vote

HYBRID
2001
Springer

137views Control Systems» more HYBRID 2001»

On the Decidability of the Reachability Problem for Planar Differential Inclusions

13 years 10 months ago

Download www.cs.um.edu.mt

Eugene Asarin, Gerardo Schneider, Sergio Yovine

claim paper

Read More »

click to vote

HYBRID
2001
Springer

105views Control Systems» more HYBRID 2001»

Optimal Paths in Weighted Timed Automata

13 years 10 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

13 years 10 months ago

Download www.brics.dk

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

claim paper

Read More »

click to vote

HYBRID
2001
Springer

79views Control Systems» more HYBRID 2001»

Optimal Control Using Bisimulations: Implementation

13 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers