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 条
  • [1] Modeling Cyber Physical Systems with Learning Enabled Components using Hybrid Predicate Transition Nets
    He, Xudong
    2021 21ST INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY COMPANION (QRS-C 2021), 2021, : 1099 - 1108
  • [2] Hybrid Automata for Formal Modeling and Verification of Cyber-Physical Systems
    Krishna, Shankara Narayanan
    Trivedi, Ashutosh
    JOURNAL OF THE INDIAN INSTITUTE OF SCIENCE, 2013, 93 (03) : 419 - 440
  • [3] Formal modeling of cyber-physical systems using object-oriented Petri nets
    Li, Ye
    Wang, Yinghui
    Yu, Zhenhua
    Xi'an Dianzi Keji Daxue Xuebao/Journal of Xidian University, 2014, 41 (02): : 165 - 171
  • [4] Modeling and Analyzing Cyber Physical Systems Using High Level Petri Nets
    He, Xudong
    2018 IEEE 18TH INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY COMPANION (QRS-C), 2018, : 469 - 476
  • [5] Formal modeling and control of cyber-physical manufacturing systems
    Yu, Zhenhua
    Ouyang, Jie
    Li, Sisi
    Peng, Xia
    ADVANCES IN MECHANICAL ENGINEERING, 2017, 9 (10)
  • [6] Modeling and formal analysis of virtually synchronous cyber-physical systems in AADL
    Jaehun Lee
    Kyungmin Bae
    Peter Csaba Ölveczky
    Sharon Kim
    Minseok Kang
    International Journal on Software Tools for Technology Transfer, 2022, 24 : 911 - 948
  • [7] Modeling and Analyzing Smart Contracts using Predicate Transition Nets
    He, Xudong
    COMPANION OF THE 2020 IEEE 20TH INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY, AND SECURITY (QRS-C 2020), 2020, : 108 - 115
  • [8] Modeling and formal analysis of virtually synchronous cyber-physical systems in AADL
    Lee, Jaehun
    Bae, Kyungmin
    Olveczky, Peter Csaba
    Kim, Sharon
    Kang, Minseok
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2022, 24 (06) : 911 - 948
  • [9] Predicate monitoring in distributed cyber-physical systems
    Momtaz, Anik
    Basnet, Niraj
    Abbas, Houssam
    Bonakdarpour, Borzoo
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2023, 25 (04) : 541 - 556
  • [10] Predicate monitoring in distributed cyber-physical systems
    Anik Momtaz
    Niraj Basnet
    Houssam Abbas
    Borzoo Bonakdarpour
    International Journal on Software Tools for Technology Transfer, 2023, 25 : 541 - 556
12345