Self-adaptive automata

Borda, Aimee; Koutavas, Vasileios

doi:10.1145/3193992.3194001

Cited by 1 publication

(1 citation statement)

References 34 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The analysis of self-adaptive systems has been addressed using various formal methods. For example, an abstract modelling framework based on automata is introduced in [3], several papers [10,14,21] use (a subclass of) Petri nets to model self-adaptive systems, and a domain specific language has been proposed to support compositional verification of self-adaptive cyber-physical systems [4].…”

Section: Related Workmentioning

confidence: 99%

A Formal Model of Metacontrol in Maude

Päßler

Aguado

Silva

et al. 2022

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles

View full text Add to dashboard Cite

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 selfadaptation, 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.

show abstract