Monitoring and fault diagnosis of hybrid systems

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

Volumn 35, Issue 6, 2005, Pages 1225-1240

  Zhao, Feng ^a   Koutsoukos, Xenofon ^b   Haussecker, Horst ^c   Reich, Jim ^d   Cheung, Patrick ^d  

^a MICROSOFT RESEARCH   (United States)

^b VANDERBILT UNIVERSITY   (United States)

^c INTEL RESEARCH   (United States)

^d PALO ALTO RESEARCH CENTER   (United States)

Author keywords

Bayesian mode estimation; Data association; Hybrid systems; Monitoring and diagnosis; Printing systems

Indexed keywords

ALGORITHMS; COMPUTATIONAL METHODS; ELECTROMECHANICAL DEVICES; MATHEMATICAL MODELS; MONITORING; PRINTING MACHINERY; SENSORS; STATISTICAL METHODS;

BAYESIAN MODE ESTIMATION; FAULT DIAGNOSIS; HYBRID SYSTEMS; PRINTING SYSTEMS;

CONTROL THEORY;

ALGORITHM; ARTICLE; ARTIFICIAL INTELLIGENCE; BAYES THEOREM; COMPUTER SIMULATION; EQUIPMENT; METHODOLOGY; SIGNAL PROCESSING; STATISTICAL MODEL; SYSTEM ANALYSIS;

ALGORITHMS; ARTIFICIAL INTELLIGENCE; BAYES THEOREM; COMPUTER SIMULATION; EQUIPMENT FAILURE; EQUIPMENT FAILURE ANALYSIS; MODELS, STATISTICAL; SIGNAL PROCESSING, COMPUTER-ASSISTED; SYSTEMS INTEGRATION;

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

References (33)

