首页 > 最新文献

ACM Transactions on Autonomous and Adaptive Systems最新文献

英文 中文
Decision Making for Self-adaptation based on Partially Observable Satisfaction of Non-Functional Requirements 基于部分可观测的非功能性需求满足情况的自适应决策
IF 2.7 4区 计算机科学 Q3 COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE Pub Date : 2024-02-09 DOI: 10.1145/3643889
Luis Garcia, Huma Samin, Nelly Bencomo

Approaches that support the decision-making of self-adaptive and autonomous systems (SAS) often consider an idealized situation where (i) the system’s state is treated as fully observable by the monitoring infrastructure, and (ii) adaptation actions are assumed to have known, deterministic effects over the system. However, in practice, the system’s state may not be fully observable, and the adaptation actions may produce unexpected effects due to uncertain factors. This paper presents a novel probabilistic approach to quantify the uncertainty associated with the effects of adaptation actions on the state of a SAS. Supported by Bayesian inference and POMDPs (Partially-Observable Markov Decision Processes), these effects are translated into the satisfaction levels of the non-functional requirements (NFRs) to, therefore, drive the decision-making. The approach has been applied to two substantial case studies from the networking and Internet of Things (IoT) domains, using two different POMDP solvers. The results show that the approach delivers statistically significant improvements in supporting decision-making for SAS.

