Fault Isolation in Network of State Automates

Introduction. In the paper a fault isolation problem in the devices combining digital unit by functional diagnostics methods is considered. Networks of state automates are accepted as mathematical models of the devices. Assumed, that functional diagnostics devices for each network component are preliminarily constructed in an optimal way and they consist of a control automata and of a fault discriminator of unit dimension.

Aim. To develop functional diagnostics method based on theoretical analysis allowing to decide fault isolation problem in networks of state automation and to reduce computational complexity and hardware redundancy.

Materials and methods. An analysis of mathematical description of a network of state automation and functional diagnostics devices for each network component was presented in terms of algebraic theory of functional diagnosis of dynamic systems. A possibility to transform the set of known functional diagnostics devices of the network was demonstrated. The possibility provided a localization of the network component with an error, if the component was unique.

Results. A searching procedure of the analytical equations determining supervision automata and fault discriminator for the whole network was proposed. The case when initial functional diagnostics devices for each network component were defined by scalar functions was considered. The obtained result was generalized to the case, when mentioned devices were defined by vector functions. The application of the described method was demonstrated in the example of construction functional diagnostics devices for simplified fragment of the device for forming priorities of mutual aircraft navigation system.

Conclusion. Estimation of results by an order criterion was obtained. It was established that with an increase in the number of network components, the reduction of intentioned redundancy by functional diagnostics devices compared with the original version increased significantly.

1. Ding S. X. Model-Based Fault Diagnosis Techniques. Design Schemes, Algorithms, and Tools. Berlin, Springer-Verlag, 2008, 479 p. doi: 10.1007/978-3-540-76304-8

2. Jing C. S., Samad L. B. R., Mustafa M., Abdullah N. R. H., Zain Z. M., Pebrianti D. Fault Detection and Isolation for Complex System. Proc. of the 3rd intern. conf. of global network for innovative technology 2016 (3rd IGNITE-2016). Penang, Malaysia, 27–29 Jan. 2016, AIP Conference Proc. 2017, vol. 1865, iss. 1, pp. 9–16. doi: 10.1063/1.4993392

3. Samy I., Gu D. W. Fault Detection and Isolation (FDI). Fault Detection and Flight Data Measurement. 2012, pp. 5–17 (Lecture Notes in Control and Information Sciences. Vol. 419). doi: 10.1007/978-3-642-24052-2_2

4. Li Z., Jaimoukha I. M. Observer-based Fault Detection and Isolation Filter Design for Linear Time-Invariant Systems. Intern. J. of Control. 2009, vol. 82, iss. 1, pp. 171–182. doi: 10.1080/00207170802031528

5. Zhirabok A. N., Shumskij A. E. Diagnosis of Linear Dynamic Systems by Nonparametric Method. Autom. Remote Control. 2017, vol. 78, no. 7 (2017), pp. 1173– 1188 (In Russ.)

6. Zhirabok A.N., Shumskij A.E. Nonparametric Method Diagnosis Nonlinear Dynamical Systems. Autom. Remote Control. 2019, no. 2, pp. 24–45 doi: 10.1134/S0005231019020028 (In Russ.)

7. Zhirabok A. N., Shumsky A. E., Zuev A. V. Sliding Mode Observers for Fault Detection in Linear Dynamic Systems. IFAC-PapersOnLine. 2018, vol. 51, iss. 24, pp. 1403–1408. doi: /10.1016/j.ifacol.2018.09.540

8. Hartmanis J., Stearns R. The Algebraic Structure Theory of Sequential Machines. New York, Prentice Hall, 1966, 211 p.

9. Podkopayev B. P. Algebraicheskaya teoriya funktsional'nogo diagnostirovaniya dinamicheskikh sistem. V 2 ch. Ch. 2: Sistemnye algebry, algebraicheskaya model' funktsional'nogo diagnostirovaniya, realizatsiya modeli funktsional'nogo diagnostirovaniya [Algebraic Theory of Functional Diagnosis of Dynamic Systems. Pt. 2: System Algebras, Algebraic Model of Functional Diagnosis, Realization of the Functional Diagnosis Model]. SPb, Izd-vo SPbGETU "LETI", 2013, 132 p. (In Russ.)

10. Shcherbakov N. S., Podkopayev B. P. Strukturnaya teoriya apparatnogo kontrolya tsifrovykh avtomatov [Structural Theory of Digital Automation Hardware Control] Moscow, Mashinostroyeniye, 1982, 191 p. (In Russ.)

11. Kalman R. Е., Falb P. L., Arbib М. A. Topics in Mathematical System Theory. McGraw Hill Book Co., 1969, 400 р. 12. Glushkov V. M., Sintez tsifrovykh avtomatov [Synthesis of Digital Automation]. Мoscow, Gosudarstvennoye izdatel'stvo fiziko-matematicheskoy literatury, 1962, 476 p. (In Russ.)

12. Podkopayev B. P. Algebraicheskaya teoriya funktsional'nogo diagnostirovaniya dinamicheskikh sistem. CH. 1: Sistemy, diagnostirovaniye sistem, sistemnyye algebry [Algebraic Theory of Functional Diagnosis of Dynamic Systems. Part 1: Systems, Diagnostic Systems, System Algebras]. SPb, Elmor, 2007, 132 p. (In Russ.)

13. Bystrova I. V., Podkopayev B. P. Functional Diagnostics of Digital State Automation Networks Journal of the Russian Universities. Radioelectronics. 2018, no. 2, pp. 12–20. doi: 10.32603/1993-8985-2018-21-2-12-19 (In Russ.)

14. Bystrova I. V., Podkopayev B. P. Diagnostic Modeling of a Network of Digital Machines. Trudy "SAPR i modelirovaniye v sovremennoy elektronike" [Proc. III International Scientific and Practical Conference "CAD/EDA, Modeling and Simulation in the Modern Electronics"]. Bryansk, 2018, pp. 42–46. doi: 10.30987/ conferencearticle_5c19e69f2008d0.90195586 (in Russ.)

15. Tolstyakov V. S. Obnaruzheniye i ispravleniye oshibok v diskretnykh ustroystvakh [Fault Detection and Isolation in Discrete Devices]. Moscow, Sovetskoye radio, 1972, 288 p. (In Russ.)

16. Pukhal'skiy G. I., Novosel'tseva T. Ja. Proyektirovaniye tsifrovykh ustroystv [Design of Digital Devices] SPb., Lan', 2012, 890 p. (In Russ.)