Hybrid estimation of complex systems

IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics

Volumn 34, Issue 5, 2004, Pages 2178-2191

  Hofbaur, Michael W ^a   Williams, Brian C ^b  

^a GRAZ UNIVERSITY OF TECHNOLOGY   (Austria)

^b MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; ARTIFICIAL INTELLIGENCE; DISCRETE TIME CONTROL SYSTEMS; ESTIMATION; FAILURE ANALYSIS; KALMAN FILTERING; MATHEMATICAL MODELS;

DISCRETE SYSTEM MODE; FAULT DETECTION-AND-ISOLATION (FDI); HYBRID SYSTEMS; MULTIPLE MODEL ESTIMATION;

LARGE SCALE SYSTEMS;

ARTICLE; ARTIFICIAL INTELLIGENCE; COMPARATIVE STUDY; COMPUTER ASSISTED DIAGNOSIS; COMPUTER SIMULATION; DECISION SUPPORT SYSTEM; EQUIPMENT; EVALUATION; METHODOLOGY; SYSTEM ANALYSIS; THEORETICAL MODEL; VALIDATION STUDY;

ARTIFICIAL INTELLIGENCE; COMPUTER SIMULATION; DECISION SUPPORT TECHNIQUES; DIAGNOSIS, COMPUTER-ASSISTED; EQUIPMENT FAILURE ANALYSIS; MODELS, THEORETICAL; SYSTEMS INTEGRATION;

EID: 4844221614     PISSN: 10834419     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSMCB.2004.835009     Document Type: Article

References (45)

