Title
A Formal Model of Metacontrol in Maude
Author
Päßler, J. (Universitetet i Oslo)
Aguado, Esther (Universidad Politécnica de Madrid)
Rezende Silva, G. (TU Delft Robot Dynamics) ![ORCID 0000-0001-5253-9241 ORCID 0000-0001-5253-9241](/sites/all/themes/tud_repo3/img/icons/orcid_16x16.png)
Tarifa, Silvia Lizeth Tapia (Universitetet i Oslo)
Hernández, Carlos (TU Delft Robot Dynamics) ![ORCID 0000-0001-6094-4917 ORCID 0000-0001-6094-4917](/sites/all/themes/tud_repo3/img/icons/orcid_16x16.png)
Johnsen, Einar Broch (Universitetet i Oslo)
Contributor
Margaria, Tiziana (editor)
Steffen, Bernhard (editor)
Date
2022
Abstract
Nowadays smart applications appear in domains spanning from commodity household applications to advanced underwater robotics. These smart applications require adaptation to dynamic environments, changing requirements and internal system errors Metacontrol takes a systems of systems view on autonomous control systems and self-adaptation, by means of an additional layer of control that manipulates and combines the regular controllers. This paper develops a formal model of a Metacontrol architecture. We formalise this Metacontrol architecture in the context of an autonomous house heating application, enabling different controllers to be dynamically combined in order to meet user requirements to a better extent than the individual controllers in isolation. The formal model is developed in the Maude rewriting system, where we show results comparing different scenarios.
To reference this document use:
http://resolver.tudelft.nl/uuid:14dcfc0a-de1b-48a0-bf43-c41bfc5f80fa
DOI
https://doi.org/10.1007/978-3-031-19849-6_32
Publisher
Springer
Embargo date
2023-07-01
ISBN
978-3-031-19848-9
Source
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: Proceedings of the 11th International Symposium, ISoLA 2022
Event
11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022, 2022-10-22 → 2022-10-30, Rhodes, Greece
Series
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 0302-9743, 13701 LNCS
Bibliographical note
Green Open Access added to TU Delft Institutional Repository 'You share, we take care!' - Taverne project https://www.openaccess.nl/en/you-share-we-take-care Otherwise as indicated in the copyright section: the publisher is the copyright holder of this work and the author uses the Dutch legislation to make this work public.
Part of collection
Institutional Repository
Document type
conference paper
Rights
© 2022 J. Päßler, Esther Aguado, G. Rezende Silva, Silvia Lizeth Tapia Tarifa, Carlos Hernández, Einar Broch Johnsen