Diagnosis of asynchronous discrete event systems, a net unfolding approach

被引：0
|
作者：
Benveniste, A [1 ]
Fabre, E [1 ]
Jard, C [1 ]
Haar, S [1 ]
机构：
[1] Inst Rech Informat & Syst Aleatoires, F-35042 Rennes, France
来源：
WODES'02: SIXTH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS, PROCEEDINGS | 2002年
关键词：
asynchronous diagnosis; DES; Petri nets; unfoldings; alarm correlation;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper studies diagnosis of asynchronous discrete event systems. We follow a so-called true concurrency approach, in which neither global state nor global time are available. Instead, we use only local states in combination with a partial order model of time; our basic mathematical tool is that of Petri net unfoldings. This study was motivated by the problem of event correlation in telecommunications network management.
引用
收藏
页码：182 / 187
页数：6
相关论文
共 50 条
  • [1] Diagnosis of asynchronous discrete-event systems: A net unfolding approach
    Benveniste, A
    Fabre, E
    Haar, S
    Jard, C
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2003, 48 (05) : 714 - 727
  • [2] Asynchronous Fault Diagnosis of Stochastic Discrete-Event Systems in Industrial Applications
    He, Jiahan
    Wang, Deguang
    Yang, Ming
    Hu, Yuhong
    IEEE SENSORS JOURNAL, 2024, 24 (04) : 4886 - 4898
  • [3] Design and implementation of discrete event control systems: A Petri net based hardware approach
    Bulach, S
    Brauchle, A
    Pfleiderer, HJ
    Kucerovsky, Z
    DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2002, 12 (03): : 287 - 309
  • [4] Design and Implementation of Discrete Event Control Systems: A Petri Net Based Hardware Approach
    S. Bulach
    A. Brauchle
    H.-J. Pfleiderer
    Z. Kucerovsky
    Discrete Event Dynamic Systems, 2002, 12 : 287 - 309
  • [5] Partial order diagnosability of discrete event systems using Petri net unfoldings
    Haar, S
    Benveniste, A
    Fabre, E
    Jard, C
    42ND IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-6, PROCEEDINGS, 2003, : 3748 - 3753
  • [6] An efficient approach for on-line diagnosis of discrete event systems
    Basile, F.
    Chiacchio, P.
    De Tommasi, G.
    2007 MEDITERRANEAN CONFERENCE ON CONTROL & AUTOMATION, VOLS 1-4, 2007, : 1197 - +
  • [7] A Petri net based approach to design well behaved discrete event systems
    Pouyan, AA
    2003 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOLS 1-5, CONFERENCE PROCEEDINGS, 2003, : 292 - 299
  • [8] The Unfolding: Origins, Techniques, and Applications within Discrete Event Systems
    Rouabah, Younes
    Li, Zhiwu
    MATHEMATICS, 2023, 11 (01)
  • [9] Discrete event systems -: An approach to education
    Hrúz, B
    Ondrás, J
    Flochová, J
    ADVANCES IN CONTROL EDUCATION 1997, 1998, : 237 - 242
  • [10] Input Event Modeling for Discrete-Event Controllers: A Petri Net Approach
    Gomes, Luis
    Campos-Rebelo, Rogerio
    Costa, Aniko
    Barros, Joao-Paulo
    CONTROLO 2022, 2022, 930 : 498 - 508
12345