Evaluation, Selection, and Application of Model-Based Diagnosis Tools and Approaches
暂无分享,去创建一个
X. Koutsoukos | G. Biswas | O. Mengshoel | M. Daigle | R. Lutz | I. Roychoudhury | S. Poll | A. Sweet | A. Patterson-Hine | J. Camisa | D. Nishikawa | L. Spirkovska | David García | David N. Hall | C. Neukom | Serge Yentus | Charles Lee | J. Ossenfort
[1] A.H. Haddad,et al. Applied optimal estimation , 1976, Proceedings of the IEEE.
[2] David J. Spiegelhalter,et al. Local computations with probabilities on graphical structures and their application to expert systems , 1990 .
[3] Prakash P. Shenoy,et al. Axioms for probability and belief-function proagation , 1990, UAI.
[4] Krishna R. Pattipati,et al. Multi-signal flow graphs: a novel approach for system testability analysis and fault diagnosis , 1994 .
[5] Krishna R. Pattipati,et al. Decentralized real-time monitoring and diagnosis , 1998, SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.98CH36218).
[6] P. Mosterman,et al. A theory of discontinuities in physical system models , 1998 .
[7] Pieter J. Mosterman,et al. Diagnosis of continuous valued systems in transient operating regions , 1999, IEEE Trans. Syst. Man Cybern. Part A.
[8] Gabor Karsai,et al. Building observers to address fault isolation and control problems in hybrid dynamic systems , 2000, Smc 2000 conference proceedings. 2000 ieee international conference on systems, man and cybernetics. 'cybernetics evolving to systems, humans, organizations, and their complex interactions' (cat. no.0.
[9] M. Ceraolo,et al. New dynamical models of lead-acid batteries , 2000 .
[10] J. Buttriss. 3rd edition, 2000 , 2001 .
[11] Adnan Darwiche,et al. A differential approach to inference in Bayesian networks , 2000, JACM.
[12] Gabor Karsai,et al. Model-integrated development of embedded software , 2003, Proc. IEEE.
[13] Gabor Karsai,et al. A robust method for hybrid diagnosis of complex systems , 2003 .
[14] Sriram Narasimhan,et al. Combining Particle Filters and Consistency-Based Approaches for Monitoring and Diagnosis of Stochastic Hybrid Systems , 2004 .
[15] Lee,et al. [American Institute of Aeronautics and Astronautics 46th AIAA/ASME/ASCE/AHS/ASC Structures, Structural Dynamics and Materials Conference - Austin, Texas ()] 46th AIAA/ASME/ASCE/AHS/ASC Structures, Structural Dynamics and Materials Conference - Aeroelastic Studies on a Folding Wing Configuration , 2005 .
[16] A. Ledeczi,et al. Model Integrated Computing in the Large , 2005, 2005 IEEE Aerospace Conference.
[17] Sherif Abdelwahed,et al. Online fault adaptive control for efficient resource management in Advanced Life Support Systems. , 2005, Habitation.
[18] Pieter J. Mosterman,et al. A Method for Efficient Simulation of Hybrid Bond Graphs , 2006 .
[19] Adnan Darwiche,et al. Solving MAP Exactly by Searching on Compiled Arithmetic Circuits , 2006, AAAI.
[20] R. Rosenberg,et al. System Dynamics: Modeling and Simulation of Mechatronic Systems , 2006 .
[21] Gabor Karsai,et al. Diagnostic Technology Evaluation Report For On-Board Crew Launch Vehicle , 2006 .
[22] Gabor Karsai,et al. Component-oriented modeling of hybrid dynamic systems using the generic modeling environment , 2006, Fourth Workshop on Model-Based Development of Computer-Based Systems and Third International Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MBD-MOMPES'06).
[23] Robyn R. Lutz,et al. Using obstacle analysis to identify contingency requirements on an unpiloted aerial vehicle , 2006, Requirements Engineering.
[24] David C. Wilkins,et al. Controlled generation of hard and easy Bayesian networks: Impact on maximal clique size in tree clustering , 2006, Artif. Intell..
[25] Adnan Darwiche,et al. Compiling Bayesian Networks Using Variable Elimination , 2007, IJCAI.
[26] Gautam Biswas,et al. Efficient Simulation of Component-Based Hybrid Models Represented as Hybrid Bond Graphs , 2007, HSCC.
[27] Ole J. Mengshoel. Macroscopic Models of Clique Tree Growth for Bayesian Networks , 2007, AAAI.
[28] Ole J. Mengshoel,et al. Designing Resource-Bounded Reasoners using Bayesian Networks: System Health Monitoring and Diagnosis , 2007 .
[29] Gautam Biswas,et al. Model-Based Diagnosis of Hybrid Systems , 2003, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.