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
    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.
    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
    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
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2017, 27 (9-10) : 1361 - 1386
  • [5] Towards Collaborative Cyber-Physical Systems
    Nazarenko, Artem A.
    Camarinha-Matos, Luis M.
    2017 INTERNATIONAL YOUNG ENGINEERS FORUM (YEF-ECE), 2017, : 12 - 17
  • [6] Towards Robustness for Cyber-Physical Systems
    Tabuada, Paulo
    Caliskan, Sina Yamac
    Rungger, Matthias
    Majumdar, Rupak
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2014, 59 (12) : 3151 - 3163
  • [7] Uncertainty in Coupled Models of Cyber-Physical Systems
    Acosta, Maribel
    Hahner, Sebastian
    Koziolek, Anne
    Kuehn, Thomas
    Mirandola, Raffaela
    Reussner, Ralf
    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
    NEW TRENDS IN MODEL AND DATA ENGINEERING (MEDI 2018), 2018, 929 : 115 - 129
  • [9] 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
  • [10] Towards Sustainable Cyber-Physical Manufacturing Systems
    Brennan, Robert W.
    Lyu, Guolin
    IFAC PAPERSONLINE, 2024, 58 (03): : 345 - 350
12345