Uncertainty-aware Simulation of Adaptive Systems

被引:6
作者
Jezequel, Jean-Marc [1 ]
Vallecillo, Antonio [2 ]
机构
[1] Univ Rennes, CNRS, INRIA, Campus Beaulieu, F-35042 Rennes, France
[2] Univ Malaga, ITIS Software, Bulevar Louis Pasteur 35, Malaga 29071, Spain
来源
ACM TRANSACTIONS ON MODELING AND COMPUTER SIMULATION | 2023年 / 33卷 / 03期
关键词
Model-based software engineering; control systems; self-adaptive systems; uncertainty; MODELS;
D O I
10.1145/3589517
中图分类号
TP39 [计算机的应用];
学科分类号
081203 ; 0835 ;
摘要
Adaptive systems manage and regulate the behavior of devices or other systems using control loops to automatically adjust the value of some measured variables to equal the value of a desired set-point. These systems normally interact with physical parts or operate in physical environments, where uncertainty is unavoidable. Traditional approaches to manage that uncertainty use either robust control algorithms that consider bounded variations of the uncertain variables and worst-case scenarios or adaptive control methods that estimate the parameters and change the control laws accordingly. In this article, we propose to include the sources of uncertainty in the system models as first-class entities using random variables to simulate adaptive and control systems more faithfully, including not only the use of random variables to represent and operate with uncertain values but also to represent decisions based on their comparisons. Two exemplar systems are used to illustrate and validate our proposal.
引用
收藏
页数:19
相关论文
共 46 条
[21]   Robustifying Controller Specifications of Cyber-Physical Systems Against Perceptual Uncertainty [J].
Kobayashi, Tsutomu ;
Salay, Rick ;
Hasuo, Ichiro ;
Czarnecki, Krzysztof ;
Ishikawa, Fuyuki ;
Katsumata, Shin-Ya .
NASA FORMAL METHODS (NFM 2021), 2021, 12673 :198-213
[22]   FUZZINESS VS PROBABILITY [J].
KOSKO, B .
INTERNATIONAL JOURNAL OF GENERAL SYSTEMS, 1990, 17 (2-3) :211-240
[23]  
Lebigot E.O., 2016, UNCERTAINTIES PACKAG
[24]  
Lee A., 2013, SOERP UNCERTAINTIES
[25]  
Liu B., 2018, UNCERTAINTY THEORY
[26]   Pre-sampling as an approach for exploiting temporal uncertainty [J].
Loper, ML ;
Fujimoto, RM .
PADS 2000: FOURTEENTH WORKSHOP ON PARALLEL AND DISTRIBUTED SIMULATION, PROCEEDINGS, 2000, :157-164
[27]  
Lugaresi G, 2018, WINT SIMUL C PROC, P3319, DOI 10.1109/WSC.2018.8632542
[28]  
Mahdavi-Hezavehi S, 2017, MANAGING TRADE-OFFS IN ADAPTABLE SOFTWARE ARCHITECTURES, P45, DOI 10.1016/B978-0-12-802855-1.00003-4
[29]  
Ortiz V., 2019, P OCL 19, V2513, P59
[30]  
Principe Matteo, 2020, P ACM SIGSIM PADS IN, P23, DOI [10.1145/3384441.3395984, DOI 10.1145/3384441.3395984]