Towards a Unifying Framework for Uncertainty in Cyber-Physical Systems

被引：0
|
作者：
Woodcock, Jim [1 ]
机构：
[1] University of York, York, United Kingdom
来源：
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2023年 / 14165 LNCS卷
关键词：
Compilation and indexing terms; Copyright 2024 Elsevier Inc;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Embedded systems - Robot programming - Semantics
引用
收藏
页码：237 / 253
相关论文
共 50 条
  • [21] Towards Resilient Cyber-Physical Control Systems
    Salles-Loustau, Gabriel
    Zonouz, Saman
    [J]. 2015 IEEE GLOBAL CONFERENCE ON SIGNAL AND INFORMATION PROCESSING (GLOBALSIP), 2015, : 662 - 666
  • [22] Towards Trustworthy Smart Cyber-Physical Systems
    David, M. W.
    Yerkes, C. R.
    Simmons, M. E.
    Franceschini, W.
    [J]. INFORMATION AND COMMUNICATIONS SECURITY, ICICS 2016, 2016, 9977 : 392 - 399
  • [23] Towards a Cyber-Physical Resilience Framework for Smart Grids
    Friedberg, Ivo
    McLaughlin, Kieran
    Smith, Paul
    [J]. INTELLIGENT MECHANISMS FOR NETWORK CONFIGURATION AND SECURITY, 2015, 9122 : 140 - 144
  • [24] Markov Task Network: A Framework for Service Composition under Uncertainty in Cyber-Physical Systems
    Mohammed, Abdul-Wahid
    Xu, Yang
    Hu, Haixiao
    Agyemang, Brighter
    [J]. SENSORS, 2016, 16 (09)
  • [25] 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,
  • [26] 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
  • [27] Understanding Uncertainty in Cyber-Physical Systems: A Conceptual Model
    Zhang, Man
    Selic, Bran
    Ali, Shaukat
    Yue, Tao
    Okariz, Oscar
    Norgren, Roland
    [J]. MODELLING FOUNDATIONS AND APPLICATIONS, ECMFA 2016, 2016, 9764 : 247 - 264
  • [28] Orthogonal Uncertainty Modeling in the Engineering of Cyber-Physical Systems
    Bandyszak, Torsten
    Daun, Marian
    Tenbergen, Bastian
    Kuhs, Patrick
    Wolf, Stefanie
    Weyer, Thorsten
    [J]. IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2020, 17 (03) : 1250 - 1265
  • [29] Uncertainty Modeling and Quantitative Evaluation of Cyber-physical Systems
    Yang, Chenchen
    Sun, Haiying
    Liu, Jing
    Kang, Jiexiang
    Yin, Wei
    Wang, Hui
    Li, Tengfei
    [J]. 2021 IEEE 45TH ANNUAL COMPUTERS, SOFTWARE, AND APPLICATIONS CONFERENCE (COMPSAC 2021), 2021, : 874 - 883
  • [30] Uncertainty-Wise Testing of Cyber-Physical Systems
    Ali, Shaukat
    Lu, Hong
    Wang, Shuai
    Yue, Tao
    Zhang, Man
    [J]. ADVANCES IN COMPUTERS, VOL 107, 2017, 107 : 23 - 94
12345