Jean-Marc Jézéquel
Antonio Vallecillo
Skip Abstract Section
Abstract
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] . 1971. Editorial on the LQG problem. IEEE Trans. Autom. Contr. 16, 6 (1971), 528.Google Scholar
Cross Ref
- [2] . 2016. OpenTURNS: An Industrial Software for Uncertainty Quantification in Simulation. Springer, 1–38.
DOI: . https://openturns.github.io/.Google ScholarCross Ref - [3] . 2020. Incorporating measurement uncertainty into OCL/UML primitive datatypes. Softw. Syst. Model. 19, 5 (2020), 1163–1189.
DOI: Google ScholarDigital Library
- [4] . 2004. Calculation of confidence intervals for simulation output. ACM Trans. Model. Comput. Simul. 14, 4 (
October 2004), 344–362.DOI: Google ScholarDigital Library - [5] . 2017. Theory of Probability: A Critical Introductory Treatment. John Wiley & Sons.Google ScholarCross Ref
- [6] . 1993. Fuzzy sets and probability: Misunderstandings, bridges and gaps. In Proceedings of the IEEE Conference on Fuzzy Systems. IEEE, 1059–1068.
DOI: Google ScholarCross Ref - [7] . 2013. Uncertainty in self-adaptive software systems. In Software Engineering for Self-Adaptive Systems II.
LNCS , Vol. 7475. Springer, 214–238.Google ScholarCross Ref - [8] . 2008. An Introduction to Probability Theory and Its Applications. Wiley.Google Scholar
- [9] . 2000. Survey of adaptive dual control methods. IEEE Proc. Contr. Theory Appl. 147, 1 (2000), 118–128.
DOI: Google ScholarCross Ref - [10] . 2015. Software engineering meets control theory. In Proceedings of the International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS’15). IEEE Computer Society, 71–82.
DOI: Google ScholarDigital Library - [11] . 1999. Exploiting temporal uncertainty in parallel and distributed simulations. In Proceedings of the International Conference on Principles of Advanced Discrete Simulation (PADS’99). IEEE Computer Society, 46–53.
DOI: Google ScholarCross Ref - [12] . 2010. Software engineering in an uncertain world. In Proceedings of the Future of Software Engineering Research (FoSER’10). 125–128.
DOI: Google ScholarDigital Library - [13] . 2008. Controlling bias in optimistic simulations with space uncertain events. In Proceedings of the IEEE/ACM 25th International Symposium on Distributed Simulation and Real Time Applications (DS-RT’08). IEEE Computer Society, 157–164.
DOI: Google ScholarDigital Library - [14] . 2007. USE: A UML-based specification environment for validating UML and OCL. Sci. Comput. Program. 69, 1-3 (2007), 27–34.
DOI: Google ScholarDigital Library - [15] . 2018. Achieving model quality through model validation, verification and exploration. Comput. Lang. Syst. Struct. 54 (
December 2018), 474–511.DOI: Google ScholarDigital Library - [16] . 2010. Nested simulation in portfolio risk measurement. Manage. Sci. 56 (
August 2010), 1833–1848.DOI: Google ScholarDigital Library - [17] . 2015. IEEE Standard for Interval Arithmetic. Retrieved from https://standards.ieee.org/ieee/1788/4431/.Google Scholar
- [18] . 2008. Evaluation of Measurement Data—Guide to the Expression of Uncertainty in Measurement (GUM). Joint Com. for Guides in Metrology. http://www.bipm.org/utils/common/documents/jcgm/JCGM_100_2008_E.pdf.Google Scholar
- [19] . 2022. Learning to adapt—Software engineering for uncertainty. In Proceedings of the International Solvent Extraction Conference (ISEC’22). ACM, 21:1–21:5.
DOI: Google ScholarDigital Library - [20] . 2021. Robustifying controller specifications of cyber-physical systems against perceptual uncertainty. In Proceedings of the NASA Formal Methods Symposium (NFM’21),
LNCS , Vol. 12673. Springer, 198–213.DOI: Google ScholarDigital Library - [21] . 1990. Fuzziness vs. probability. Int. J. Gen. Syst. 17, 2–3 (1990), 211–240.
DOI: Google ScholarCross Ref - [22] . 2016. Uncertainties Package. Retrieved May 30, 2022 from https://pythonhosted.org/uncertainties/.Google Scholar
- [23] . 2013. SOERP Uncertainties Package. Retrieved May 30, 2022 from https://pypi.org/project/soerp/.Google Scholar
- [24] . 2018. Uncertainty Theory (5th ed.). Springer.Google Scholar
- [25] . 2000. Pre-sampling as an approach for exploiting temporal uncertainty. In Proceedings of the International Conference on Principles of Advanced Discrete Simulation (PADS’00). IEEE Computer Society, 157–164.
DOI: Google ScholarCross Ref - [26] . 2018. Real-time simulation in manufacturing systems: Challenges and research directions. In Proceedings of the Winter Simulation Conference (WSC’18). IEEE, 3319–3330.
DOI: Google ScholarCross Ref - [27] . 2017. A Classification Framework of Uncertainty in Architecture-Based Self-Adaptive Systems With Multiple Quality Requirements. Morgan Kaufmann, Boston, 45–77.
DOI: Google ScholarCross Ref - [28] . 2014. Object Constraint Language (OCL) Specification. Version 2.4.
OMG Document formal/2014-02-03 .Google Scholar - [29] . 2019. Native support for UML and OCL primitive datatypes enriched with uncertainty in USE. In Proceedings of the International Workshop in OCL and Textual Modeling (OCL 2019) co-located with IEEE/ACM 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS 2019),
CEUR Workshop Proceedings , Vol. 2513. 59–66.Google Scholar - [30] . 2020. Approximated rollbacks. In Proceedings of the ACM SIGSIM-PADS. International Conference on Principles of Advanced Discrete Simulation (SIGSIM-PADS’20). ACM, 23–33.
DOI: Google ScholarDigital Library - [31] . 2004. Space uncertain simulation events: Some concepts and an application to optimistic synchronization. In Proceedings of the International Conference on Principles of Advanced Discrete Simulation (PADS’04). IEEE Computer Society, 181–188.
DOI: Google ScholarCross Ref - [32] . 2014. Mental models for intelligent systems: eRobotics enables new approaches to simulation-based AI. Künstl. Intell. 28, 2 (2014), 101–110.
DOI: Google ScholarCross Ref - [33] . 2010. Artificial Intelligence. A Modern Approach (3rd ed.). Prentice Hall.Google Scholar
- [34] . 2010. Rational time-advance DEVS (RTA-DEVS). In Proceedings of the Spring Simulation Multi-conference (SpringSim’10). SCS/ACM, 143:1–143:8.
DOI: Google ScholarDigital Library - [35] . 2014. Architecture-based self-protection: Composing and reasoning about denial-of-service mitigations. In Proceedings of the 5th Annual Symposium and Bootcamp on Hot Topics in the Science of Security (HotSoS’14). ACM, 2:1–2:12.
DOI: Google ScholarDigital Library - [36] . 1976. A Mathematical Theory of Evidence. Princeton University Press.Google ScholarCross Ref
- [37] . 2014. Adaptive control schemes for improving the control system dynamics: A review. IETE Techn. Rev. 31, 1 (2014), 17–33.
DOI: Google ScholarCross Ref - [38] . 2021. Uncertainty representation in software models: A survey. Softw. Syst. Model. 20, 4 (2021), 1183–1213.
DOI: Google ScholarDigital Library - [39] . 2000. Adaptive dual control systems: A survey. In Proceedings of the IEEE Adaptive Systems for Signal Processing, Communications, and Control Symposium (AS-SPCC’00). IEEE, 171–180.
DOI: Google ScholarCross Ref - [40] . 2022. Uncertainty on discrete-event system simulation. ACM Trans. Model. Comput. Simul. 32, 1 (2022), 2:1–2:27.
DOI: Google ScholarDigital Library - [41] . List of uncertainty propagation software. https://en.wikipedia.org/wiki/List_of_uncertainty_propagation_software.Google Scholar
- [42] . 1975. Stochastic adaptive control methods: A survey. Int. J. Contr. 21, 5 (1975), 705–730.
DOI: Google ScholarCross Ref - [43] . 2018. Theory of Modeling and Design: Discrete Event and Iterative System Computational Foundations (3rd ed.). Academic Press.Google Scholar
- [44] . 2016. Understanding Uncertainty in Cyber-Physical Systems: A Conceptual Model. In Proceedings of the 12th European Conference on Modelling Foundations and Applications (ECMFA’16), Vol. 9764. Springer, 247–264.
DOI: Google ScholarDigital Library - [45] . 2020. Risk quantification in stochastic simulation under input uncertainty. ACM Trans. Model. Comput. Simul. 30, 1 (
February 2020), 1:1–1:24.DOI: Google ScholarDigital Library - [46] . 2001. Fuzzy Set Theory—And Its Applications. Springer Science+Business Media.Google ScholarCross Ref
Index Terms
- Uncertainty-aware Simulation of Adaptive Systems
Recommendations
Uncertainty in Self-adaptive Systems: A Research Community Perspective
One of the primary drivers for self-adaptation is ensuring that systems achieve their goals regardless of the uncertainties they face during operation. Nevertheless, the concept of uncertainty in self-adaptive systems is still insufficiently understood. ...
A guide to design uncertainty-aware self-adaptive components in Cyber–Physical Systems
AbstractCyber–physical systems (CPS) need to be designed to deal with various forms of uncertainties associated with data contributing to the system’s knowledge and its belief of the environment. Dealing with uncertainties requires adopting ...
Highlights- Provide an overview of challenges and uncertainties in EU project demonstrators.
Dealing with Uncertainty: A Survey of Theories and Practices
Uncertainty accompanies our life processes and covers almost all fields of scientific studies. Two general categories of uncertainty, namely, aleatory uncertainty and epistemic uncertainty, exist in the world. While aleatory uncertainty refers to the ...
Comments