Sciweavers

29 search results - page 1 / 6
» Semi-Automatic Fault Localization and Behavior Verification ...
Sort
View
KBSE
2003
IEEE
13 years 9 months ago
Semi-Automatic Fault Localization and Behavior Verification for Physical System Simulation Models
Mathematical modeling and simulation of complex physical systems are emerging as key technologies in engineering. Modern approaches to physical system simulation allow users to sp...
Peter Bunus, Peter Fritzson
SPRINGSIM
2010
13 years 2 months ago
Using factored bond graphs for distributed diagnosis of physical systems
This paper presents a distributed Bayesian fault diagnosis scheme for physical systems. Our diagnoser design is based on a procedure for factoring the global system bond graph (BG...
Indranil Roychoudhury, Gautam Biswas, Xenofon D. K...
WSC
2004
13 years 6 months ago
How Factory Physics Helps Simulation
Factory physics provides a systematic description, expressed as laws, of the underlying behavior of a system. These laws can provide important assistance in performing simulation ...
Charles R. Standridge
HYBRID
2001
Springer
13 years 9 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
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