A Formal Model of Metacontrol in Maude
J. Päßler (Universitetet i Oslo)
Esther Aguado (Universidad Politécnica de Madrid)
G. Silva (TU Delft - Robot Dynamics)
Silvia Lizeth Tapia Tarifa (Universitetet i Oslo)
Carlos Hernández Hernandez (TU Delft - Robot Dynamics)
Einar Broch Johnsen (Universitetet i Oslo)
More Info
expand_more
Other than for strictly personal use, it is not permitted to download, forward or distribute the text or part of it, without the consent of the author(s) and/or copyright holder(s), unless the work is under an open content license such as Creative Commons.
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.