Poster Abstract: Methods and Tools for Verification of Cyber-Physical Systems

被引：0
|
作者：
Myers, Chris [1 ]
Wu, Jian [1 ]
Zhang, Zhen [1 ]
Zheng, Hao
Zhang, Yingying
机构：
[1] Univ Utah, Salt Lake City, UT 84112 USA
来源：
2012 IEEE/ACM THIRD INTERNATIONAL CONFERENCE ON CYBER-PHYSICAL SYSTEMS (ICCPS 2012) | 2012年
关键词：
D O I：
10.1109/ICCPS.2012.50
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：232 / 232
页数：1
相关论文
共 50 条
  • [1] Poster Abstract: Unifying Modeling Substrate for Irrigation Cyber-Physical Systems
    Hovhannisyan, Davit
    Kurdahi, Fadi
    Eltawil, Ahmed
    Aghakouchak, Amir
    Al Faruque, Mohammad Abdullah
    [J]. 2016 ACM/IEEE 7TH INTERNATIONAL CONFERENCE ON CYBER-PHYSICAL SYSTEMS (ICCPS), 2016,
  • [2] Poster Abstract: Assuring LLM-Enabled Cyber-Physical Systems
    Xu, Weizhe
    Liu, Mengyu
    Drager, Steven
    Anderson, Matthew
    Kong, Fanxin
    [J]. PROCEEDINGS 15TH ACM/IEEE INTERNATIONAL CONFERENCE ON CYBER-PHYSICAL SYSTEMS, ICCPS 2024, 2024, : 287 - 288
  • [3] Engineering Methods and Tools for Cyber-Physical Automation Systems
    Harrison, Robert
    Vera, Daniel
    Ahmad, Bilal
    [J]. PROCEEDINGS OF THE IEEE, 2016, 104 (05) : 973 - 985
  • [4] Demo Abstract: BACHOL - Modeling and Verification of Cyber-Physical Systems Online
    Bu, Lei
    Xie, Dingbao
    Chen, Xin
    Wang, Linzhang
    Li, Xuandong
    [J]. 2012 IEEE/ACM THIRD INTERNATIONAL CONFERENCE ON CYBER-PHYSICAL SYSTEMS (ICCPS 2012), 2012, : 222 - 222
  • [5] Poster Abstract: Modeling, Simulation and Verification Environment for Engineering Cyber-Physical Systems Based on Discrete Event System Specification
    Lee, Hae Young
    Lee, So Jin
    [J]. 2016 ACM/IEEE 7TH INTERNATIONAL CONFERENCE ON CYBER-PHYSICAL SYSTEMS (ICCPS), 2016,
  • [6] Poster Abstract: CoCPN-Sim: An Integrated Simulation Environment for Cyber-Physical Systems
    Jung, Markus
    Rosenthal, Florian
    Zitterbart, Martina
    [J]. 2018 IEEE/ACM THIRD INTERNATIONAL CONFERENCE ON INTERNET-OF-THINGS DESIGN AND IMPLEMENTATION (IOTDI 2020), 2018, : 281 - 282
  • [7] Poster Abstract : A Cyber-physical Middleware Framework for Continuous Monitoring of Water Distribution Systems
    Iqbal, Mudasser
    Lim, Hock Beng
    [J]. SENSYS 09: PROCEEDINGS OF THE 7TH ACM CONFERENCE ON EMBEDDED NETWORKED SENSOR SYSTEMS, 2009, : 401 - 402
  • [8] Simulating Cyber-Physical Energy Systems: Challenges, Tools and Methods
    Palensky, Peter
    Widl, Edmund
    Elsheikh, Atiyah
    [J]. IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2014, 44 (03): : 318 - 326
  • [9] Poster Abstract: A Game Theoretic Approach to Controller Design for Cyber-Physical Systems: Collision Avoidance
    Park, Jaeyong
    Kurt, Arda
    Oezguener, Uemit
    [J]. 2013 ACM/IEEE INTERNATIONAL CONFERENCE ON CYBER-PHYSICAL SYSTEMS (ICCPS), 2013, : 254 - 254
  • [10] Poster: Cyber-Function Virtualization for Mobile Cyber-Physical Systems
    Kim, Sunghwan
    Kim, Yohan
    Lim, Hyuk
    [J]. MOBISYS'16: COMPANION COMPANION PUBLICATION OF THE 14TH ANNUAL INTERNATIONAL CONFERENCE ON MOBILE SYSTEMS, APPLICATIONS, AND SERVICES, 2016, : 136 - 136
12345