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 条
  • [1] A unifying specification logic for cyber-physical systems
    Bujorianu, Marius C.
    Bujorianu, Manuela L.
    Barringer, Howard
    [J]. MED: 2009 17TH MEDITERRANEAN CONFERENCE ON CONTROL & AUTOMATION, VOLS 1-3, 2009, : 1166 - 1171
  • [2] Towards the Integration of Modern Power Systems into a Cyber-Physical Framework
    Konstantopoulos, George C.
    Alexandridis, Antonio T.
    Papageorgiou, Panos C.
    [J]. ENERGIES, 2020, 13 (09)
  • [3] Ensure: Towards Reliable Control of Cyber-Physical Systems Under Uncertainty
    Yang, Wenhua
    Xu, Chang
    Pan, Minxue
    Zhou, Yu
    Huang, Zhiqiu
    [J]. IEEE TRANSACTIONS ON RELIABILITY, 2023, 72 (01) : 289 - 301
  • [4] A Framework for Developing Cyber-Physical Systems
    He, Xudong
    Dong, Zhijiang
    Yin, Heng
    Fu, Yujian
    [J]. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2017, 27 (9-10) : 1361 - 1386
  • [5] Towards Robustness for Cyber-Physical Systems
    Tabuada, Paulo
    Caliskan, Sina Yamac
    Rungger, Matthias
    Majumdar, Rupak
    [J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2014, 59 (12) : 3151 - 3163
  • [6] Towards Collaborative Cyber-Physical Systems
    Nazarenko, Artem A.
    Camarinha-Matos, Luis M.
    [J]. 2017 INTERNATIONAL YOUNG ENGINEERS FORUM (YEF-ECE), 2017, : 12 - 17
  • [7] Uncertainty in Coupled Models of Cyber-Physical Systems
    Acosta, Maribel
    Hahner, Sebastian
    Koziolek, Anne
    Kuehn, Thomas
    Mirandola, Raffaela
    Reussner, Ralf
    [J]. ACM/IEEE 25TH INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, MODELS 2022 COMPANION, 2022, : 569 - 578
  • [8] Towards a Requirements Engineering Approach for Capturing Uncertainty in Cyber-Physical Systems Environment
    Ahmad, Manzoor
    Gnaho, Christophe
    Bruel, Jean-Michel
    Laleau, Regine
    [J]. NEW TRENDS IN MODEL AND DATA ENGINEERING (MEDI 2018), 2018, 929 : 115 - 129
  • [9] Towards Sustainable Cyber-Physical Manufacturing Systems
    Brennan, Robert W.
    Lyu, Guolin
    [J]. IFAC PAPERSONLINE, 2024, 58 (03): : 345 - 350
  • [10] Towards a Compositional Multi-Modal Framework for Adaptive Cyber-Physical Systems
    Phan, Linh T. X.
    Lee, Insup
    [J]. 2011 IEEE 17TH INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS (RTCSA 2011), VOL 2, 2011, : 67 - 73
12345