Modeling and Verification of Cyber-Physical Systems under uncertainty

被引：0
|
作者：
Geng, Shengling [1 ]
Peng, Jiao [2 ]
Li, Ping [3 ]
机构：
[1] Qinghai Normal Univ, Sch Comp, Key Lab IoT Qinghai Prov, Xining 810008, Qinghai, Peoples R China
[2] Qinghai Normal Univ, Sch Comp, Xining 810008, Qinghai, Peoples R China
[3] Shaanxi Normal Univ, Coll Math & Informat Sci, Xian 710062, Shaanxi, Peoples R China
来源：
2017 13TH INTERNATIONAL CONFERENCE ON NATURAL COMPUTATION, FUZZY SYSTEMS AND KNOWLEDGE DISCOVERY (ICNC-FSKD) | 2017年
基金：
美国国家科学基金会;
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Cyber Physical System (CPS) is a hotspot issue which is researched in the current control field for modeling and validation analysis of the complex system. Due to the influence of the uncertain environment on the CPS control dynamic behavior. In this paper, we proposed a possibility spatio-temporal hybrid automata model (PST-hybrid automata) and a formal description language of the CPS software model which is named PoStLTL. Morewhile, the system verification method of the possibility spatio-temporal CPS model is given. Fnally, an example analysis shows this method is valid and describe the verification of CPS on the uncertain environment factors.
引用
收藏
页数：6
相关论文
共 50 条
  • [21] Uncertainty in Coupled Models of Cyber-Physical Systems
    Acosta, Maribel
    Hahner, Sebastian
    Koziolek, Anne
    Kuehn, Thomas
    Mirandola, Raffaela
    Reussner, Ralf
    ACM/IEEE 25TH INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, MODELS 2022 COMPANION, 2022, : 569 - 578
  • [22] Threat modeling in cyber-physical systems
    Fernandez, Eduardo B.
    2016 IEEE 14TH INTL CONF ON DEPENDABLE, AUTONOMIC AND SECURE COMPUTING, 14TH INTL CONF ON PERVASIVE INTELLIGENCE AND COMPUTING, 2ND INTL CONF ON BIG DATA INTELLIGENCE AND COMPUTING AND CYBER SCIENCE AND TECHNOLOGY CONGRESS (DASC/PICOM/DATACOM/CYBERSC, 2016, : 448 - 453
  • [23] Modeling Architectures of Cyber-Physical Systems
    Kusmenko, Evgeny
    Roth, Alexander
    Rumpe, Bernhard
    von Wenckstern, Michael
    MODELLING FOUNDATIONS AND APPLICATIONS, ECMFA 2017, 2017, 10376 : 34 - 50
  • [24] Modeling security in cyber-physical systems
    Burmester, Mike
    Magkos, Ernmanouil
    Chrissikopoulos, Vassilis
    INTERNATIONAL JOURNAL OF CRITICAL INFRASTRUCTURE PROTECTION, 2012, 5 (3-4) : 118 - 126
  • [25] Context modeling for cyber-physical systems
    Daun, Marian
    Tenbergen, Bastian
    JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS, 2023, 35 (07)
  • [26] Challenges in Modeling Cyber-Physical Systems
    Broy, Manfred
    2013 ACM/IEEE INTERNATIONAL CONFERENCE ON INFORMATION PROCESSING IN SENSOR NETWORKS (IPSN), 2013, : 5 - 5
  • [27] Compositional Cyber-Physical Systems Modeling
    Bakirtzis, Georgios
    Vasilakopoulou, Christina
    Fleming, Cody H.
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2021, (333): : 125 - 138
  • [28] A first Cyber-Physical Systems of Systems modeling
    Maurice, Olivier
    2018 13TH ANNUAL CONFERENCE ON SYSTEM OF SYSTEMS ENGINEERING (SOSE), 2018, : 9 - 13
  • [29] Demonstrating BPMN4CPS: modeling and verification of cyber-physical systems
    Graja, Imen
    Mechim, Aicha
    Kallel, Slim
    Guermouche, Nawal
    Kacem, Ahmed Hadj
    2017 14TH IEEE ANNUAL CONSUMER COMMUNICATIONS & NETWORKING CONFERENCE (CCNC), 2017, : 592 - 593
  • [30] Cyber/Physical Co-Verification for Developing Reliable Cyber-Physical Systems
    Zhang, Yu
    Xie, Fei
    Dong, Yunwei
    Zhou, Xingshe
    Ma, Chunyan
    2013 IEEE 37TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), 2013, : 539 - 548
12345