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 条
  • [1] Toward Modeling and Verification of Uncertainty in Cyber-Physical Systems
    Chatterjee, Amrita
    Reza, Hassan
    2020 IEEE INTERNATIONAL CONFERENCE ON ELECTRO INFORMATION TECHNOLOGY (EIT), 2020, : 568 - 576
  • [2] 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,
  • [3] Modeling and verification of temporal properties in Cyber-Physical Systems
    Graja, Imen
    Kallel, Slim
    Guermouche, Nawal
    Kacem, Ahmed Hadj
    2017 14TH IEEE ANNUAL CONSUMER COMMUNICATIONS & NETWORKING CONFERENCE (CCNC), 2017, : 325 - 330
  • [4] Orthogonal Uncertainty Modeling in the Engineering of Cyber-Physical Systems
    Bandyszak, Torsten
    Daun, Marian
    Tenbergen, Bastian
    Kuhs, Patrick
    Wolf, Stefanie
    Weyer, Thorsten
    IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2020, 17 (03) : 1250 - 1265
  • [5] Uncertainty Modeling and Quantitative Evaluation of Cyber-physical Systems
    Yang, Chenchen
    Sun, Haiying
    Liu, Jing
    Kang, Jiexiang
    Yin, Wei
    Wang, Hui
    Li, Tengfei
    2021 IEEE 45TH ANNUAL COMPUTERS, SOFTWARE, AND APPLICATIONS CONFERENCE (COMPSAC 2021), 2021, : 874 - 883
  • [6] Research on Behavior Modeling and Property Verification for Cyber-Physical Systems
    Tuo, Mingfu
    Zhou, Cheng
    Yin, Zhonghai
    Zhao, Xin
    Wang, Lei
    ADVANCES IN INTELLIGENT NETWORKING AND COLLABORATIVE SYSTEMS, INCOS-2017, 2018, 8 : 557 - 562
  • [7] 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
  • [8] Modeling Cyber-Physical Systems
    Derler, Patricia
    Lee, Edward A.
    Vincentelli, Alberto Sangiovanni
    PROCEEDINGS OF THE IEEE, 2012, 100 (01) : 13 - 28
  • [9] Modeling and Verification of Evolving Cyber-Physical Spaces
    Tsigkanos, Christos
    Kehrer, Timo
    Ghezzi, Carlo
    ESEC/FSE 2017: PROCEEDINGS OF THE 2017 11TH JOINT MEETING ON FOUNDATIONS OF SOFTWARE ENGINEERING, 2017, : 38 - 48
  • [10] Modeling and verification based on time automata for medical Cyber-Physical systems
    Tan, Pengliu, 1600, Universidad Central de Venezuela (55):
12345