论文标题
结合控制理论的混合方法和用于工程自适应系统的AI
A Hybrid Approach Combining Control Theory and AI for Engineering Self-Adaptive Systems
论文作者
论文摘要
控制理论技术已成功地用作自适应系统设计的方法,以提供有关适应机制的有效性和鲁棒性的正式保证。但是,在动态适应方面,获得保证的计算工作构成了严重的限制。为了解决这些局限性,在本文中,我们提出了一种混合方法,将软件工程,控制理论和AI结合起来,以设计软件自适应。我们的解决方案提出了具有性能调整的分层和动态系统管理器。由于高级需求规范与托管系统的内部旋钮行为之间的差距,层次组成的组件架构寻求将关注点分离为动态解决方案。因此,设计了两层自适应管理器,以通过回归分析和进化元元素优化参数优化软件需求。优化依赖于绩效,有效性和鲁棒性指标的收集和处理W.R.T控制离线和在线阶段的理论指标。我们通过医疗领域的身体传感器网络(BSN)的原型评估我们的工作,该领域在很大程度上被社区用作演示者。 BSN是在机器人操作系统(ROS)体系结构下实施的,对系统可靠性的担忧被视为适应目标。我们的结果加强了在这种安全关键领域上表现良好的必要性,并为如何结合控制控制和基于AI的工程技术的技术可以提供有效适应的混合方法做出了大量证据。
Control theoretical techniques have been successfully adopted as methods for self-adaptive systems design to provide formal guarantees about the effectiveness and robustness of adaptation mechanisms. However, the computational effort to obtain guarantees poses severe constraints when it comes to dynamic adaptation. In order to solve these limitations, in this paper, we propose a hybrid approach combining software engineering, control theory, and AI to design for software self-adaptation. Our solution proposes a hierarchical and dynamic system manager with performance tuning. Due to the gap between high-level requirements specification and the internal knob behavior of the managed system, a hierarchically composed components architecture seek the separation of concerns towards a dynamic solution. Therefore, a two-layered adaptive manager was designed to satisfy the software requirements with parameters optimization through regression analysis and evolutionary meta-heuristic. The optimization relies on the collection and processing of performance, effectiveness, and robustness metrics w.r.t control theoretical metrics at the offline and online stages. We evaluate our work with a prototype of the Body Sensor Network (BSN) in the healthcare domain, which is largely used as a demonstrator by the community. The BSN was implemented under the Robot Operating System (ROS) architecture, and concerns about the system dependability are taken as adaptation goals. Our results reinforce the necessity of performing well on such a safety-critical domain and contribute with substantial evidence on how hybrid approaches that combine control and AI-based techniques for engineering self-adaptive systems can provide effective adaptation.