Distributed Diagnosis of Networked Hybrid Systems

Networked embedded systems are composed of a large number of distributed nodes that interact with the physical world via a set of sensors and actuators, have their own computational capabilities, and communicate with each other via a wired or wireless network. Diagnostic systems for such applications must address new challenges caused by the distribution of resources, the networking environment, and the tight coupling between the computational and the physical worlds. Our approach is to move from centralized, discrete or continuous techniques toward a distributed, hybrid diagnosis architecture. This paper demonstrates distributed, discrete diagnosis algorithms that leverage the topology of the physical plant to limit inter-diagnoser communication and compute diagnoses in an anytime and any information manner, making them robust to communication and processor failures. It also presents a particle filtering based estimation algorithm that addresses the challenge of the interaction between continuous and discrete dynamics in hybrid systems. The distributed qualitative diagnosis and hybrid estimation techniques are demonstrated using a rocket propulsion system.

[1]  Feng Zhao,et al.  Distributed Monitoring of Hybrid Systems: A model-directed approach , 2001, IJCAI.

[2]  Luca Console,et al.  Readings in Model-Based Diagnosis , 1992 .

[3]  Steven X. Ding,et al.  Current development in the theory of FDI , 2000 .

[4]  Feng Zhao,et al.  Scalable Information-Driven Sensor Querying and Routing for Ad Hoc Heterogeneous Sensor Networks , 2002, Int. J. High Perform. Comput. Appl..

[5]  David L. Waltz,et al.  Understanding Line drawings of Scenes with Shadows , 1975 .

[6]  Anil Nerode,et al.  Models for Hybrid Systems: Automata, Topologies, Controllability, Observability , 1992, Hybrid Systems.

[7]  Stéphane Lafortune,et al.  Coordinated Decentralized Protocols for Failure Diagnosis of Discrete Event Systems , 2000, Discret. Event Dyn. Syst..

[8]  Daphne Koller,et al.  Sampling in Factored Dynamic Systems , 2001, Sequential Monte Carlo Methods in Practice.

[9]  X. Steven Ding,et al.  Current Developments in the Theory of FDI , 2000 .

[10]  Feng Zhao,et al.  Fault modeling for monitoring and diagnosis of sensor-rich hybrid systems , 2001, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228).

[11]  W. B. Jackson,et al.  Constrained optimization based control of real time large-scale systems: airjet object movement system , 2001, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228).

[12]  James Kurien,et al.  Continuous Measurements and Quantitative Constraints: Challenge Problems for Discrete Modeling Techniques , 2001 .

[13]  Gianfranco Lamperti,et al.  Diagnosis of Large Active Systems , 1999, Artif. Intell..

[14]  Brian C. Williams,et al.  Diagnosing Multiple Faults , 1987, Artif. Intell..

[15]  P. Pandurang Nayak,et al.  A Model-Based Approach to Reactive Self-Configuring Systems , 1996, AAAI/IAAI, Vol. 2.

[16]  Patrick Henry Winston,et al.  The psychology of computer vision , 1976, Pattern Recognit..

[17]  Michael Isard,et al.  A mixed-state condensation tracker with automatic model-switching , 1998, Sixth International Conference on Computer Vision (IEEE Cat. No.98CH36271).

[18]  Thomas A. Henzinger,et al.  Hybrid Systems: Computation and Control , 1998, Lecture Notes in Computer Science.

[19]  Brian C. Williams,et al.  Diagnosis with Behavioral Modes , 1989, IJCAI.

[20]  Laura A. Sanchis,et al.  Multiple-Way Network Partitioning , 1989, IEEE Trans. Computers.

[21]  Gautam Biswas,et al.  Hybrid Systems Diagnosis , 2000, HSCC.

[22]  David J. Fleet,et al.  Probabilistic Detection and Tracking of Motion Boundaries , 2000, International Journal of Computer Vision.

[23]  W. M. Wonham,et al.  Distributed diagnosis for qualitative systems , 2002, Sixth International Workshop on Discrete Event Systems, 2002. Proceedings..

[24]  P. Pandurang Nayak,et al.  Back to the Future for Consistency-Based Trajectory Tracking , 2000, AAAI/IAAI.

[25]  Brian C. Williams,et al.  Mode Estimation of Probabilistic Hybrid Systems , 2002, HSCC.

[26]  Nando de Freitas,et al.  Sequential Monte Carlo Methods in Practice , 2001, Statistics for Engineering and Information Science.

[27]  Stéphane Lafortune,et al.  Coordinated decentralized protocols for failure diagnosis of discrete event systems , 1998, SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.98CH36218).