History

Please fill in your query. A complete syntax description you will find on the General Help page.
Fault diagnosis in discrete time hybrid systems ‒ a case study. (English)
Inf. Sci. 177, No. 5, 1290-1308 (2007).
Summary: A method of analysing diagnosability of discrete time hybrid systems (DTHS), which is similar to the simple $n$-rate timed automata [{\it R. Alur, C. Courcoubetis, T. A. Henzinger}, and {\it P. Ho} , [Hybrid Systems, LNCS 736, Springer Verlag, 209‒229 (1993)], 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 [{\it M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen}, and {\it D. Teneketzis}, IEEE Transactions on Automatic Control 40 (9), 1555‒1575 (1995; Zbl 0839.93072)] 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.