Real Time Identification of Time Petri Net Faulty Models

被引：0
|
作者：
Basile, Francesco [1 ]
Chiacchio, Pasquale [1 ]
Coppola, Jolanda [1 ]
机构：
[1] Univ Salerno, Dip Ingn Informaz Ingn Elettr & Matemat Applicata, Fisciano Sa, Italy
来源：
2015 INTERNATIONAL CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING (CASE) | 2015年
关键词：
SYSTEMS;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper considers the problem of the identification of a faulty model for timed discrete event systems when the nominal model is known and a set of faulty observed timed sequences is given. The faulty behavior is modeled by adding fault transitions. The approach works with Time Petri net models and is based on the formulation of a Mixed-Integer Linear Programming Problem.
引用
收藏
页码：280 / 285
页数：6
相关论文
共 50 条
  • [1] Identification of Time Petri Net Models
    Basile, Francesco
    Chiacchio, Pasquale
    Coppola, Jolanda
    [J]. IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2017, 47 (09) : 2586 - 2600
  • [2] Faulty Model identification in deterministic labeled Time Petri nets
    Basile, Francesco
    Chiacchio, Pasquale
    Coppola, Jolanda
    [J]. 2016 13TH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS (WODES), 2016, : 486 - 492
  • [3] Object Enhanced Time Petri Net Models
    Letia, Tiberiu S.
    Al-Janabi, Dahlia
    [J]. 2018 IEEE INTERNATIONAL CONFERENCE ON AUTOMATION, QUALITY AND TESTING, ROBOTICS (AQTR), 2018,
  • [4] Identification of Time Petri Net Models (vol 47, pg 2586, 2017)
    Basile, Francesco
    Chiacchio, Pasquale
    Coppola, Jolanda
    [J]. IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2017, 47 (09): : 2622 - 2623
  • [5] Platform for Unified Enhanced Time Petri Net Models
    Kilyen, Attila Ors
    Letia, Tiberiu S.
    [J]. 2017 13TH IEEE INTERNATIONAL CONFERENCE ON INTELLIGENT COMPUTER COMMUNICATION AND PROCESSING (ICCP), 2017, : 223 - 230
  • [6] Time Series Petri Net Models Enrichment and Prediction
    Solti, Andreas
    Vana, Laura
    Mendling, Jan
    [J]. DATA-DRIVEN PROCESS DISCOVERY AND ANALYSIS, SIMPDA 2015, 2017, 244 : 124 - 141
  • [7] Fault detection based on Petri net models with faulty behaviors
    Ushio, T
    Onishi, I
    Okuda, K
    [J]. 1998 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5, 1998, : 113 - 118
  • [8] Analysis of Real-Time Scheduling Problems by Single Step and Maximal Step Semantics for Time Petri Net Models
    Freitas, Romulo
    Barreto, Raimundo
    Maciel, Paulo
    [J]. 2013 III BRAZILIAN SYMPOSIUM ON COMPUTING SYSTEMS ENGINEERING (SBESC 2013), 2013, : 107 - 112
  • [9] Approximate real-time decision making: Concepts and rough fuzzy Petri net models
    Peters, JF
    Skowron, A
    Suraj, Z
    Pedrycz, W
    Ramanna, S
    [J]. INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS, 1999, 14 (08) : 805 - 839
  • [10] Object Enhanced Real-Time Petri Net Models in Multi-processing Environments
    Cuibus, Octavian
    Al-Janabi, Dahlia
    Letia, Tiberiu
    [J]. 2020 24TH INTERNATIONAL CONFERENCE ON SYSTEM THEORY, CONTROL AND COMPUTING (ICSTCC), 2020, : 349 - 354
12345