A Formal Model of Metacontrol in Maude

Juliane Päßler, Esther Aguado, Gustavo Rezende Silva, Silvia Lizeth Tapia Tarifa*, Carlos Hernández Corbato, Einar Broch Johnsen

*Corresponding author for this work

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

2 Citations (Scopus)
6 Downloads (Pure)


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.

Original languageEnglish
Title of host publicationLeveraging Applications of Formal Methods, Verification and Validation. Verification Principles
Subtitle of host publicationProceedings of the 11th International Symposium, ISoLA 2022
EditorsTiziana Margaria, Bernhard Steffen
ISBN (Electronic)978-3-031-19849-6
ISBN (Print)978-3-031-19848-9
Publication statusPublished - 2022
Event11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022 - Rhodes, Greece
Duration: 22 Oct 202230 Oct 2022

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume13701 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022

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.


Dive into the research topics of 'A Formal Model of Metacontrol in Maude'. Together they form a unique fingerprint.

Cite this