A Formal Model of Metacontrol in Maude

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 autonomou...

Full description

Saved in:
Bibliographic Details
Main Authors: Päßler, Juliane, Aguado, Esther, Rezende Silva, Gustavo, Tapia Tarifa, Silvia Lizeth, Hernández Corbato, Carlos, Johnsen, Einar Broch
Format: Book Chapter
Language:English
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:0302-9743
1611-3349
DOI:10.1007/978-3-031-19849-6_32