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
关键词
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
相关论文
共 50 条
  • [1] Efficient Timed Diagnosis Using Automata with Timed Domains
    Bouyer, Patricia
    Jaziri, Samy
    Markey, Nicolas
    RUNTIME VERIFICATION (RV 2018), 2018, 11237 : 205 - 221
  • [2] Fault diagnosis using timed automata
    Bouyer, P
    Chevalier, F
    D'Souza, D
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, PROCEEDINGS, 2005, 3441 : 219 - 233
  • [3] New approach of diagnosis with hybrid automata
    Olfa, Azzabi
    Ben Njima, Chakib
    Messaoud, Hassani
    2017 INTERNATIONAL CONFERENCE ON CONTROL, AUTOMATION AND DIAGNOSIS (ICCAD), 2017, : 298 - 302
  • [4] A timed automata approach to QoS resolution
    Bordbar, Behzad
    Anane, Rachid
    Okano, Kozo
    International Journal of Simulation: Systems, Science and Technology, 2006, 7 (01): : 46 - 54
  • [5] A game approach to determinize timed automata
    Nathalie Bertrand
    Amélie Stainer
    Thierry Jéron
    Moez Krichen
    Formal Methods in System Design, 2015, 46 : 42 - 80
  • [6] A Game Approach to Determinize Timed Automata
    Bertrand, Nathalie
    Stainer, Amelie
    Jeron, Thierry
    Krichen, Moez
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, 2011, 6604 : 245 - +
  • [7] A game approach to determinize timed automata
    Bertrand, Nathalie
    Stainer, Amelie
    Jeron, Thierry
    Krichen, Moez
    FORMAL METHODS IN SYSTEM DESIGN, 2015, 46 (01) : 42 - 80
  • [8] Diagnosis of timed automata with an application to industrial actuators
    Lunze, J
    Supavatanakul, R
    INTEGRATED COMPUTER-AIDED ENGINEERING, 2004, 11 (01) : 25 - 36
  • [9] A New Method for Transforming Timed Automata
    Khoumsi, Ahmed
    Ouedraogo, Lucien
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 130 : 101 - 128
  • [10] Implementing timed automata specifications: the "sandwich" approach
    Devillers, Raymond
    Didier, Jean-Yves
    Klaudel, Hanna
    2013 13TH INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN (ACSD 2013), 2013, : 226 - 235