Sciweavers

16 search results - page 1 / 4
» Qualitative Multiple-Fault Diagnosis of Continuous Dynamic S...
Sort
View
AAAI
1996
13 years 5 months ago
Qualitative Multiple-Fault Diagnosis of Continuous Dynamic Systems Using Behavioral Modes
Most model-based diagnosis systems, such as GDE and Sherlock, have concerned discrete, static systems such as logic circuits and use simple constraint propagation to detect incons...
Siddarth Subramanian, Raymond J. Mooney
AAAI
2007
13 years 6 months ago
A Qualitative Approach to Multiple Fault Isolation in Continuous Systems
The multiple fault diagnosis problem is important, since the single fault assumption can lead to incorrect or failed diagnoses when multiple faults occur. It is challenging for co...
Matthew J. Daigle, Xenofon D. Koutsoukos, Gautam B...
TSMC
1998
152views more  TSMC 1998»
13 years 4 months ago
Discrete event representation of qualitative models using Petri nets
—The paper discusses how Petri nets may be used for the qualitative modeling of physical systems. The qualitative state of a system is represented by the marking of the net. The ...
Alessandra Fanni, Alessandro Giua
RTCSA
1997
IEEE
13 years 8 months ago
Behavior verification of hybrid real-time requirements by qualitative formalism
Although modern control theories have been successfully applied to solve a variety of problems, they are often mathematically and physically too specific to describe and analyze t...
Jang-Soo Lee, Sung Deok Cha
HYBRID
2001
Springer
13 years 8 months ago
Diagnosis of Physical Systems with Hybrid Models Using Parametrized Causality
Efficient algorithms exist for fault detection and isolation of physical systems based on functional redundancy. In a qualitative approach, this redundancy can be captured by a tem...
Pieter J. Mosterman