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 条
  • [21] Challenges in Modeling Cyber-Physical Systems
    Broy, Manfred
    2013 ACM/IEEE INTERNATIONAL CONFERENCE ON INFORMATION PROCESSING IN SENSOR NETWORKS (IPSN), 2013, : 5 - 5
  • [22] A framework for modeling and analyzing cyber-physical systems using statistical model checking
    Alshalalfah, Abdel-Latif
    Mohamed, Otmane Ait
    Ouchani, Samir
    INTERNET OF THINGS, 2023, 22
  • [23] Cyber-Physical Systems
    Letichevsky A.A.
    Letychevskyi O.O.
    Skobelev V.G.
    Volkov V.A.
    Letichevsky, A.A. (aaletichevsky78@gmail.com), 2017, Springer Science and Business Media, LLC (53) : 821 - 834
  • [24] Formal Verification of Control Modules in Cyber-Physical Systems
    Grobelna, Iwona
    SENSORS, 2020, 20 (18) : 1 - 23
  • [25] A Method for Building Trustworthy Hybrid Performance Models for Cyber-Physical Systems of Systems
    Modaber, Mahtab
    Hendriks, Martijn
    Geilen, Marc
    Basten, Twan
    Voeten, Jeroen
    IEEE ACCESS, 2024, 12 : 92733 - 92752
  • [26] Determinism in Cyber-Physical Systems Specified by Interpreted Petri Nets
    Wisniewski, Remigiusz
    Grobelna, Iwona
    Karatkevich, Andrei
    SENSORS, 2020, 20 (19) : 1 - 22
  • [27] A Hybrid Approach to Cyber-Physical Systems Verification
    Kumar, Pratyush
    Goswami, Dip
    Chakraborty, Samarjit
    Annaswamy, Anuradha
    Lampka, Kai
    Thiele, Lothar
    2012 49TH ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2012, : 688 - 696
  • [28] Modeling and analyzing multi-agent behaviors using predicate/transition nets
    Xu, DX
    Volz, RA
    Ioerger, TR
    Yen, J
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2003, 13 (01) : 103 - 124
  • [29] Modeling and Requirements on the Physical Side of Cyber-Physical Systems
    Heimdahl, Mats P. E.
    Duan, Lian
    Murugesan, Anitha
    Rayadurgam, Sanjai
    2013 2ND INTERNATIONAL WORKSHOP ON THE TWIN PEAKS OF REQUIREMENTS AND ARCHITECTURE (TWINPEAKS), 2013, : 1 - 7
  • [30] A comprehensive survey on modeling of cyber-physical systems
    Graja, Imen
    Kallel, Slim
    Guermouche, Nawal
    Cheikhrouhou, Saoussen
    Kacem, Ahmed Hadj
    CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2020, 32 (15)
12345