Goal Controller Synthesis for Self-Adaptive Systems
Much like humans, a growing number of software-controlled systems must cope with uncertainty and disruption through self-adaptation. However, while humans achieve this feat by changing both the means through which they pursue their goals and — when unavoidable — the goals themselves, self-adaptive systems are often only using the former adaptation mechanism. In this ‘research ideas’ paper, we argue that exploiting the latter mechanism is equally important, and we propose a new goal modelling paradigm that supports reasoning about goal change, and the use of probabilistic model checking tools to synthesise goal-management control software for self-adaptive systems.
Sun 14 MayDisplayed time zone: Hobart change
11:00 - 12:30
|Goal Controller Synthesis for Self-Adaptive Systems|
|Verifying Binary Neural Networks on Continuous Input Space using Star Reachability|
|Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning|