Sciweavers

3053 search results - page 12 / 611
» Hybrid Systems Diagnosis
Sort
View
HYBRID
1995
Springer
13 years 11 months ago
Stability of Hybrid Systems
Mikhail Kourjanski, Pravin Varaiya
HYBRID
2001
Springer
14 years 3 days ago
Hybrid Abstractions that Preserve Timed Languages
Paulo Tabuada, George J. Pappas
HYBRID
1994
Springer
13 years 11 months ago
A Note on Abstract Interpretation Strategies for Hybrid Automata
Thomas A. Henzinger, Pei-Hsin Ho
ISAAC
2001
Springer
118views Algorithms» more  ISAAC 2001»
14 years 2 days ago
On Adaptive Fault Diagnosis for Multiprocessor Systems
Abstract. We first consider adaptive serial diagnosis for multiprocessor systems. We present an adaptive diagnosis algorithm using N + t − 1 tests, which is the smallest possibl...
Kumiko Nomura, Toshinori Yamada, Shuichi Ueno
INFOCOM
2007
IEEE
14 years 1 months ago
A Suite of Schemes for User-Level Network Diagnosis without Infrastructure
—It is highly desirable and important for end users, with no special privileges, identify and pinpoint faults inside the network that degrade the performance of their application...
Yao Zhao, Yan Chen