Modeling Cyber-Physical Systems for Automatic Verification

被引：0
|
作者：
Driouich, Youssef [1 ]
Parente, Mimmo [2 ]
Tronci, Enrico [3 ]
机构：
[1] Univ Salerno, Dip Ingn Informaz Elettr & Matemat Applicata DIEM, Salerno, Italy
[2] Univ Salerno, Dip Sci Stat & Innovat Syst DISA MIS, Salerno, Italy
[3] Univ Roma La Sapienza, Dip Informat, Rome, Italy
来源：
2017 14TH INTERNATIONAL CONFERENCE ON SYNTHESIS, MODELING, ANALYSIS AND SIMULATION METHODS AND APPLICATIONS TO CIRCUIT DESIGN (SMACD) | 2017年
关键词：
Cyber-Physical Systems; Modeling; Simulation; Automatic Formal Verification; System Analysis and Design; DMPPT; Photovoltaic systems;
D O I：
暂无
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
In this paper we show how the open standard modeling language Modelica can be effectively used to support model-based design and verification of cyber-physical systems stemming from complex power electronics systems. To this end we present a Modelica model for a Distributed Maximum Power Point Tracking system along with model validation results.
引用
收藏
页数：4
相关论文
共 50 条
  • [1] Modeling and Verification of Cyber-Physical Systems under uncertainty
    Geng, Shengling
    Peng, Jiao
    Li, Ping
    [J]. 2017 13TH INTERNATIONAL CONFERENCE ON NATURAL COMPUTATION, FUZZY SYSTEMS AND KNOWLEDGE DISCOVERY (ICNC-FSKD), 2017,
  • [2] Toward Modeling and Verification of Uncertainty in Cyber-Physical Systems
    Chatterjee, Amrita
    Reza, Hassan
    [J]. 2020 IEEE INTERNATIONAL CONFERENCE ON ELECTRO INFORMATION TECHNOLOGY (EIT), 2020, : 568 - 576
  • [3] Modeling and verification of temporal properties in Cyber-Physical Systems
    Graja, Imen
    Kallel, Slim
    Guermouche, Nawal
    Kacem, Ahmed Hadj
    [J]. 2017 14TH IEEE ANNUAL CONSUMER COMMUNICATIONS & NETWORKING CONFERENCE (CCNC), 2017, : 325 - 330
  • [4] Research on Behavior Modeling and Property Verification for Cyber-Physical Systems
    Tuo, Mingfu
    Zhou, Cheng
    Yin, Zhonghai
    Zhao, Xin
    Wang, Lei
    [J]. ADVANCES IN INTELLIGENT NETWORKING AND COLLABORATIVE SYSTEMS, INCOS-2017, 2018, 8 : 557 - 562
  • [5] Hybrid Automata for Formal Modeling and Verification of Cyber-Physical Systems
    Krishna, Shankara Narayanan
    Trivedi, Ashutosh
    [J]. JOURNAL OF THE INDIAN INSTITUTE OF SCIENCE, 2013, 93 (03) : 419 - 440
  • [6] Automatic Verification of Control Software in Cyber-Physical Systems with Plant Simulators
    Lyakh, T. V.
    Zyubin, V. E.
    Garanina, N. O.
    [J]. OPTOELECTRONICS INSTRUMENTATION AND DATA PROCESSING, 2019, 55 (02) : 189 - 197
  • [7] Automatic Verification of Control Software in Cyber-Physical Systems with Plant Simulators
    T. V. Lyakh
    V. E. Zyubin
    N. O. Garanina
    [J]. Optoelectronics, Instrumentation and Data Processing, 2019, 55 : 189 - 197
  • [8] Modeling Cyber-Physical Systems
    Derler, Patricia
    Lee, Edward A.
    Vincentelli, Alberto Sangiovanni
    [J]. PROCEEDINGS OF THE IEEE, 2012, 100 (01) : 13 - 28
  • [9] Modeling and Verification of Evolving Cyber-Physical Spaces
    Tsigkanos, Christos
    Kehrer, Timo
    Ghezzi, Carlo
    [J]. ESEC/FSE 2017: PROCEEDINGS OF THE 2017 11TH JOINT MEETING ON FOUNDATIONS OF SOFTWARE ENGINEERING, 2017, : 38 - 48
  • [10] Egocentric abstractions for modeling and safety verification of distributed cyber-physical systems
    Jeon, Sung Woo
    Mitra, Sayan
    [J]. 2021 IEEE SYMPOSIUM ON SECURITY AND PRIVACY WORKSHOPS (SPW 2021), 2021, : 268 - 276
12345