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 条
  • [31] A Modeling and Verification Method of Cyber-Physical Systems Based on AADL and Process Algebra
    Li, Zhen
    Cao, Zining
    Wang, Fujun
    Xing, Chao
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2024, 34 (01) : 49 - 89
  • [32] Servo robust control of cyber-physical systems with physical uncertainty and cyber interference
    Yu, Rongrong
    Zhao, Xu
    Liu, Mingxin
    Chen, Ye-Hwa
    Tian, Ying
    ISA TRANSACTIONS, 2025, 159 : 55 - 65
  • [33] Distributed Task Management in Cyber-Physical Systems: How to Cooperate Under Uncertainty?
    Maghsudi, Setareh
    van der Schaar, Mihaela
    IEEE TRANSACTIONS ON COGNITIVE COMMUNICATIONS AND NETWORKING, 2019, 5 (01) : 165 - 180
  • [34] A Systematic Mapping Study on the Verification of Cyber-Physical Systems
    Duan, Pengfei
    Zhou, Ying
    Gong, Xufang
    Li, Bixin
    IEEE ACCESS, 2018, 6 : 59043 - 59064
  • [35] Incremental Online Verification of Dynamic Cyber-Physical Systems
    Bu, Lei
    Xing, Shaopeng
    Ren, Xinyue
    Yang, Yang
    Wang, Qixin
    Li, Xuandong
    2019 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE), 2019, : 782 - 787
  • [36] Cyber-Physical Verification of Intermittently Powered Embedded Systems
    Bohrer, Rose
    Islam, Bashima
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2022, 41 (11) : 4361 - 4372
  • [37] A Predictive Runtime Verification Framework for Cyber-Physical Systems
    Yu, Kang
    Chen, Zhenbang
    Dong, Wei
    2014 IEEE EIGHTH INTERNATIONAL CONFERENCE ON SOFTWARE SECURITY AND RELIABILITY - COMPANION (SERE-C 2014), 2014, : 223 - 227
  • [38] Formal Verification of Control Modules in Cyber-Physical Systems
    Grobelna, Iwona
    SENSORS, 2020, 20 (18) : 1 - 23
  • [39] ANALYSIS OF APPROACHES TO THE SIMULATION AND VERIFICATION OF CYBER-PHYSICAL SYSTEMS
    Korotunov, S. U.
    Tabunshchyk, G., V
    RADIO ELECTRONICS COMPUTER SCIENCE CONTROL, 2020, (03) : 57 - 68
  • [40] Runtime Equilibrium Verification for Resilient Cyber-Physical Systems
    Camilli, Matteo
    Mirandola, Raffaela
    Scandurra, Patrizia
    2021 IEEE INTERNATIONAL CONFERENCE ON AUTONOMIC COMPUTING AND SELF-ORGANIZING SYSTEMS (ACSOS 2021), 2021, : 71 - 80
12345