New approach of diagnosis by timed automata

被引：5
作者：
Azzabi O. [1 ]
Njima C.B. [1 ]
Messaoud H. [1 ]
机构：
[1] University of Monastir, Research Laboratory of Automatic Signal Processing and Image (LARATSI), National School of Engineers of Monastir (ENIM), Monastir
来源：
International Journal of Ambient Computing and Intelligence | 2017年 / 8卷 / 03期
关键词：
Detection; Diagnosis; Discrete Event System; Localization; Timed Automata;
D O I：
10.4018/IJACI.2017070105
中图分类号：
学科分类号：
摘要：
The Discrete Event Systems (DES) is a nonlinear dynamic system with discrete state and event evolution. In this article, we are interested in the diagnosis of failures with Timed Automata. The proposed approach is based on the operating time and it is applicable to any system whose dynamic evolution depends not only on the order of discrete events but also on their periods as in industrial processes. The most important part of this work is the construction of a diagnoser which uses observables events to detect and locate the faults. We present on the last part of this work results of the study of the performance of the diagnosis showing the power of this diagnostic approach. An implementation on a hydraulic system is made to illustrate the proposed steps. It put in evidence the effectiveness of this approach. The model of the simulation phase is done using Matlab/Simulink/stateflow. Copyright © 2017, IGI Global.
引用
收藏
页码：76 / 93
页数：17
相关论文
共 40 条
  • [1] Alur R., Dill D.L., A theory of timed automata, Theoretical Computer Science, 126, 2, pp. 183-235, (1994)
  • [2] Azzabi O., Ben Njima C., Messaoud H., Diagnosis of a dynamic hybrid system by hybrid timed automata, Proceedings of the 3rd International Conference on Control, Decision and Information Technologies, CoDIT'16, (2016)
  • [3] Behera S.K., Sethy P.K., Khilar P.M., Fault diagnosis in wireless sensor network using timed automata, International Journal of Computer Applications, 29, 7, (2011)
  • [4] Ben Njima C., Azzabi O., Mhamdi L., Messaoud H., Defect diagnostics by timed automata, Proceedings of the International Conference on Automation, Control, Engineering and Computer Science, (ACECS'15), (2015)
  • [5] Ben Njima C., Najah T., Garna T., Output fault detection and estimation based on the ARX-Laguerre model, Journal Européen des Systèmes Automatisés, (2016)
  • [6] Ben Njima C., Najah T., Messaoud H., New fault detection approach for linear MISO systems, Proceedings of the 3rd International Conference on Control, Decision and Information Technologies, CoDIT'16, (2016)
  • [7] Bengtsson J., Yi W., Timed automata: Semantics, algorithms and tools, Lectures on Concurrency and Petri Nets, LNCS, 3098, pp. 87-124, (2004)
  • [8] Bersch S., Azzi D., Khusainov R., Achumba I.E., Artificial immune systems for anomaly detection in ambient assisted living applications, International Journal of Ambient Computing and Intelligence, 5, 3, pp. 1-15, (2013)
  • [9] Bouchemal N., Maamri R., Chihoub M., Securing ambient agents groups by using verification, judgment and surveillance, International Journal of Ambient Computing and Intelligence, 5, 3, pp. 44-60, (2013)
  • [10] Bouyer P., Dufourd C., Fleury E., Petit A., Expressiveness of updatable timed automata, Proc. 25th Int. Symp. Math. Found. Comp. Sci. (MFCS'00), Bratislava, Slovakia, LNCS, 1893, pp. 232-242, (2000)
1234