1. A. S. Willsky, "A survey of design methods for failure detection in dynamic systems," Automatica, vol. 12, no. 6, pp. 601-611, 1974.
2. J. Chen and R. Patton, Robust Model-Based Fault Diagnosis for Dynamic Systems. Norwell, MA: Kluwer, 1999.
3. G. A. Ackerson and K. S. Fu, "On state estimation in switching environments," IEEE Trans. Automat. Contr., vol. AC-15, pp. 10-17, 1970.
4. J. Tugnait, "Detection and estimation for abruptly changing systems," Automatica, vol. 18, pp. 607-615, 1982.
5. P. Hanlon and P. Maybeck, "Multiple-model adaptive estimation using a residual correlation Kalman filter bank," IEEE Trans. Aerosp. Electron. Syst., vol. 36, pp. 393-406, Apr. 2000.
6. H. A. P. Blom and Y. Bar-Shalom, "The interacting multiple model algorithm for systems with markovian switching coefficients," IEEE Trans. Automat. Contr., vol. 33, pp. 780-783, Aug. 1988.
7. X. R. Li and Y. Bar-Shalom, "Multiple-model estimation with variable structure," IEEE Trans. Automat. Contr., vol. 41, pp. 478-493, 1996.
8. X. R. Li, X. Zhi, and Y. Zhang, "Multiple-model estimation with variable structure - Part III: Model-group switching algorithm," IEEE Trans. Aerosp. Electron. Syst., vol. 35, pp. 225-241, 1999.
9. X. R. Li, "Multiple-model estimation with variable structure - Part II: Model-set adaption," IEEE Trans. Automatic Control, vol. 45, pp. 2047-2060, Nov. 2000.
10. W. Hamscher, L. Console, and J. de Kleer, Eds., Readings in Model-Based Diagnosis. San Mateo, CA: Morgan Kaufmann, 1992.
11. B. C. Williams and P. Nayak, "A model-based approach to reactive self-configuring systems," in Proc. 13th Nat. Conf. Artificial Intelligence (AAAI-96), 1996.
12. P.E. Hart, N.J. Nilsson, and B. Raphael, "A formal basis for the heuristic determination of minimum cost paths," IEEE Trans. Syst., Man, Cybern., vol. 4, pp. 100-107, 1968.
13. B. C. Williams and R. J. Ragno, "Conflict-directed A* and its role in model-based embedded systems," J. Discrete Appl. Math., submitted for publication.
14. R. Davis, "Diagnostic reasoning based on structure and behavior," Artific. Intell., vol. 24, pp. 347-410, 1984.
15. J. de Kleer and B. C. Williams, "Diagnosing multiple faults," Artific. Intell. , vol. 32, no. 1, pp. 97-130, 1987.
16. J. de Kleer and B. C. Williams "Diagnosis with behavioral modes," in Proc. IJCAI-89, 1989, pp. 1324-1330.
17. F. Zhao, X. Koutsoukos, H. Haussecker, J. Reich, and P. Cheung, "Distributed monitoring of hybrid systems: A model-directed approach," in Proc. Int. Joint Conf. Artificial Intelligence (IJCAI'01), 2001, pp. 557-564.
18. S. Narasimhan and G. Biswas, "An approach to model-based diagnosis of hybrid systems," in Hybrid Systems: Computation and Control, HSCC 2002, C. J. Tomlin and M. R. Greenstreet, Eds. New York: Springer-Verlag, 2002, vol. 2289, Lecture Notes in Computer Science, pp. 308-322.
19. E. Benazera, L. Travé-Massuyès, and P. Dague, "State tracking of uncertain hybrid concurrent systems," in Proc. 13th Int. Workshop Principles Diagnosis (DX02), May 2002, pp. 106-114.
20. U. Lerner, R. Parr, D. Koller, and G. Biswas, "Bayesian fault detection and diagnosis in dynamic systems," in Proc. 7th Nat. Conf. Artificial Intelligence (AAAI'00), Austin, TX, 2000.
21. S. McIlraith, "Diagnosing hybrid systems: A bayseian model selection approach," in Proc. 11th Int. Workshop on Principles Diagnosis (DX00), June 2000, pp. 140-146.
22. P. Li and V. Kadirkamanathan, "Particle filtering based likelyhood ratio approach to fault diagnosis in nonlinear stochastic systems," IEEE Trans. Syst., Man, Cybern. C, vol. 31, pp. 337-343, Aug. 2001.
23. R. Dearden and F. Hutter, "The Gaussian particle filter for efficient diagnosis of nonlinear systems," in Proc. 14th Int. Workshop Principles Diagnosis (DX03), Washington, DC, 2003.
24. X. Koutsoukos, J. Kurien, and F. Zhao, "Estimation of distributed hybrid systems using particle filtering methods," in Hybrid Systems: Computation and Control, HSCC 2003, O. Maler and A. Pnueli, Eds. New York: Springer-Verlag, 2003, vol. 2623, Lecture Notes in Computer Science, pp. 298-313.
25. S. Funiak and B. C. Williams, "Multi-modal particle filtering for hybrid systems with autonomous mode transitions," in Proc. 14th Int. Workshop Principles Diagnosis (DX03), 2003.
26. V. Verma, S. Thrun, and R. Simmons, "Variable resolution particle filter," in Proc. Int. Joint Conf. Artificial Intelligence (IJCAI'03), 2003, pp. 976-981.
27. M. W. Hofbaur and B. C. Williams, "Mode estimation of probabilistic hybrid systems," in Hybrid Systems: Computation and Control, HSCC 2002, C. J. Tomlin and M. R. Greenstreet, Eds. New York: Springer-Verlag, 2002, vol. 2289, Lecture Notes in Computer Science, pp. 253-266.
28. Y. Bar-Shalom, X. R. Li, and T. Kirubarajan, Estimation with Applications to Tracking and Navigation. New York: Wiley, 2001.
29. M. W. Hofbaur, Hybrid Estimation and its Role in Automation. Graz, Austria: Faculty of Elect. Eng., Graz Univ. Technol., 2003, Habilitationsschrift.
30. B. C. Williams, M. Ingham, S. Chung, P. Elliott, M. W. Hofbaur, and G. Sullivan, "Model-based programming of fault-aware systems," AI Mag., vol. 24, no. 4, pp. 61-75, 2003.
31. P. Maybeck and R. D. Stevens, "Reconfigurable flight control via multiple model adaptive control methods," IEEE Trans. Aerosp. Electron. Syst., vol. 27, pp. 470-480, May 1991.
32. P. Struss and O. Dressler, "Physical negation: Integrating fault models into the general diagnostic engine," in Proc. Int. Joint Conf. Artificial Intelligence (IJCAI'89), 1989, pp. 1318-1323.
33. R. E. Zippel, "The weyl computer algebra substrate," in Design and Implementation of Symbolic Computation Systems. New York: Springer-Verlag, 1993, vol. 722, Lecture Notes in Computer Science, pp. 303-318.
34. M. W. Hofbaur and B. C. Williams, "Hybrid diagnosis with unknown behavioral modes," in Proc. 13th Int. Workshop Principles Diagnosis (DX02), May 2002, pp. 97-105.
35. P. Nayak, Automated Modeling of Physical Systems: Springer, 1995, Lecture Notes in Artificial Intelligence.
36. L. Travé-Massuyès and R. Pons, "Causal ordering for multiple mode systems," in Proc. 11th Int. Workshop Qualitative Reasoning (QR97), 1997, pp. 203-214.
37. K. Reinschke, Multivariable Control - A Graph-Theoretic Approach. New York: Springer-Verlag, 1988, vol. 108, Lecture Notes in Control and Information Sciences.
38. A. Gehin, M. Assas, and M. Staroswiecki, "Structural analysis of system reconfigurability," in Preprints 4th IFAC SAFEPROCESS Symp., vol. 1, 2000, pp. 292-297.
39. W. Kleissl, "Structural Analysis of Hybrid Systems," M.Sc. thesis, Inst. Automat. Control, Graz Univ. of Technol.,, Graz, Austria, 2002.
40. A. Aho, J. Hopcroft, and J. Ullman, Data Structures and Algorithms. Reading, MA: Addison-Wesley, 1983.
41. E. Sontag, Mathematical Control Theory: Deterministic Finite Dimensional Systems, 2 ed. New York: Springer, 1998.
42. M. Grewal and A. Andrews, Kalman Filtering: Theory and Practice, 2 ed. Englewood Cliffs, NJ: Prentice-Hall, 2001.
43. J. T. Malin, L. Fleming, and T. R. Hatfield, "Interactive simulation-based testing of product gas transfer integrated monitoring and control software for the lunar mars life support phase III test," in Proc. SAE 28th Int. Conf. Environmental Systems, Danvers, MA, July 1998.
44. A. Hanford, "Advanced Life Support Baseline Values and Assumptions Document," NASA, Johnson Space Center, Houston, TX, Tech. Rep. CTSD-ADV-484, 2002.
45. B. C. Williams and B. Millar, "Decompositional, model-based learning and its analogy to diagnosis," in Proc. 15th Nat. Conf. Artificial Intelligence (AAAI-98), 1998.