Uncertainty-aware Simulation of Adaptive Systems

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.

[1]  Deepali Kholkar,et al.  Learning to Adapt – Software Engineering for Uncertainty , 2022, ISEC.

[2]  Gabriel A. Wainer,et al.  Uncertainty on Discrete-Event System Simulation , 2022, ACM Trans. Model. Comput. Simul..

[3]  A WainerGabriel,et al.  Uncertainty on Discrete-Event System Simulation , 2022 .

[4]  Rick Salay,et al.  Robustifying Controller Specifications of Cyber-Physical Systems Against Perceptual Uncertainty , 2021, NFM.

[5]  Antonio Vallecillo,et al.  Uncertainty representation in software models: a survey , 2021, Software and Systems Modeling.

[6]  Glenn Shafer,et al.  A Mathematical Theory of Evidence , 2020, A Mathematical Theory of Evidence.

[7]  Andrea Piccione,et al.  Approximated Rollbacks , 2020, SIGSIM-PADS.

[8]  Antonio Vallecillo,et al.  Incorporating measurement uncertainty into OCL/UML primitive datatypes , 2019, Software and Systems Modeling.

[9]  Andrea Matta,et al.  REAL-TIME SIMULATION IN MANUFACTURING SYSTEMS: CHALLENGES AND RESEARCH DIRECTIONS , 2018, 2018 Winter Simulation Conference (WSC).

[10]  Martin Gogolla,et al.  Achieving model quality through model validation, verification and exploration , 2017, Comput. Lang. Syst. Struct..

[11]  B. D. Finetti,et al.  Theory of Probability: A Critical Introductory Treatment , 2017 .

[12]  Bran Selic,et al.  Understanding Uncertainty in Cyber-Physical Systems: A Conceptual Model , 2016, ECMFA.

[13]  Enlu Zhou,et al.  Risk Quantification in Stochastic Simulation under Input Uncertainty , 2015, ACM Trans. Model. Comput. Simul..

[14]  Thomas Vogel,et al.  Software Engineering Meets Control Theory , 2015, 2015 IEEE/ACM 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems.

[15]  Danny Weyns,et al.  A Classification Framework of Uncertainty in Architecture-Based Self-Adaptive Systems with Multiple Quality Requirements , 2015 .

[16]  Bradley R. Schmerl,et al.  Architecture-based self-protection: composing and reasoning about denial-of-service mitigations , 2014, HotSoS '14.

[17]  E. G. Kaigom,et al.  Mental Models for Intelligent Systems: eRobotics Enables New Approaches to Simulation-Based AI , 2014, KI - Künstliche Intelligenz.

[18]  Shailendra Jain,et al.  Adaptive Control Schemes for Improving the Control System Dynamics: A Review , 2014 .

[19]  David Garlan,et al.  Software engineering in an uncertain world , 2010, FoSER '10.

[20]  Michael B. Gordy,et al.  Nested Simulation in Portfolio Risk Measurement , 2008 .

[21]  Gabriel A. Wainer,et al.  Rational time-advance DEVS (RTA-DEVS) , 2010, SpringSim.

[22]  Francesco Quaglia,et al.  Controlling Bias in Optimistic Simulations with Space Uncertain Events , 2008, 2008 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications.

[23]  Martin Gogolla,et al.  USE: A UML-based specification environment for validating UML and OCL , 2007, Sci. Comput. Program..

[24]  Baoding Liu,et al.  Uncertainty Theory - A Branch of Mathematics for Modeling Human Uncertainty , 2011, Studies in Computational Intelligence.

[25]  Russell C. H. Cheng,et al.  Calculation of confidence intervals for simulation output , 2004, TOMC.

[26]  Roberto Beraldi,et al.  Space uncertain simulation events: some concepts and an application to optimistic synchronization , 2004, 18th Workshop on Parallel and Distributed Simulation, 2004. PADS 2004..

[27]  Heinz Unbehauen,et al.  Adaptive dual control systems: a survey , 2000, Proceedings of the IEEE 2000 Adaptive Systems for Signal Processing, Communications, and Control Symposium (Cat. No.00EX373).

[28]  Richard M. Fujimoto,et al.  Pre-sampling as an approach for exploiting temporal uncertainty , 2000, Proceedings Fourteenth Workshop on Parallel and Distributed Simulation.

[29]  Richard M. Fujimoto,et al.  Exploiting temporal uncertainty in parallel and distributed simulations , 1999, Proceedings Thirteenth Workshop on Parallel and Distributed Simulation. PADS 99. (Cat. No.PR00155).

[30]  Henri Prade,et al.  Fuzzy sets and probability: misunderstandings, bridges and gaps , 1993, [Proceedings 1993] Second IEEE International Conference on Fuzzy Systems.

[31]  B. Kosko Fuzziness vs. probability , 1990 .

[32]  Hans-Jürgen Zimmermann,et al.  Fuzzy Set Theory - and Its Applications , 1985 .

[33]  Björn Wittenmark,et al.  Stochastic adaptive control methods: a survey , 1975 .

[34]  W. Feller An Introduction to Probability Theory and Its Applications , 1959 .

[35]  Artificial Intelligence A Modern Approach 3rd Edition , 2021 .

[36]  Martin Gogolla,et al.  Native Support for UML and OCL Primitive Datatypes Enriched with Uncertainty in USE , 2019, OCL@MoDELS.

[37]  Sam Malek,et al.  Uncertainty in Self-Adaptive Software Systems , 2010, Software Engineering for Self-Adaptive Systems.

[38]  N. Filatov,et al.  Survey of adaptive dual control methods , 2000 .