Sciweavers

15840 search results - page 152 / 3168

» The Control of Synchronous Systems

29

HYBRID
2001
Springer

137views Control Systems» more HYBRID 2001»

On the Decidability of the Reachability Problem for Planar Differential Inclusions

14 years 3 months ago

On the Decidability of the Reachability Problem for Planar Differential Inclusions

Download www.cs.um.edu.mt

Eugene Asarin, Gerardo Schneider, Sergio Yovine

claim paper

Read More »

26

HYBRID
2001
Springer

109views Control Systems» more HYBRID 2001»

Hybrid Abstractions that Preserve Timed Languages

14 years 3 months ago

Hybrid Abstractions that Preserve Timed Languages

Download www.seas.upenn.edu

Paulo Tabuada, George J. Pappas

claim paper

Read More »

27

RTSS
2000
IEEE

97views Control Systems» more RTSS 2000»

Adding PEP to Real-Time Distributed Commit Processing

14 years 3 months ago

Adding PEP to Real-Time Distributed Commit Processing

Download dsl.serc.iisc.ernet.in

Jayant R. Haritsa, Krithi Ramamritham

claim paper

Read More »

34

RTSS
2000
IEEE

135views Control Systems» more RTSS 2000»

Modeling Complex Flows for Worst-Case Execution Time Analysis

14 years 3 months ago

Modeling Complex Flows for Worst-Case Execution Time Analysis

Download www.cs.ucla.edu

Jakob Engblom, Andreas Ermedahl

claim paper

Read More »

22

RTSS
2000
IEEE

85views Control Systems» more RTSS 2000»

Scheduling The Can Bus With Earliest Deadline Techniques

14 years 3 months ago

Scheduling The Can Bus With Earliest Deadline Techniques

Download rtlab.cs.nthu.edu.tw

Marco Di Natale

claim paper

Read More »

« Prev « First page 152 / 3168 Last » Next »