1. J. de Kleer and B. C. Williams, "Diagnosing multiple faults," Artif. Intell., vol. 32, no. 1, pp. 97-130, 1987.
2. W. Hamscher, L. Console, and J. de Kleer, Readings in Model-Based Diagnosis. San Mateo, CA: Morgan Kaufmann, 1992.
3. C. Goodrich and J. Kurien, "Continuous measurements and quantitative constraints-Challenge problems for discrete modeling techniques," in Proc. iSAIRAS-2001, Montreal, QC, Canada, 2001.
4. A. Willsky, "A survey of design methods for failure detection in dynamic systems," Automatica, vol. 12, pp. 600-611, 1976.
5. E. Isermann, "Process fault detection based on modeling and estimation methods - A survey," Automatica, vol. 20, pp. 387-404, 1984.
6. P. Frank, "Fault diagnosis in dynamic systems using analytical and knowledge-based redundancy - A survey and some new results," Automatica, vol. 26, no. 3, pp. 459-474, 1990.
7. J. Gertler, "Analytical redundancy methods in fault detection and isolation - A survey and synthesis," in IFAC/IMACS Safeprocess, 1991, pp. 9-21.
8. R. Patton and J. Chen, Eds., Robust Model-Based Fault Diagnosis for Dynamic Systems Norwell, MA; Kluwer, 1999.
9. J. Lunze, "Diagnosis of quantised systems by means of timed discrete-event representations," in Hybrid Systems: Computation and Control. ser. Lecture Notes in Computer Science, N. Lynch and B. Krogh, Eds. New York: Springer, 2000, vol. 1790, pp. 258-271.
10. S. Narasimhan, "Model-Based Diagnosis of Hybrid Systems," Ph.D., Elec. Eng. Comput. Sci. Dept., Vanderbilt Univ., Nashville, TN, 2002.
11. P. Mosterman and G. Biswas, "Diagnosis of continuous valued systems in transient operating regions," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 29, no. 6, pp. 554-565, Nov. 1999.
12. S. McIlraith, G. Biswas, D. Clancy, and V. Gupta, "Hybrid systems diagnosis," in Hybrid Systems: Computation and Control. ser. Lecture Notes in Computer Science, N. Lynch and B. Krogh, Eds. New York: Springer, 2000, vol. 1790, pp. 282-295.
13. D. Koller and U. Lerner, "Sampling in factored dynamic systems," in Sequential Monte Carlo Methods in Practice, ser. Statistics for Engineering and Information Science. New York Springer, 2001, pp. 445-464.
14. X. Koutsoukos, J. Kurien, and F. Zhao, "Estimation of hybrid systems using particle filtering methods,"in Proc. MTNS2002, Notre Dame, IN, 2002.
15. X. Koutsoukos, J. Kurien, and F. Zhao, "Estimation of distributed hybrid systems using particle filtering methods," in Hybrid Systems: Computation and Control (HCSS'03), ser. Lecture Notes in Computer Science. New York: Springer, 2003, vol. 2623, pp. 298-313.
16. X. Koutsoukos, "Estimation of hybrid systems using discrete sensors," in Proc. 42nd IEEE Conf. Decision and Control, Dec. 2003, pp. 155-160.
17. R. Dearden and D. Clancy, "Particle filter for real-time fault detection of planetary rovers," in Proc. 13th Int. Workshop on Principles of Diagnosis (DX'2002), Semmering, Austria, 2002.
18. M. Basseville, A. Benveniste, and L. Tromp, "Diagnosing hybrid dynamical systems: Fault graphs, statistical residuals and viterbi algorithms," in Proc. 37th IEEE Conf. Decision and Control, 2000, pp. 3757-3762.
19. 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'2000), 2000.
20. M. Hofbaur and B. Williams, "Mode estimation of probabilistic hybrid systems,in Hybrid Systems: Computation and Control (HSCC'02). ser. Lecture Notes in Computer Science, C. Tomlin and M. Greenstreet, Eds. New York: Springer-Verlag, 2002, vol. 2289, pp. 253-266.
21. E. Benazera, L. Trave-Massuyes, and P. Dague, "State tracking of uncertain hybrid concurrent systems," in Proc. 13th Int. Workshop on Principles of Diagnosis (DX'2002), Semmering, Austria, 2002.
22. G. Ferrari-Trecate, D. Mignone, and M, Morari, "Moving horizon estimation for hybrid systems," IEEE Trans. Autom. Control, vol. 47, no. 10, pp. 1663-1676, Oct. 2002.
23. V. Srinivasan and M. Jafari, "Fault detection/monitoring using time Petri nets," IEEE Trans. Syst., Man, Cybern., vol. 23, no. 4, pp. 1155-1162, Jul./Aug. 1993.
24. D. Pandalai and L. Holloway, "Template languages for fault monitoring of timed discrete event processes," IEEE Trans. Autom. Control, vol. 45, no. 5, pp. 868-882, May 2000.
25. M. Sampath, A. Godambe, E. Jackson, and E. Mallow, "Combining qualitative & quantitative reasoning-A hybrid approach to failure diagnosis of industrial systems," in 4th IFAC Symp. SAFEPROCESS, 2000, pp. 494-501.
26. E. Hung and F. Zhao, "Diagnostic information processing for sensor-rich distributed systems," in Proc. 2nd Int. Conf. Information Fusion (Fusion'99), Sunnyvale, CA, 1999.
27. R. Alur, C. Courcoubetis, N. Halbwachs, T. Henzinger, P.-H. Ho, X. Nicollin, A. Oliveiro, J. Sifakis, and S. Yovine, "The algorithmic analysis of hybrid systems," Theoret. Comput. Sci., vol. 138, pp. 3-34, 1995.
28. L. Console, C. Picardi, and M. Ribando, "Diagnosis and diagnosability analysis using process algebra," in Proc. 11th Int. Workshop on Principles of Diagnosis (DX'2000), Michoacen, Mexico, 2000.
29. L. Trave-Massuyes, T. Escobet, and R. Milne, "Model-based diagnosability and sensor placement application to a frame 6 gas turbine subsystem," in Proc. IJCAI'2001, Seattle, WA, 2001, pp. 551-556.
30. P. Antsaklis and X. Koutsoukos, "Hybrid systems: Review and recent progress," in Software-Enabled Control, T. Samad and G. Balas, Eds. New York: IEEE Press, 2003, pp. 272-298.
31. R. Alur, T. Henzinger, G. Lafferriere, and G. Pappas, "Discrete abstractions of hybrid systems," Proc. IEEE, vol. 88, no. 7, pp. 971-984, Jul. 2000.
32. J. Quinlan, "Combining instance-based and model-based learning," in Proc. 10th Int. Conf. Machine Learning, Amherst, MA, 1993.
33. J. Peterson, Petri Net Theory and the Modeling of Systems. Englewood Cliffs, NJ: Prentice-Hall, 1981.