A hybrid model for efficient decision-making in self-adaptive systems

Weyns, 2017, Perpetual assurances for self-adaptive systems, 31 Lemos, 2013, Software engineering for self-adaptive systems: A second research roadmap, 1 Kephart, 2003, The vision of autonomic computing, Computer, 36, 41, 10.1109/MC.2003.1160055 Iftikhar, 2017, Deltaiot: A self-adaptive internet of things exemplar, 76 Kamel, 2021, SLA-driven modeling and verifying cloud systems: A bigraphical reactive systems-based approach, Comput. Stand. Interfaces, 74, 10.1016/j.csi.2020.103483 Liu, 2019, A survey on security verification of blockchain smart contracts, IEEE Access, 7, 77894, 10.1109/ACCESS.2019.2921624 Carl, 1962 Chiachio, 2019, Plausible Petri nets as self-adaptive expert systems: A tool for infrastructure asset monitoring, Comput.-Aided Civ. Infrastruct. Eng., 34, 281, 10.1111/mice.12427 Taleb-Berrouane, 2020, Bayesian stochastic Petri nets (BSPN) - A new modelling tool for dynamic safety and reliability analysis, Reliab. Eng. Syst. Saf., 193, 10.1016/j.ress.2019.106587 International Standard ISO/IEC 15909, 2002, High-level Petri nets - concepts, definitions and graphical notation, Final Draft Int. Stand. ISO/IEC, 15909, 1 Baez, 2020, Open Petri nets, Math. Struct. Comput. Sci., 30, 314, 10.1017/S0960129520000043 Sajja, 2021, Introduction to artificial intelligence, 1 Van Der Donckt, 2020, Applying deep learning to reduce large adaptation spaces of self-adaptive systems with multiple types of goals, 20 Chiachio, 2018, A new paradigm for uncertain knowledge representation by plausible Petri nets, Inform. Sci., 453, 323, 10.1016/j.ins.2018.04.029 Chiachio, 2017, An information theoretic approach for knowledge representation using Petri nets, 165 Rus, 2016, Logical inference for inverse problems, Inverse Probl. Sci. Eng., 24, 448, 10.1080/17415977.2015.1047361 Géron, 2019 Hackeling, 2017 Kwiatkowska, 2011, PRISM 4.0: Verification of probabilistic real-time systems, 585 Cámara, 2020, Quantitative verification-aided machine learning: A tandem approach for architecting self-adaptive IoT systems, 11 Kitchenham, 2009, Systematic literature reviews in software engineering–A systematic literature review, Inf. Softw. Technol., 51, 7, 10.1016/j.infsof.2008.09.009 D. Weyns, S. Malek, J. Andersson, FORMS: A formal reference model for self-adaptation, in: Proceedings of the 7th International Conference on Autonomic Computing, 2010, pp. 205–214. Bartels, 2011, A CSP-based framework for the specification, verification, and implementation of adaptive systems, 158 Lanoix, 2011, Combining proof and model-checking to validate reconfigurable architectures, Electron. Notes Theor. Comput. Sci., 279, 43, 10.1016/j.entcs.2011.11.011 D.B. Abeywickrama, N. Hoch, F. Zambonelli, SimSOTA: Engineering and simulating feedback loops for self-adaptive systems, in: Proceedings of the International C* Conference on Computer Science and Software Engineering, 2013, pp. 67–76. M.U. Iftikhar, D. Weyns, Activforms: Active formal models for self-adaptation, in: Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2014, pp. 125–134. Djoudi, 2014, Model checking pervasive context-aware systems, 92 Ding, 2016, Modeling self-adaptive software systems with learning Petri nets, IEEE Trans. Syst., Man, Cybern.: Syst., 46, 483, 10.1109/TSMC.2015.2433892 Hachicha, 2016, A correct by construction approach for modeling and formalizing self-adaptive systems, 379 Gatouillat, 2017, Qos-driven self-adaptation for critical IoT-based systems, 93 Z. Ding, 2018, Modeling self-adaptive software systems by fuzzy rules and Petri nets, IEEE Trans. Fuzzy Syst., 26, 967, 10.1109/TFUZZ.2017.2700286 Camilli, 2018, A high-level petri net-based formal model of distributed self-adaptive systems, 40:1 Aradea, 2018, Self-adaptive software modeling based on contextual requirements, Hasil Reviewer Arcaini, 2019, A pattern-oriented design framework for self-adaptive software systems, 166 Silva, 2019, A new requirements engineering approach for manufacturing based on Petri nets, IFAC-PapersOnLine, 52, 97, 10.1016/j.ifacol.2019.10.006 Metzger, 2020, Feature model-guided online reinforcement learning for self-adaptive services, 269 Zavala, 2020, HAFLoop: An architecture for supporting highly adaptive feedback loops in self-adaptive systems, Future Gener. Comput. Syst., 105, 607, 10.1016/j.future.2019.12.026 Camilli, 2021, Formal specification and verification of decentralized self-adaptive systems using symmetric nets, Discrete Event Dyn. Syst., 31, 609, 10.1007/s10626-021-00343-3 Abeywickrama, 2012, Model checking goal-oriented requirements for self-adaptive systems, 33 Filieri, 2013, Probabilistic verification at runtime for self-adaptive systems, 30 Camilli, 2015, Specifying and verifying real-time self-adaptive systems, 303 Iglesia, 2015, MAPE-K formal templates to rigorously design behaviors for self-adaptive systems, ACM Trans. Auton/ Adapt. Syst. (TAAS), 10, 1, 10.1145/2724719 Hachicha, 2016, Modeling and verifying self-adaptive systems: A refinement approach, 003967 Buttar, 2018 Jamshidi, 2019, Machine learning meets quantitative planning: Enabling self-adaptation in autonomous robots, 39 Aizawa, 2019, Analysis space reduction with state merging for ensuring safety properties of self-adaptive systems, 1363 Cicirelli, 2019, Formal modelling and verification of real-time self-adaptive systems, 1 Shevtsov, 2019, SimCA: A control-theoretic approach to handle uncertainty in self-adaptive systems with guarantees, ACM Trans. Auton. Adapt. Syst., 13, 17:1 Quin, 2019, Efficient analysis of large adaptation spaces in self-adaptive systems using machine learning, 1 Nia, 2020, Probabilistic approximation of runtime quantitative verification in self-adaptive systems, Microprocess. Microsyst., 72 Stevens, 2020, Reducing run-time adaptation space via analysis of possible utility bounds, 1522 Diallo, 2021, Adaptation space reduction using an explainable framework, 1653 Alasmari, 2022, Quantitative verification with adaptive uncertainty reduction, J. Syst. Softw., 10.1016/j.jss.2022.111275 Arcaini, 2017, Formal design and verification of self-adaptive systems with decentralized control, ACM Trans. Auton. Adapt. Syst. (TAAS), 11, 1, 10.1145/3019598 Bu, 2012, Coordinated self-configuration of virtual machines and appliances using a model-free learning approach, IEEE Trans. Parallel Distrib. Syst., 24, 681 Weyns, 2019 Kachi, 2020 Weyns, 2012, Forms: Unifying reference model for formal specification of distributed self-adaptive systems, ACM Trans. Auton. Adapt. Syst. (TAAS), 7, 1, 10.1145/2168260.2168268 Tomforde, 2011, Observation and control of organic systems, 325