Fault diagnosis in discrete time hybrid systems - A case study

A method of analysing diagnosability of discrete time hybrid systems (DTHS), which are similar to the simple n-rate timed automata [R. Alur, C. Courcoubetis, T.A. Henzinger, P. Ho, Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems, in: Hybrid Systems, LNCS 736, Springer Verlag, 1993, pp. 209-229], has been proposed. A state based fault modeling formalism is used. The properties of the DTHS model, under measurement limitations due to inadequacy or non-availability of sensors, are discussed. A definition of diagnosability for DTHS models has been adopted from the one proposed in [M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, D. Teneketzis, Diagnosability of discrete-event systems, IEEE Transactions on Automatic Control 40 (9) (1995) 1555-1575] for discrete-event system (DES) models. Based on the measurement limited DTHS models, an algorithm for construction of a diagnoser is presented. It is next demonstrated through an example of a chemical reaction chamber that the diagnosability condition (over the diagnoser), which has been shown to be necessary and sufficient for DES diagnosability, fails to hold for many systems. This is so because the abstraction employed in DES modeling obliterates an important feature of the transitions namely fairness. Exploiting the explicit continuous dynamics of the DTHS models, the fairness of transitions is identified and used to demonstrate diagnosability. The diagnosability condition over the diagnoser is suitably modified to encompass the situations typified by the example.

[1]  Shahin Hashtrudi-Zad,et al.  Fault diagnosis in discrete-event systems: incorporating timing information , 2005, IEEE Transactions on Automatic Control.

[2]  Rong Su,et al.  Global and local consistencies in distributed fault diagnosis for discrete-event systems , 2005, IEEE Transactions on Automatic Control.

[3]  Stéphane Lafortune,et al.  Failure diagnosis using discrete event models , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.

[4]  M. Larsson.  Diagnosis and analysis of diagnosis properties using discrete event dynamic systems , 1998, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171).

[5]  Shahin Hashtrudi Zad.  Fault diagnosis in discrete-event and hybrid systems , 1999 .

[6]  W. Wonham,et al.  Supervisory control of timed discrete-event systems , 1994, IEEE Trans. Autom. Control..

[7]  Stéphane Lafortune,et al.  Safe diagnosability for fault-tolerant supervision of discrete-event systems , 2005, Autom..

[8]  Lawrence E. Holloway,et al.  Template languages for fault monitoring of timed discrete event processes , 2000, IEEE Trans. Autom. Control..

[9]  Demosthenis Teneketzis,et al.  Diagnosability of stochastic discrete-event systems , 2005, IEEE Transactions on Automatic Control.

[10]  Gregory Provan,et al.  Model-based diagnosis and control reconfiguration for discrete event systems: an integrated approach , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).

[11]  Anupam Basu,et al.  A framework for inferential problems in DEDS. I. TTM based modeling , 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.

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

[13]  Qiwen Xu,et al.  Rigorous Design of a Fault Diagnosis and Isolation Algorithm , 1997, Hybrid Systems.

[14]  Albert Benveniste,et al.  Diagnosis of asynchronous discrete event systems, a net unfolding approach , 2002, Sixth International Workshop on Discrete Event Systems, 2002. Proceedings..

[15]  Thomas A. Henzinger,et al.  Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems , 1992, Hybrid Systems.

[16]  Stéphane Lafortune,et al.  Coordinated decentralized protocols for failure diagnosis of discrete event systems , 1998, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171).

[17]  Feng Lin,et al.  Theorem of abstraction for equivalent controllers in hybrid systems , 2005, Inf. Sci..

[18]  A. Benveniste,et al.  Diagnosing hybrid dynamical systems: fault graphs, statistical residuals and Viterbi algorithms , 1998, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171).

[19]  Raja Sengupta,et al.  Diagnosability of discrete-event systems , 1995, IEEE Trans. Autom. Control..

[20]  Shahin Hashtrudi-Zad,et al.  Fault diagnosis in discrete-event systems: framework and model reduction , 2003, IEEE Trans. Autom. Control..

[21]  Walter Murray Wonham,et al.  On observability of discrete-event systems , 1988, Inf. Sci..