Sciweavers

15840 search results - page 152 / 3168
» The Control of Synchronous Systems
Sort
View
HYBRID
2001
Springer
15 years 10 months ago
On the Decidability of the Reachability Problem for Planar Differential Inclusions
Eugene Asarin, Gerardo Schneider, Sergio Yovine
HYBRID
2001
Springer
15 years 10 months ago
Hybrid Abstractions that Preserve Timed Languages
Paulo Tabuada, George J. Pappas
RTSS
2000
IEEE
15 years 10 months ago
Adding PEP to Real-Time Distributed Commit Processing
Jayant R. Haritsa, Krithi Ramamritham
RTSS
2000
IEEE
15 years 10 months ago
Modeling Complex Flows for Worst-Case Execution Time Analysis
Jakob Engblom, Andreas Ermedahl