Sciweavers

3053 search results - page 59 / 611
» Hybrid Systems Diagnosis
Sort
View
JAR
2008
107views more  JAR 2008»
13 years 10 months ago
Differential Dynamic Logic for Hybrid Systems
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equat...
André Platzer
HYBRID
2010
Springer
14 years 4 months ago
From synchronous programs to symbolic representations of hybrid systems
In this paper, we present an extension of the synchronous language Quartz by new kinds of variables, actions and statements for modeling the interaction of synchronous systems wit...
Kerstin Bauer, Klaus Schneider
KES
2008
Springer
13 years 10 months ago
Fuzzy diagnosis of turbomachines
This paper presents a fuzzy knowledge-based system for turbomachinery diagnosis. Given symptoms associated with a vibration problem, the system can identify and rank possible cause...
Meijun Yang, Qiang Shen
KES
2008
Springer
13 years 10 months ago
Reinforcing fuzzy rule-based diagnosis of turbomachines with case-based reasoning
This paper presents an integrated knowledge-based system, which combines fuzzy rule-based reasoning with case-based reasoning, for turbomachinery diagnosis. By incorporating a case...
Meijun Yang, Qiang Shen
JAIR
2011
117views more  JAIR 2011»
13 years 29 days ago
Sequential Diagnosis by Abstraction
Sajjad Ahmed Siddiqi, Jinbo Huang