Diagnosis of discrete event system by stochastic timed automata

被引：0
|
作者：
Zemouri, Ryad
Faure, Jean Marc
机构：
[1] Lab Univ Rech & Prod Automatise, F-94235 Cachan, France
[2] Lab Automatisme Industriel CNAM, F-75013 Paris, France
[3] Supmeca, F-93407 St Ouen, France
来源：
Proceedings of the 2006 IEEE International Conference on Control Applications, Vols 1-4 | 2006年
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
the paper describes a diagnosis method for detecting and identifying faults that occur in a discrete-event system described by a stochastic timed automaton. The proposed diagnosis algorithm is based whether the measured event time sequences are consistent with a stochastic timed discrete event model. The degree of this consistence is given by a continuous diagnosis function. The diagnosis which consists of two parts (fault detection and identification) is then obtained.
引用
收藏
页码：1185 / 1190
页数：6
相关论文
共 50 条
  • [1] Expressivity of Timed Discrete Event Systems and Timed Automata
    Reniers, M. A.
    Tielen, R. L. P.
    IFAC PAPERSONLINE, 2024, 58 (01): : 216 - 221
  • [2] Using Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)
    Mhamdi, L.
    Dhouibi, H.
    Simeu-Abazi, Z.
    Liouane, N.
    INTERNATIONAL JOURNAL OF ENGINEERING, 2014, 27 (01): : 113 - 121
  • [3] Fault diagnosis for Non-Markovian timed stochastic discrete event systems
    Lefebvre, D.
    2017 22ND IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2017,
  • [4] State observation and diagnosis of discrete-event systems described by stochastic automata
    Lunze, J
    Schröder, J
    DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2001, 11 (04): : 319 - 369
  • [5] State Observation and Diagnosis of Discrete-Event Systems Described by Stochastic Automata
    J. Lunze
    J. Schröder
    Discrete Event Dynamic Systems, 2001, 11 : 319 - 369
  • [6] Fault Diagnosis of Timed Discrete Event Systems
    Gao, C.
    Lefebvre, D.
    Seatzu, C.
    Li, Z.
    Giua, A.
    IFAC PAPERSONLINE, 2023, 56 (02): : 9612 - 9617
  • [7] STOCHASTIC TIMED AUTOMATA
    Bertrand, Nathalie
    Bouyer, Patricia
    Brihaye, Thomas
    Menet, Quentin
    Baier, Christel
    Groesser, Marcus
    Jurdzinski, Marcin
    LOGICAL METHODS IN COMPUTER SCIENCE, 2014, 10 (04)
  • [8] Diagnostic of discrete event systems using timed automata in MATLAB SIMULINK
    Simeu-Abazi, Z.
    Gascard, E.
    Chalagiraud, F.
    ADVANCES IN SAFETY, RELIABILITY AND RISK MANAGEMENT, 2012, : 402 - 409
  • [9] Fault Measure of Discrete Event Systems Using Probabilistic Timed Automata
    Huang, Yi-Sheng
    Chiang, Ho-Shan
    Jeng, MuDer
    2011 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS (SMC), 2011, : 1218 - 1223
  • [10] Diagnosis of a class of timed discrete-event systems
    Derbel, Haithem
    Yeddes, Moez
    Ben Hadj-Alouane, Nejib
    Alla, Hassane
    WODES 2006: EIGHTH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS, PROCEEDINGS, 2006, : 256 - +
12345