We use cookies to improve your experience with our site.

面向自适应系统的马尔可夫决策过程的更新与修复

Meaningful Update and Repair of Markov Decision Processes for Self-Adaptive Systems

  • 摘要: 自适应系统能够根据环境的变化调整自身的行为,并作为网构软件被广泛部署。自适应系统被认为是一种可有效应对不断增长的软件系统复杂性的方法,获得了许多研究关注并涵盖了各种应用,例如,自动小车系统和自适应网络系统。研究人员提出了许多构建自适应系统的方法,而其中基于概率模型(如马尔可夫决策过程,MDP)的方法,是最使用最广泛的方法之一。然而,它们中的大多数没有处理自适应系统底层MDP在新环境下已经过时或对给定属性不满足的问题。这导致从这种MDP中生成的策略不能指导自适应系统正确运行并满足目标。在这篇文章中,我们提出了一种系统化的方法,通过探索新的状态和迁移并删除过时的状态和迁移来更新过时的MDP,并通过以更有意义的方式调整其结构来修复不满足属性的MDP,而不是任意地将迁移概率修改为与现实不符的值。实验结果表明,与原始的MDP相比,通过我们的方法更新和修复的MDP在指导自适应系统的正确运行方面更有效。

     

    Abstract: Self-adaptive systems are able to adjust their behaviour in response to environmental condition changes and are widely deployed as Internetwares. Considered as a promising way to handle the ever-growing complexity of software systems, they have seen an increasing level of interest and are covering a variety of applications, e.g., autonomous car systems and adaptive network systems. Many approaches for the construction of self-adaptive systems have been developed, and probabilistic models, such as Markov decision processes (MDPs), are one of the favoured. However, the majority of them do not deal with the problems of the underlying MDP being obsolete under new environments or unsatisfactory to the given properties. This results in the generated policies from such MDP failing to guide the self-adaptive system to run correctly and meet goals. In this article, we propose a systematic approach to updating an obsolete MDP by exploring new states and transitions and removing obsolete ones, and repairing an unsatisfactory MDP by adjusting its structure in a more meaningful way rather than arbitrarily changing the transition probabilities to values not in line with reality. Experimental results show that the MDPs updated and repaired by our approach are more competent in guiding the self-adaptive systems' correct running compared with the original ones.

     

/

返回文章
返回