Verification and Uncertainties in Self-integrating System

被引：1
|
作者：
Esterle, Lukas [1 ]
Porter, Barry [2 ]
Woodcock, Jim [3 ,4 ]
机构：
[1] Aarhus Univ, DIGIT, Aarhus, Denmark
[2] Univ Lancaster, Sch Comp & Commun, Lancaster, England
[3] Univ York, York, N Yorkshire, England
[4] Aarhus Univ, Aarhus, Denmark
来源：
2021 IEEE INTERNATIONAL CONFERENCE ON AUTONOMIC COMPUTING AND SELF-ORGANIZING SYSTEMS COMPANION (ACSOS-C 2021) | 2021年
基金：
英国工程与自然科学研究理事会;
关键词：
self-integrating systems; verification; self-improving; systems-of-systems; self-assembling; TEMPORAL PROPERTIES;
D O I：
10.1109/ACSOS-C52956.2021.00050
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Self-integrating and self-improving system are required to verify their state in order to understand whether they have achieved their goal or need to adapt themselves to reach it. In this short position paper, we outline the main challenges specifically when verifying systems interacting with each other and operating under uncertainties. A short outline of the uncertainties is given as well as a brief roadmap to overcome the main challenges faced by autonomous interwoven systems, operating in an open world with incomplete knowledge.
引用
收藏
页码：220 / 225
页数：6
相关论文
共 50 条
  • [21] Principles and experiments of voltage transformer based on self-integrating D-dot probe
    He, Wei
    Luo, Ruixi
    Wang, Jingang
    Ran, Peng
    Wang, Quandi
    Hou, Xingzhe
    Zhou, Kongjun
    Zhongguo Dianji Gongcheng Xuebao/Proceedings of the Chinese Society of Electrical Engineering, 2014, 34 (15): : 2445 - 2451
  • [22] Contactless Measurement of Lightning Current Using Self-integrating B-dot Probe
    Yao, Chenguo
    Xiao, Qianbo
    Mi, Yan
    Yuan, Tao
    Li, Chengxiang
    Sima, Wenxia
    IEEE TRANSACTIONS ON DIELECTRICS AND ELECTRICAL INSULATION, 2011, 18 (04) : 1323 - 1327
  • [23] LIMITATIONS OF A SELF-INTEGRATING METHOD FOR SIMULTANEOUS C, H, AND N DETERMINATION BY THERMAL CONDUCTIVITY MEASUREMENT
    CLERC, JT
    SIMON, W
    MICROCHEMICAL JOURNAL, 1963, 7 (04) : 422 - &
  • [24] Two Compact Coaxial Cable Connectors With Self-Integrating Sensors to Measure Nanosecond Pulse Signals
    Zhao, Liang
    Su, Jian-Cang
    Li, Rui
    Yu, Bin-Xiong
    Zeng, Bo
    Cheng, Jie
    Zheng, Lei
    Zhang, Yu
    Xu, Xiu-Dong
    IEEE TRANSACTIONS ON PLASMA SCIENCE, 2018, 46 (10) : 3291 - 3299
  • [25] Design of Self-Integrating Transient Surface Current Density Sensor Integrated Fiber Transmission Link
    Liu, Yifei
    Wu, Wei
    Nie, Xin
    Zhao, Mo
    Wang, Jiaqi
    Wei, Feng
    Wang, Wenbing
    Li, Jinxi
    SENSORS, 2023, 23 (17)
  • [26] Automotive System Design with Specification and Verification of Uncertainties
    Grimm, Christoph
    Dietrich, Manfred
    2008 FORUM ON SPECIFICATION, VERIFICATION AND DESIGN LANGUAGES, 2008, : 233 - +
  • [27] Analysis of damping resistor's effects on pulse response of self-integrating Rogowski coil with magnetic core
    Zhang, Yu
    Liu, Jinliang
    Bai, Guoqiang
    Feng, Jiahuai
    MEASUREMENT, 2012, 45 (05) : 1277 - 1285
  • [28] Non-contact transient high-voltage measurement with self-integrating D-dot probe
    Wang, Jingang
    Yang, Jie
    Luo, Ruixi
    INTERNATIONAL JOURNAL OF APPLIED ELECTROMAGNETICS AND MECHANICS, 2015, 47 (03) : 837 - 845
  • [29] The Elastic Internet of Things - A platform for self-integrating and self-adaptive IoT-systems with support for embedded adaptive hardware
    Burger, Alwyn
    Cichiwskyj, Christopher
    Schmeisser, Stephan
    Schiele, Gregor
    FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, 2020, 113 : 607 - 619
  • [30] Kernel-based fuzzy local information clustering algorithm self-integrating non-local information
    Song, Qiuyu
    Wu, Chengmao
    Tian, Xiaoping
    Song, Yue
    Guo, Xiaokang
    DIGITAL SIGNAL PROCESSING, 2022, 122
12345