Hybrid Predicate Transition Nets - A Formal Method for Modeling and Analyzing Cyber-Physical Systems

被引：3
作者：
He, Xudong [1 ]
Alam, Dewan Mohammad Moksedul [1 ]
机构：
[1] Florida Int Univ, Sch Comp & Informat Sci, Miami, FL 33199 USA
来源：
2019 IEEE 19TH INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY (QRS 2019) | 2019年
关键词：
formal methods; high-level Petri nets; hybrid Petri nets; hybrid automata; cyber-physical systems; hybrid systems;
D O I：
10.1109/QRS.2019.00038
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Cyber-physical systems are complex systems with hybrid behaviors. In this paper, hybrid predicate transition nets (HPrTNs) are proposed for modeling and analyzing cyber-physical systems. HPrTNs are formally defined and their relationships to hybrid automata are shown. Important features of HPrTNs including continuous places, differential equations for defining token evolution, and net composition are discussed. The applicability of HPrTNs is demonstrated through several well-known benchmark hybrid systems.
引用
收藏
页码：216 / 227
页数：12
相关论文
共 50 条
  • [31] On modeling of electrical cyber-physical systems considering cyber security
    Wang, Yi-nan
    Lin, Zhi-yun
    Liang, Xiao
    Xu, Wen-yuan
    Yang, Qiang
    Yan, Gang-feng
    FRONTIERS OF INFORMATION TECHNOLOGY & ELECTRONIC ENGINEERING, 2016, 17 (05) : 465 - 478
  • [32] On modeling of electrical cyber-physical systems considering cyber security
    Yi-nan WANG
    Zhi-yun LIN
    Xiao LIANG
    Wen-yuan XU
    Qiang YANG
    Gang-feng YAN
    Frontiers of Information Technology & Electronic Engineering, 2016, 17 (05) : 465 - 478
  • [33] Modeling Cyber-Physical Systems for Automatic Verification
    Driouich, Youssef
    Parente, Mimmo
    Tronci, Enrico
    2017 14TH INTERNATIONAL CONFERENCE ON SYNTHESIS, MODELING, ANALYSIS AND SIMULATION METHODS AND APPLICATIONS TO CIRCUIT DESIGN (SMACD), 2017,
  • [34] Modeling Future Cyber-Physical Energy Systems
    Illic, Marija D.
    Xie, Le
    Khan, Usman A.
    Moura, Jose M. F.
    2008 IEEE POWER & ENERGY SOCIETY GENERAL MEETING, VOLS 1-11, 2008, : 2397 - +
  • [35] On modeling of electrical cyber-physical systems considering cyber security
    Yi-nan Wang
    Zhi-yun Lin
    Xiao Liang
    Wen-yuan Xu
    Qiang Yang
    Gang-feng Yan
    Frontiers of Information Technology & Electronic Engineering, 2016, 17 : 465 - 478
  • [36] Cyber-physical modeling and simulation: A reference architecture for designing demonstrators for industrial cyber-physical systems
    Oks, Sascha Julian
    Jalowski, Max
    Fritzsche, Albrecht
    Moeslein, Kathrin M.
    29TH CIRP DESIGN CONFERENCE 2019, 2019, 84 : 257 - 264
  • [37] Using Formal Concept Analysis for Control in Cyber-Physical Systems
    Klimes, Jiri
    24TH DAAAM INTERNATIONAL SYMPOSIUM ON INTELLIGENT MANUFACTURING AND AUTOMATION, 2013, 2014, 69 : 1518 - 1522
  • [38] Using Formal Methods to Specify Data-Driven Cyber-Physical Systems
    Conradi Hoffmann, Jose Luis
    Horstmann, Leonardo Passig
    Wagner, Matheus
    Vieira, Felipe
    de Lucena, Mateus Martinez
    Frohlich, Antonio Augusto
    2022 IEEE 31ST INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS (ISIE), 2022, : 643 - 648
  • [39] Analyzing Chronological Order Reconstruction Problem in Cyber-Physical Systems
    Guo, An
    Gai, Rongli
    Yu, Dong
    Hu, Yi
    2017 IEEE 19TH INTERNATIONAL CONFERENCE ON E-HEALTH NETWORKING, APPLICATIONS AND SERVICES (HEALTHCOM), 2017,
  • [40] A Formal Approach to Cyber-Physical Attacks
    Lanotte, Ruggero
    Merro, Massimo
    Muradore, Riccardo
    Vigano, Luca
    2017 IEEE 30TH COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF), 2017, : 436 - 450
12345