支持自适应和自主系统(SAS)决策的方法通常会考虑一种理想化的情况,即:(i) 系统的状态被视为可被监控基础设施完全观测到;(ii) 适应行动被假定对系统产生已知的、确定性的影响。然而,在实际情况中,系统状态可能并非完全可观测,适应行动也可能因不确定因素而产生意想不到的效果。本文提出了一种新颖的概率方法,用于量化适应行动对系统状态影响的不确定性。在贝叶斯推理和 POMDP(部分可观测马尔可夫决策过程)的支持下,这些影响被转化为非功能需求(NFR)的满足程度,从而驱动决策。该方法已应用于网络和物联网(IoT)领域的两个重要案例研究,并使用了两个不同的 POMDP 求解器。结果表明,该方法在支持 SAS 决策方面取得了统计意义上的显著改进。
{"title":"Decision Making for Self-adaptation based on Partially Observable Satisfaction of Non-Functional Requirements","authors":"Luis Garcia, Huma Samin, Nelly Bencomo","doi":"10.1145/3643889","DOIUrl":"https://doi.org/10.1145/3643889","url":null,"abstract":"<p>Approaches that support the decision-making of self-adaptive and autonomous systems (SAS) often consider an idealized situation where (i) the system’s state is treated as fully observable by the monitoring infrastructure, and (ii) adaptation actions are assumed to have known, deterministic effects over the system. However, in practice, the system’s state may not be fully observable, and the adaptation actions may produce unexpected effects due to uncertain factors. This paper presents a novel probabilistic approach to quantify the uncertainty associated with the effects of adaptation actions on the state of a SAS. Supported by Bayesian inference and POMDPs (Partially-Observable Markov Decision Processes), these effects are translated into the satisfaction levels of the non-functional requirements (NFRs) to, therefore, drive the decision-making. The approach has been applied to two substantial case studies from the networking and Internet of Things (IoT) domains, using two different POMDP solvers. The results show that the approach delivers statistically significant improvements in supporting decision-making for SAS.</p>","PeriodicalId":50919,"journal":{"name":"ACM Transactions on Autonomous and Adaptive Systems","volume":"75 1","pages":""},"PeriodicalIF":2.7,"publicationDate":"2024-02-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139767620","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Faster MIL-based Subgoal Identification for Reinforcement Learning by Tuning Fewer Hyperparameters 通过调整更少的超参数,更快地识别基于 MIL 的强化学习子目标
IF 2.7 4区 计算机科学 Q3 COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE Pub Date : 2024-02-05 DOI: 10.1145/3643852
Saim Sunel, Erkin Çilden, Faruk Polat

Various methods have been proposed in the literature for identifying subgoals in discrete reinforcement learning (RL) tasks. Once subgoals are discovered, task decomposition methods can be employed to improve the learning performance of agents. In this study, we classify prominent subgoal identification methods for discrete RL tasks in the literature into the following three categories: graph-based, statistics-based, and multi-instance learning (MIL)-based. As contributions, firstly, we introduce a new MIL-based subgoal identification algorithm called EMDD-RL and experimentally compare it with a previous MIL-based method. The previous approach adapts MIL’s Diverse Density (DD) algorithm, whereas our method considers Expected-Maximization Diverse Density (EMDD). The advantage of EMDD over DD is that it can yield more accurate results with less computation demand thanks to the expectation-maximization algorithm. EMDD-RL modifies some of the algorithmic steps of EMDD to identify subgoals in discrete RL problems. Secondly, we evaluate the methods in several RL tasks for the hyperparameter tuning overhead they incur. Thirdly, we propose a new RL problem called key-room and compare the methods for their subgoal identification performances in this new task. Experiment results show that MIL-based subgoal identification methods could be preferred to the algorithms of the other two categories in practice.

文献中提出了各种方法来识别离散强化学习(RL)任务中的子目标。一旦发现了子目标,就可以采用任务分解方法来提高代理的学习性能。在本研究中,我们将文献中著名的离散强化学习任务子目标识别方法分为以下三类:基于图的方法、基于统计的方法和基于多实例学习(MIL)的方法。作为贡献,我们首先介绍了一种新的基于 MIL 的子目标识别算法 EMDD-RL,并将其与之前的一种基于 MIL 的方法进行了实验比较。之前的方法采用了 MIL 的多样性密度 (DD) 算法,而我们的方法则考虑了期望最大化多样性密度 (EMDD)。与 DD 相比,EMDD 的优势在于,由于采用了期望最大化算法,它能以更少的计算需求获得更准确的结果。EMDD-RL 修改了 EMDD 的部分算法步骤,以识别离散 RL 问题中的子目标。其次,我们在多个 RL 任务中评估了这些方法的超参数调整开销。第三,我们提出了一个名为 "key-room "的新 RL 问题,并比较了这些方法在这个新任务中的子目标识别性能。实验结果表明,在实际应用中,基于 MIL 的子目标识别方法优于其他两类算法。
{"title":"Faster MIL-based Subgoal Identification for Reinforcement Learning by Tuning Fewer Hyperparameters","authors":"Saim Sunel, Erkin Çilden, Faruk Polat","doi":"10.1145/3643852","DOIUrl":"https://doi.org/10.1145/3643852","url":null,"abstract":"<p>Various methods have been proposed in the literature for identifying subgoals in discrete reinforcement learning (RL) tasks. Once subgoals are discovered, task decomposition methods can be employed to improve the learning performance of agents. In this study, we classify prominent subgoal identification methods for discrete RL tasks in the literature into the following three categories: graph-based, statistics-based, and multi-instance learning (MIL)-based. As contributions, firstly, we introduce a new MIL-based subgoal identification algorithm called EMDD-RL and experimentally compare it with a previous MIL-based method. The previous approach adapts MIL’s Diverse Density (DD) algorithm, whereas our method considers Expected-Maximization Diverse Density (EMDD). The advantage of EMDD over DD is that it can yield more accurate results with less computation demand thanks to the expectation-maximization algorithm. EMDD-RL modifies some of the algorithmic steps of EMDD to identify subgoals in discrete RL problems. Secondly, we evaluate the methods in several RL tasks for the hyperparameter tuning overhead they incur. Thirdly, we propose a new RL problem called key-room and compare the methods for their subgoal identification performances in this new task. Experiment results show that MIL-based subgoal identification methods could be preferred to the algorithms of the other two categories in practice.</p>","PeriodicalId":50919,"journal":{"name":"ACM Transactions on Autonomous and Adaptive Systems","volume":"91 1","pages":""},"PeriodicalIF":2.7,"publicationDate":"2024-02-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139767745","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Self-Governing Hybrid Societies and Deception 自治的混合社会与欺骗
IF 2.7 4区 计算机科学 Q3 COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE Pub Date : 2024-01-09 DOI: 10.1145/3638549
Ștefan Sarkadi

Self-governing hybrid societies are multi-agent systems where humans and machines interact by adapting to each other’s behaviour. Advancements in Artificial Intelligence (AI) have brought an increasing hybridisation of our societies, where one particular type of behaviour has become more and more prevalent, namely deception. Deceptive behaviour as the propagation of disinformation can have negative effects on a society’s ability to govern itself. However, self-governing societies have the ability to respond to various phenomena. In this paper we explore how they respond to the phenomenon of deception from an evolutionary perspective considering that agents have limited adaptation skills. Will hybrid societies fail to govern deceptive behaviour and reach a Tragedy of The Digital Commons? Or will they manage to avoid it through cooperation? How resilient are they against large-scale deceptive attacks? We provide a tentative answer to some of these questions through the lens of evolutionary agent-based modelling, based on the scientific literature on deceptive AI and public goods games.

自我管理的混合社会是人类和机器通过适应彼此的行为进行互动的多代理系统。人工智能(AI)的进步使我们的社会日益混合化,其中一种特殊的行为变得越来越普遍,那就是欺骗。传播虚假信息这种欺骗行为会对社会的自我治理能力产生负面影响。然而,自治社会有能力应对各种现象。考虑到代理人的适应能力有限,本文将从进化的角度探讨他们如何应对欺骗现象。混合社会是否会因为无法控制欺骗行为而陷入 "数字公地悲剧"?还是会通过合作避免悲剧的发生?它们抵御大规模欺骗性攻击的能力如何?我们以欺骗性人工智能和公共物品博弈的科学文献为基础,通过基于进化代理的建模视角,对其中一些问题给出了初步答案。
{"title":"Self-Governing Hybrid Societies and Deception","authors":"Ștefan Sarkadi","doi":"10.1145/3638549","DOIUrl":"https://doi.org/10.1145/3638549","url":null,"abstract":"<p>Self-governing hybrid societies are multi-agent systems where humans and machines interact by adapting to each other’s behaviour. Advancements in Artificial Intelligence (AI) have brought an increasing hybridisation of our societies, where one particular type of behaviour has become more and more prevalent, namely deception. Deceptive behaviour as the propagation of disinformation can have negative effects on a society’s ability to govern itself. However, self-governing societies have the ability to respond to various phenomena. In this paper we explore how they respond to the phenomenon of deception from an evolutionary perspective considering that agents have limited adaptation skills. Will hybrid societies fail to govern deceptive behaviour and reach a Tragedy of The Digital Commons? Or will they manage to avoid it through cooperation? How resilient are they against large-scale deceptive attacks? We provide a tentative answer to some of these questions through the lens of evolutionary agent-based modelling, based on the scientific literature on deceptive AI and public goods games.</p>","PeriodicalId":50919,"journal":{"name":"ACM Transactions on Autonomous and Adaptive Systems","volume":"40 1","pages":""},"PeriodicalIF":2.7,"publicationDate":"2024-01-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139414188","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Dealing with Drift of Adaptation Spaces in Learning-based Self-Adaptive Systems using Lifelong Self-Adaptation 利用终身自适应技术处理基于学习的自适应系统中的适应空间漂移问题
IF 2.7 4区 计算机科学 Q3 COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE Pub Date : 2023-12-13 DOI: 10.1145/3636428
Omid Gheibi, Danny Weyns

Recently, machine learning (ML) has become a popular approach to support self-adaptation. ML has been used to deal with several problems in self-adaptation, such as maintaining an up-to-date runtime model under uncertainty and scalable decision-making. Yet, exploiting ML comes with inherent challenges. In this paper, we focus on a particularly important challenge for learning-based self-adaptive systems: drift in adaptation spaces. With adaptation space, we refer to the set of adaptation options a self-adaptive system can select from to adapt at a given time based on the estimated quality properties of the adaptation options. A drift of adaptation spaces originates from uncertainties, affecting the quality properties of the adaptation options. Such drift may imply that the quality of the system may deteriorate, eventually, no adaptation option may satisfy the initial set of adaptation goals, or adaptation options may emerge that allow enhancing the adaptation goals. In ML, such a shift corresponds to a novel class appearance, a type of concept drift in target data that common ML techniques have problems dealing with. To tackle this problem, we present a novel approach to self-adaptation that enhances learning-based self-adaptive systems with a lifelong ML layer. We refer to this approach as lifelong self-adaptation. The lifelong ML layer tracks the system and its environment, associates this knowledge with the current learning tasks, identifies new tasks based on differences, and updates the learning models of the self-adaptive system accordingly. A human stakeholder may be involved to support the learning process and adjust the learning and goal models. We present a general architecture for lifelong self-adaptation and apply it to the case of drift of adaptation spaces that affects the decision-making in self-adaptation. We validate the approach for a series of scenarios with a drift of adaptation spaces using the DeltaIoT exemplar.

最近,机器学习(ML)已成为支持自适应的一种流行方法。机器学习已被用于处理自适应中的几个问题,如在不确定情况下保持最新的运行时模型和可扩展的决策。然而,利用 ML 也会遇到固有的挑战。在本文中,我们将重点讨论基于学习的自适应系统所面临的一个特别重要的挑战:适应空间的漂移。所谓适应空间,是指自适应系统在给定时间内,根据对适应选项质量属性的估计,从中选择适应选项的集合。适应空间的漂移源于不确定性,会影响适应选项的质量属性。这种漂移可能意味着系统的质量可能会下降,最终可能没有任何适应选项能满足最初的适应目标,或者出现的适应选项能提高适应目标。在 ML 中,这种转变相当于新类别的出现,是目标数据中概念漂移的一种类型,普通 ML 技术在处理这种漂移时会遇到问题。为了解决这个问题,我们提出了一种新的自适应方法,通过终身 ML 层来增强基于学习的自适应系统。我们将这种方法称为终身自适应。终身 ML 层跟踪系统及其环境,将这些知识与当前的学习任务联系起来,根据差异确定新任务,并相应地更新自适应系统的学习模型。人类利益相关者可以参与其中,为学习过程提供支持,并调整学习和目标模型。我们提出了终身自我适应的一般架构,并将其应用于适应空间漂移的情况,这种漂移会影响自我适应的决策。我们利用三角洲物联网示例,在适应空间漂移的一系列场景中验证了该方法。
{"title":"Dealing with Drift of Adaptation Spaces in Learning-based Self-Adaptive Systems using Lifelong Self-Adaptation","authors":"Omid Gheibi, Danny Weyns","doi":"10.1145/3636428","DOIUrl":"https://doi.org/10.1145/3636428","url":null,"abstract":"<p>Recently, machine learning (ML) has become a popular approach to support self-adaptation. ML has been used to deal with several problems in self-adaptation, such as maintaining an up-to-date runtime model under uncertainty and scalable decision-making. Yet, exploiting ML comes with inherent challenges. In this paper, we focus on a particularly important challenge for learning-based self-adaptive systems: drift in adaptation spaces. With adaptation space, we refer to the set of adaptation options a self-adaptive system can select from to adapt at a given time based on the estimated quality properties of the adaptation options. A drift of adaptation spaces originates from uncertainties, affecting the quality properties of the adaptation options. Such drift may imply that the quality of the system may deteriorate, eventually, no adaptation option may satisfy the initial set of adaptation goals, or adaptation options may emerge that allow enhancing the adaptation goals. In ML, such a shift corresponds to a novel class appearance, a type of concept drift in target data that common ML techniques have problems dealing with. To tackle this problem, we present a novel approach to self-adaptation that enhances learning-based self-adaptive systems with a lifelong ML layer. We refer to this approach as <i>lifelong self-adaptation</i>. The lifelong ML layer tracks the system and its environment, associates this knowledge with the current learning tasks, identifies new tasks based on differences, and updates the learning models of the self-adaptive system accordingly. A human stakeholder may be involved to support the learning process and adjust the learning and goal models. We present a general architecture for lifelong self-adaptation and apply it to the case of drift of adaptation spaces that affects the decision-making in self-adaptation. We validate the approach for a series of scenarios with a drift of adaptation spaces using the DeltaIoT exemplar.</p>","PeriodicalId":50919,"journal":{"name":"ACM Transactions on Autonomous and Adaptive Systems","volume":"30 1","pages":""},"PeriodicalIF":2.7,"publicationDate":"2023-12-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138581549","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
NEPTUNE: a Comprehensive Framework for Managing Serverless Functions at the Edge 海王星:管理边缘无服务器功能的综合框架
IF 2.7 4区 计算机科学 Q3 COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE Pub Date : 2023-12-04 DOI: 10.1145/3634750
Luciano Baresi, Davide Yi Xian Hu, Giovanni Quattrocchi, Luca Terracciano

Applications that are constrained by low-latency requirements can hardly be executed on cloud infrastructures, given the high network delay required to reach remote servers. Multi-access Edge Computing (MEC) is the reference architecture for executing applications on nodes that are located close to users (i.e., at the edge of the network). This way, the network overhead is reduced but new challenges emerge. The resources available on edge nodes are limited, workloads fluctuate since users can rapidly change location, and complex tasks are becoming widespread (e.g., machine learning inference). To address these issues, this article presents NEPTUNE, a serverless-based framework that automates the management of large-scale MEC infrastructures. In particular, NEPTUNE provides i) the placement of serverless functions on MEC nodes according to users’ location, ii) the resolution of resource contention scenarios by avoiding that single nodes be saturated, and iii) the dynamic allocation of CPUs and GPUs to meet foreseen execution times. To assess NEPTUNE, we built a prototype based on K3S, an edge-dedicated version of Kubernetes, and executed a comprehensive set of experiments. Results show that NEPTUNE obtains a significant reduction in terms of response time, network overhead, and resource consumption compared to five state-of-the-art solutions.

考虑到到达远程服务器所需的高网络延迟,受低延迟要求限制的应用程序几乎无法在云基础设施上执行。多访问边缘计算(MEC)是在靠近用户(即网络边缘)的节点上执行应用程序的参考体系结构。这样可以减少网络开销,但也会出现新的挑战。边缘节点上可用的资源是有限的,由于用户可以快速更改位置,工作负载会波动,并且复杂的任务变得越来越普遍(例如,机器学习推理)。为了解决这些问题,本文介绍了NEPTUNE,这是一个基于无服务器的框架,可以自动管理大型MEC基础设施。特别是,NEPTUNE提供i)根据用户位置在MEC节点上放置无服务器功能,ii)通过避免单个节点饱和来解决资源争用场景,以及iii)动态分配cpu和gpu以满足预期的执行时间。为了评估NEPTUNE,我们基于K3S构建了一个原型,K3S是Kubernetes的边缘专用版本,并执行了一组全面的实验。结果表明,与五种最先进的解决方案相比,NEPTUNE在响应时间、网络开销和资源消耗方面显著降低。
{"title":"NEPTUNE: a Comprehensive Framework for Managing Serverless Functions at the Edge","authors":"Luciano Baresi, Davide Yi Xian Hu, Giovanni Quattrocchi, Luca Terracciano","doi":"10.1145/3634750","DOIUrl":"https://doi.org/10.1145/3634750","url":null,"abstract":"<p>Applications that are constrained by low-latency requirements can hardly be executed on cloud infrastructures, given the high network delay required to reach remote servers. Multi-access Edge Computing (MEC) is the reference architecture for executing applications on nodes that are located close to users (i.e., at the <i>edge</i> of the network). This way, the network overhead is reduced but new challenges emerge. The resources available on edge nodes are limited, workloads fluctuate since users can rapidly change location, and complex tasks are becoming widespread (e.g., machine learning inference). To address these issues, this article presents <i>NEPTUNE</i>, a serverless-based framework that automates the management of large-scale MEC infrastructures. In particular, <i>NEPTUNE</i> provides i) the placement of serverless functions on MEC nodes according to users’ location, ii) the resolution of resource contention scenarios by avoiding that single nodes be saturated, and iii) the dynamic allocation of CPUs and GPUs to meet foreseen execution times. To assess <i>NEPTUNE</i>, we built a prototype based on K3S, an edge-dedicated version of Kubernetes, and executed a comprehensive set of experiments. Results show that <i>NEPTUNE</i> obtains a significant reduction in terms of response time, network overhead, and resource consumption compared to five state-of-the-art solutions.</p>","PeriodicalId":50919,"journal":{"name":"ACM Transactions on Autonomous and Adaptive Systems","volume":" 5","pages":""},"PeriodicalIF":2.7,"publicationDate":"2023-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138493294","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Predicting Nonfunctional Requirement Violations in Autonomous Systems 预测自治系统中的非功能需求违反
4区 计算机科学 Q3 COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE Pub Date : 2023-11-14 DOI: 10.1145/3632405
Xinwei Fang, Sinem Getir Yaman, Radu Calinescu, Julie Wilson, Colin Paterson
Autonomous systems are often used in applications where environmental and internal changes may lead to requirement violations. Adapting to these changes proactively, i.e., before the violations occur, is preferable to recovering from the failures that may be caused by such violations. However, proactive adaptation needs methods for predicting requirement violations timely, accurately and with acceptable overheads. To address this need, we present a method that allows autonomous systems to predict violations of performance, dependability and other nonfunctional requirements, and therefore take preventative measures to avoid or otherwise mitigate them. Our method for pre dicting these autonomou s sys t em disrupti o ns (PRESTO) comprises a design time stage and a run-time stage. At design-time, we use parametric model checking to obtain algebraic expressions that formalise the relationships between the nonfunctional properties of the requirements of interest (e.g., reliability, response time and energy use) and the parameters of the system and its environment. At run-time, we predict future changes in these parameters by applying piece-wise linear regression to online data obtained through monitoring, and we use the algebraic expressions to predict the impact of these changes on the system requirements. We demonstrate the application of PRESTO through simulation in case studies from two different domains.
自治系统通常用于环境和内部变化可能导致需求违反的应用程序中。主动适应这些变化,即,在违规发生之前,比从可能由此类违规引起的失败中恢复更可取。然而,主动适应需要能够及时、准确地预测需求违反并且开销可接受的方法。为了满足这一需求,我们提出了一种方法,该方法允许自治系统预测对性能、可靠性和其他非功能需求的违反,并因此采取预防措施来避免或减轻它们。我们预测这些自主系统的方法(PRESTO)包括一个设计阶段和一个运行阶段。在设计时,我们使用参数模型检查来获得代数表达式,这些表达式形式化了感兴趣需求的非功能属性(例如,可靠性,响应时间和能源使用)与系统及其环境参数之间的关系。在运行时,我们通过对通过监测获得的在线数据应用分段线性回归来预测这些参数的未来变化,并且我们使用代数表达式来预测这些变化对系统需求的影响。我们通过模拟两个不同领域的案例研究来演示PRESTO的应用。
{"title":"Predicting Nonfunctional Requirement Violations in Autonomous Systems","authors":"Xinwei Fang, Sinem Getir Yaman, Radu Calinescu, Julie Wilson, Colin Paterson","doi":"10.1145/3632405","DOIUrl":"https://doi.org/10.1145/3632405","url":null,"abstract":"Autonomous systems are often used in applications where environmental and internal changes may lead to requirement violations. Adapting to these changes proactively, i.e., before the violations occur, is preferable to recovering from the failures that may be caused by such violations. However, proactive adaptation needs methods for predicting requirement violations timely, accurately and with acceptable overheads. To address this need, we present a method that allows autonomous systems to predict violations of performance, dependability and other nonfunctional requirements, and therefore take preventative measures to avoid or otherwise mitigate them. Our method for pre dicting these autonomou s sys t em disrupti o ns (PRESTO) comprises a design time stage and a run-time stage. At design-time, we use parametric model checking to obtain algebraic expressions that formalise the relationships between the nonfunctional properties of the requirements of interest (e.g., reliability, response time and energy use) and the parameters of the system and its environment. At run-time, we predict future changes in these parameters by applying piece-wise linear regression to online data obtained through monitoring, and we use the algebraic expressions to predict the impact of these changes on the system requirements. We demonstrate the application of PRESTO through simulation in case studies from two different domains.","PeriodicalId":50919,"journal":{"name":"ACM Transactions on Autonomous and Adaptive Systems","volume":"34 5","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-11-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134953665","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Self-Adaptive Testing in the Field 现场自适应测试
4区 计算机科学 Q3 COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE Pub Date : 2023-10-11 DOI: 10.1145/3627163
Samira Silva, Patrizio Pelliccione, Antonia Bertolino
We are increasingly surrounded by systems connecting us with the digital world and facilitating our life by supporting our work, leisure, activities at home, health, etc. These systems are pressed by two forces. On the one side, they operate in environments that are increasingly challenging due to uncertainty and uncontrollability. On the other side, they need to evolve, often in a continuous fashion, to meet changing needs, to offer new functionalities, or also to fix emerging failures. To make the picture even more complex, these systems rarely work in isolation and often need to collaborate with other systems, as well as humans. All such facets call for moving their validation during operation, as offered by approaches called testing in the field. In this paper, we observe that even the field-based testing approaches should change over time to follow and adapt to the changes and evolution of collaborating systems or environments or users’ behaviors. We provide a taxonomy of this new category of testing that we call self-adaptive testing in the field (SATF), together with a reference architecture for SATF approaches. To achieve this objective, we surveyed the literature and collected feedback and contributions from experts in the domain via a questionnaire and interviews.
我们被越来越多的系统所包围,这些系统将我们与数字世界连接起来,通过支持我们的工作、休闲、家庭活动、健康等,为我们的生活提供便利。这些系统受到两种力的压迫。一方面,由于不确定性和不可控性,它们在越来越具有挑战性的环境中运行。另一方面,它们需要不断发展,通常以连续的方式,以满足不断变化的需求,提供新的功能,或者修复出现的故障。使情况更加复杂的是,这些系统很少单独工作,往往需要与其他系统以及人类合作。所有这些方面都需要在操作过程中进行验证,如现场测试所提供的方法。在本文中,我们观察到,即使是基于现场的测试方法也应该随着时间的推移而改变,以遵循和适应协作系统或环境或用户行为的变化和演变。我们为这种新的测试类别提供了一个分类法,我们称之为现场自适应测试(SATF),以及SATF方法的参考体系结构。为了实现这一目标,我们调查了文献,并通过问卷调查和访谈收集了该领域专家的反馈和贡献。
{"title":"Self-Adaptive Testing in the Field","authors":"Samira Silva, Patrizio Pelliccione, Antonia Bertolino","doi":"10.1145/3627163","DOIUrl":"https://doi.org/10.1145/3627163","url":null,"abstract":"We are increasingly surrounded by systems connecting us with the digital world and facilitating our life by supporting our work, leisure, activities at home, health, etc. These systems are pressed by two forces. On the one side, they operate in environments that are increasingly challenging due to uncertainty and uncontrollability. On the other side, they need to evolve, often in a continuous fashion, to meet changing needs, to offer new functionalities, or also to fix emerging failures. To make the picture even more complex, these systems rarely work in isolation and often need to collaborate with other systems, as well as humans. All such facets call for moving their validation during operation, as offered by approaches called testing in the field. In this paper, we observe that even the field-based testing approaches should change over time to follow and adapt to the changes and evolution of collaborating systems or environments or users’ behaviors. We provide a taxonomy of this new category of testing that we call self-adaptive testing in the field (SATF), together with a reference architecture for SATF approaches. To achieve this objective, we surveyed the literature and collected feedback and contributions from experts in the domain via a questionnaire and interviews.","PeriodicalId":50919,"journal":{"name":"ACM Transactions on Autonomous and Adaptive Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-10-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136098483","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Foreword: ACSOS 2021 Special Issue 前言:ACSOS 2021特刊
4区 计算机科学 Q3 COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE Pub Date : 2023-09-20 DOI: 10.1145/3612929
Danilo Pianini, Vana Kalogeraki
No abstract available.
没有摘要。
{"title":"Foreword: ACSOS 2021 Special Issue","authors":"Danilo Pianini, Vana Kalogeraki","doi":"10.1145/3612929","DOIUrl":"https://doi.org/10.1145/3612929","url":null,"abstract":"No abstract available.","PeriodicalId":50919,"journal":{"name":"ACM Transactions on Autonomous and Adaptive Systems","volume":"124 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-09-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136308371","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Human-Machine Teaming with small Unmanned Aerial Systems in a MAPE-K Environment MAPE-K环境下小型无人机系统的人机协作
IF 2.7 4区 计算机科学 Q3 COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE Pub Date : 2023-09-04 DOI: 10.1145/3618001
Jane Cleland-Huang, Theodore Chambers, Sebastián Zudaire, Muhammed Tawfiq Chowdhury, Ankit Agrawal, Michael Vierhauser
The Human Machine Teaming (HMT) paradigm focuses on supporting partnerships between humans and autonomous machines. HMT describes requirements for transparency, augmented cognition, and coordination that enable far richer partnerships than those found in typical human-on-the-loop and human-in-the-loop systems. Autonomous, self-adaptive systems in domains such as autonomous driving, robotics, and Cyber-Physical Systems, are often implemented using the MAPE-K feedback loop as the primary reference model. However, while MAPE-K enables fully autonomous behavior, it does not explicitly address the interactions that occur between humans and autonomous machines as intended by HMT. In this paper, we, therefore, present the MAPE-KHMT framework which utilizes runtime models to augment the monitoring, analysis, planning, and execution phases of the MAPE-K loop in order to support HMT despite the different operational cadences of humans and machines. We draw on examples from our own emergency response system of interactive, autonomous, small unmanned aerial systems to illustrate the application of MAPE-KHMT in both a simulated and physical environment, and discuss how the various HMT models are connected and can be integrated into a MAPE-K solution.
人机协作(HMT)范式侧重于支持人类和自主机器之间的伙伴关系。HMT描述了对透明度、增强认知和协调的需求,使伙伴关系比典型的人在循环和人在循环系统中发现的要丰富得多。自动驾驶、机器人和网络物理系统等领域的自主、自适应系统通常使用MAPE-K反馈回路作为主要参考模型来实现。然而,尽管MAPE-K支持完全自主的行为,但它并没有像HMT所期望的那样明确地解决人与自主机器之间发生的交互。因此,在本文中,我们提出了MAPE-KHMT框架,该框架利用运行时模型来增强MAPE-K循环的监控、分析、计划和执行阶段,以便在人类和机器不同的操作节奏下支持HMT。我们以我们自己的交互式、自主、小型无人机系统应急响应系统为例,说明了MAPE-KHMT在模拟环境和物理环境中的应用,并讨论了各种HMT模型如何连接并集成到MAPE-K解决方案中。
{"title":"Human-Machine Teaming with small Unmanned Aerial Systems in a MAPE-K Environment","authors":"Jane Cleland-Huang, Theodore Chambers, Sebastián Zudaire, Muhammed Tawfiq Chowdhury, Ankit Agrawal, Michael Vierhauser","doi":"10.1145/3618001","DOIUrl":"https://doi.org/10.1145/3618001","url":null,"abstract":"The Human Machine Teaming (HMT) paradigm focuses on supporting partnerships between humans and autonomous machines. HMT describes requirements for transparency, augmented cognition, and coordination that enable far richer partnerships than those found in typical human-on-the-loop and human-in-the-loop systems. Autonomous, self-adaptive systems in domains such as autonomous driving, robotics, and Cyber-Physical Systems, are often implemented using the MAPE-K feedback loop as the primary reference model. However, while MAPE-K enables fully autonomous behavior, it does not explicitly address the interactions that occur between humans and autonomous machines as intended by HMT. In this paper, we, therefore, present the MAPE-KHMT framework which utilizes runtime models to augment the monitoring, analysis, planning, and execution phases of the MAPE-K loop in order to support HMT despite the different operational cadences of humans and machines. We draw on examples from our own emergency response system of interactive, autonomous, small unmanned aerial systems to illustrate the application of MAPE-KHMT in both a simulated and physical environment, and discuss how the various HMT models are connected and can be integrated into a MAPE-K solution.","PeriodicalId":50919,"journal":{"name":"ACM Transactions on Autonomous and Adaptive Systems","volume":" ","pages":""},"PeriodicalIF":2.7,"publicationDate":"2023-09-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"43742599","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Learning in Cooperative Multiagent Systems Using Cognitive and Machine Models 基于认知和机器模型的协作多智能体系统学习
IF 2.7 4区 计算机科学 Q3 COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE Pub Date : 2023-08-18 DOI: 10.1145/3617835
T. Nguyen, D. Phan, Cleotilde González
Developing effective Multi-Agent Systems (MAS) is critical for many applications requiring collaboration and coordination with humans. Despite the rapid advance of Multi-Agent Deep Reinforcement Learning (MADRL) in cooperative MAS, one of the major challenges that remain is the simultaneous learning and interaction of independent agents in dynamic environments in the presence of stochastic rewards. State-of-the-art MADRL models struggle to perform well in Coordinated Multi-agent Object Transportation Problems (CMOTPs) wherein agents must coordinate with each other and learn from stochastic rewards. In contrast, humans often learn rapidly to adapt to nonstationary environments that require coordination among people. In this paper, motivated by the demonstrated ability of cognitive models based on Instance-Based Learning Theory (IBLT) to capture human decisions in many dynamic decision making tasks, we propose three variants of Multi-Agent IBL models (MAIBL). The idea of these MAIBL algorithms is to combine the cognitive mechanisms of IBLT and the techniques of MADRL models to deal with coordination MAS in stochastic environments from the perspective of independent learners. We demonstrate that the MAIBL models exhibit faster learning and achieve better coordination in a dynamic CMOTP task with various settings of stochastic rewards compared to current MADRL models. We discuss the benefits of integrating cognitive insights into MADRL models.
开发有效的多智能体系统(MAS)对于许多需要与人类协作和协调的应用程序至关重要。尽管多智能体深度强化学习(MADRL)在合作MAS中的发展迅速,但仍然存在的主要挑战之一是在随机奖励存在的动态环境中独立智能体的同时学习和交互。最先进的MADRL模型在协调多智能体物体运输问题(cmops)中表现不佳,其中智能体必须相互协调并从随机奖励中学习。相比之下,人类往往能迅速学会适应需要人与人之间协调的非固定环境。基于实例学习理论(Instance-Based Learning Theory, IBLT)的认知模型在许多动态决策任务中捕捉人类决策的能力,本文提出了多智能体IBL模型(Multi-Agent IBL models, MAIBL)的三种变体。这些MAIBL算法的思想是将IBLT的认知机制与MADRL模型技术相结合,从独立学习者的角度处理随机环境下的协调MAS。我们证明,与现有的MADRL模型相比,MAIBL模型在具有各种随机奖励设置的动态CMOTP任务中表现出更快的学习速度和更好的协调能力。我们讨论了将认知洞察力集成到MADRL模型中的好处。
{"title":"Learning in Cooperative Multiagent Systems Using Cognitive and Machine Models","authors":"T. Nguyen, D. Phan, Cleotilde González","doi":"10.1145/3617835","DOIUrl":"https://doi.org/10.1145/3617835","url":null,"abstract":"Developing effective Multi-Agent Systems (MAS) is critical for many applications requiring collaboration and coordination with humans. Despite the rapid advance of Multi-Agent Deep Reinforcement Learning (MADRL) in cooperative MAS, one of the major challenges that remain is the simultaneous learning and interaction of independent agents in dynamic environments in the presence of stochastic rewards. State-of-the-art MADRL models struggle to perform well in Coordinated Multi-agent Object Transportation Problems (CMOTPs) wherein agents must coordinate with each other and learn from stochastic rewards. In contrast, humans often learn rapidly to adapt to nonstationary environments that require coordination among people. In this paper, motivated by the demonstrated ability of cognitive models based on Instance-Based Learning Theory (IBLT) to capture human decisions in many dynamic decision making tasks, we propose three variants of Multi-Agent IBL models (MAIBL). The idea of these MAIBL algorithms is to combine the cognitive mechanisms of IBLT and the techniques of MADRL models to deal with coordination MAS in stochastic environments from the perspective of independent learners. We demonstrate that the MAIBL models exhibit faster learning and achieve better coordination in a dynamic CMOTP task with various settings of stochastic rewards compared to current MADRL models. We discuss the benefits of integrating cognitive insights into MADRL models.","PeriodicalId":50919,"journal":{"name":"ACM Transactions on Autonomous and Adaptive Systems","volume":" ","pages":""},"PeriodicalIF":2.7,"publicationDate":"2023-08-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"45483870","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
期刊
ACM Transactions on Autonomous and Adaptive Systems
全部 Ann. Glaciol. J APPL METEOROL CLIM Space Weather THALASSAS J. Struct. Geol. ALCHERINGA Annu. Rev. Earth Planet. Sci. Earth Space Sci. Isl. Arc GISci. Remote Sens. SEDIMENTOLOGY GEOCHEMISTRY-GERMANY Z. Geomorphol. J. Environ. Econ. Manage. LETHAIA Disp Ann. Paleontol Journal of the Knowledge Economy Prog. Earth Planet. Sci. North American Journal of Economics and Finance ATMOSFERA Ecol. Eng. J ECONOMETRICS World Development Jpn Econ Rev (Oxf) J AGR RESOUR ECON Progress in Planning Eurasian Chemico-Technological Journal Economic Policy EUR THYROID J Ecol. Res. Rev Econ Stud Journal of Planning Literature ENVIRON GEOL Eur. Rev. Med. Pharmacol. Sci. LIBRARY COLLECTIONS ACQUISITIONS & TECHNICAL SERVICES Qing Shi Yan Jiu Industrial & Engineering Chemistry Product Research and Development AAPG Bull. Library and Information Science Hydrol. Processes Indonesian Journal of Physics Innovation in Materials Science and Engineering J. Am. Ceram. Soc. RADIOCARBON ATL GEOL Near Surf. Geophys. Am. J. Sci. C.R. Geosci. Int. J. Geomech. J. Geogr. SCI CHINA EARTH SCI J. Geodyn. Earth Sci. Inf. Austrian J. Earth Sci. Mar. Geophys. Res. Int. J. Forecasting ANN SOC GEOL POL Journal of Economic Interaction and Coordination Paleoceanogr. Paleoclimatol. Izv. Atmos. Oceanic Phys. Cepal Review Appl. Geophys. Real Estate Economics Journal of Corporate Finance Communications Earth & Environment J. Benefit-Cost Anal. Info Onkologie Journal of Monetary Economics Contemporary Economic Policy Small Methods Economics-The Open Access Open-Assessment E-Journal Journal of Evolutionary Economics Asia-Pac. J. Atmos. Sci. ECOSYSTEMS Environmental Progress 2D Mater. Journal of Public Economics Expert Rev. Mol. Diagn. J. Earth Sci. Memai Heiko Igaku J. Adv. Ceram. TECTONICS Focus on Autism and Other Developmental Disabilities Atmos. Res. J. Thermoplast. Compos. Mater. SPACE WEATHER J. Environ. Eng. Geophys. J. Sea Res. 黑龙江大学自然科学学报 ACTA GEOL POL Veg. Hist. Archaeobot. ACTA GEOTECH SLOV Phys. Rev. Mater. GROUNDWATER Scott. J. Geol. TELLUS B Prog. Oceanogr. Wood Res. GEOSPHERE
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1