首页 > 最新文献

ACM Transactions on Autonomous and Adaptive Systems最新文献

英文 中文
Predicting Nonfunctional Requirement Violations in Autonomous Systems 预测自治系统中的非功能需求违反
4区 计算机科学 Q2 Computer Science 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":null,"pages":null},"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区 计算机科学 Q2 Computer Science 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":null,"pages":null},"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区 计算机科学 Q2 Computer Science 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":null,"pages":null},"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区 计算机科学 Q2 Computer Science 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":null,"pages":null},"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区 计算机科学 Q2 Computer Science 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":null,"pages":null},"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
Improving Causal Learning Scalability and Performance using Aggregates and Interventions 利用聚合和干预提高因果学习的可扩展性和性能
IF 2.7 4区 计算机科学 Q2 Computer Science Pub Date : 2023-07-25 DOI: 10.1145/3607872
Kanvaly Fadiga, Étienne Houzé, A. Diaconescu, J. Dessalles
Smart homes are Cyber-Physical Systems (CPS) where multiple devices and controllers cooperate to achieve high-level goals. Causal knowledge on relations between system entities is essential for enabling system self-adaption to dynamic changes. As house configurations are diverse, this knowledge is difficult to obtain. In previous work, we proposed to generate Causal Bayesian Networks (CBN) as follows. Starting with considering all possible relations, we progressively discarded non-correlated variables. Next, we identified causal relations from the remaining correlations by employing “do-operations.” The obtained CBN could then be employed for causal inference. The main challenges of this approach included “non-doable variables” and limited scalability. To address these issues, we propose three extensions: (i) early pruning weakly correlated relations to reduce the number of required do-operations, (ii) introducing aggregate variables that summarize relations between weakly coupled sub-systems, and (iii) applying the method a second time to perform indirect do interventions and handle non-doable relations. We illustrate and evaluate the efficiency of these contributions via examples from the smart home and power grid domain. Our proposal leads to a decrease in the number of operations required to learn the CBN and in an increased accuracy of the learned CBN, paving the way toward applications in large CPS.
智能家居是一种网络物理系统(CPS),其中多个设备和控制器合作以实现高级目标。关于系统实体之间关系的因果知识对于实现系统对动态变化的自适应至关重要。由于房屋配置多种多样,因此很难获得这些知识。在之前的工作中,我们提出如下生成因果贝叶斯网络(CBN)。从考虑所有可能的关系开始,我们逐步丢弃了不相关的变量。接下来,我们通过“做运算”从剩余的相关性中识别因果关系。然后,获得的CBN可以用于因果推理。这种方法的主要挑战包括“不可行的变量”和有限的可扩展性。为了解决这些问题,我们提出了三个扩展:(i)早期修剪弱相关关系以减少所需的do操作的数量,(ii)引入汇总变量来总结弱耦合子系统之间的关系,以及(iii)第二次应用该方法来执行间接do干预并处理不可行的关系。我们通过智能家居和电网领域的例子来说明和评估这些贡献的效率。我们的建议减少了学习CBN所需的操作次数,并提高了学习的CBN的准确性,为在大型CPS中的应用铺平了道路。
{"title":"Improving Causal Learning Scalability and Performance using Aggregates and Interventions","authors":"Kanvaly Fadiga, Étienne Houzé, A. Diaconescu, J. Dessalles","doi":"10.1145/3607872","DOIUrl":"https://doi.org/10.1145/3607872","url":null,"abstract":"Smart homes are Cyber-Physical Systems (CPS) where multiple devices and controllers cooperate to achieve high-level goals. Causal knowledge on relations between system entities is essential for enabling system self-adaption to dynamic changes. As house configurations are diverse, this knowledge is difficult to obtain. In previous work, we proposed to generate Causal Bayesian Networks (CBN) as follows. Starting with considering all possible relations, we progressively discarded non-correlated variables. Next, we identified causal relations from the remaining correlations by employing “do-operations.” The obtained CBN could then be employed for causal inference. The main challenges of this approach included “non-doable variables” and limited scalability. To address these issues, we propose three extensions: (i) early pruning weakly correlated relations to reduce the number of required do-operations, (ii) introducing aggregate variables that summarize relations between weakly coupled sub-systems, and (iii) applying the method a second time to perform indirect do interventions and handle non-doable relations. We illustrate and evaluate the efficiency of these contributions via examples from the smart home and power grid domain. Our proposal leads to a decrease in the number of operations required to learn the CBN and in an increased accuracy of the learned CBN, paving the way toward applications in large CPS.","PeriodicalId":50919,"journal":{"name":"ACM Transactions on Autonomous and Adaptive Systems","volume":null,"pages":null},"PeriodicalIF":2.7,"publicationDate":"2023-07-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"45617004","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
Improving Causal Learning Scalability and Performance using Aggregates and Interventions 利用聚合和干预提高因果学习的可扩展性和性能
IF 2.7 4区 计算机科学 Q2 Computer Science Pub Date : 2023-07-25 DOI: https://dl.acm.org/doi/10.1145/3607872
Kanvaly Fadiga, Etienne Houzé, Ada Diaconescu, Jean-Louis Dessalles

Smart homes are Cyber-Physical Systems (CPS) where multiple devices and controllers cooperate to achieve high-level goals. Causal knowledge on relations between system entities is essential for enabling system self-adaption to dynamic changes. As house configurations are diverse, this knowledge is difficult to obtain. In previous work, we proposed to generate Causal Bayesian Networks (CBN) as follows. Starting with considering all possible relations, we progressively discarded non-correlated variables. Next, we identified causal relations from the remaining correlations by employing “do-operations”. The obtained CBN could then be employed for causal inference. The main challenges of this approach included: “non-doable variables” and limited scalability. To address these issues, we propose three extensions: i) early pruning weakly correlated relations to reduce the number of required do-operations; ii) introducing aggregate variables that summarize relations between weakly-coupled sub-systems; iii) applying the method a second time to perform indirect do interventions and handle non-doable relations. We illustrate and evaluate the efficiency of these contributions via examples from the smart home and power grid domain. Our proposal leads to a decrease in the number of operations required to learn the CBN and in an increased accuracy of the learned CBN, paving the way towards applications in large CPS.

智能家居是网络物理系统(CPS),其中多个设备和控制器合作以实现高级目标。关于系统实体之间关系的因果知识对于使系统能够自适应动态变化是必不可少的。由于房屋结构多种多样,这方面的知识很难获得。在之前的工作中,我们提出了如下方法来生成因果贝叶斯网络(CBN)。从考虑所有可能的关系开始,我们逐步抛弃不相关的变量。接下来,我们通过使用“do-operations”从剩余的相关性中确定因果关系。得到的CBN可以用于因果推理。这种方法的主要挑战包括:“不可操作的变量”和有限的可扩展性。为了解决这些问题,我们提出了三个扩展:i)早期修剪弱相关关系以减少所需do-operation的数量;Ii)引入汇总变量,汇总弱耦合子系统之间的关系;Iii)第二次应用该方法进行间接干预和处理不可处理的关系。我们通过智能家居和电网领域的例子来说明和评估这些贡献的效率。我们的提议减少了学习CBN所需的操作次数,提高了学习CBN的准确性,为大型CPS的应用铺平了道路。
{"title":"Improving Causal Learning Scalability and Performance using Aggregates and Interventions","authors":"Kanvaly Fadiga, Etienne Houzé, Ada Diaconescu, Jean-Louis Dessalles","doi":"https://dl.acm.org/doi/10.1145/3607872","DOIUrl":"https://doi.org/https://dl.acm.org/doi/10.1145/3607872","url":null,"abstract":"<p>Smart homes are Cyber-Physical Systems (CPS) where multiple devices and controllers cooperate to achieve high-level goals. Causal knowledge on relations between system entities is essential for enabling system self-adaption to dynamic changes. As house configurations are diverse, this knowledge is difficult to obtain. In previous work, we proposed to generate Causal Bayesian Networks (CBN) as follows. Starting with considering all possible relations, we progressively discarded non-correlated variables. Next, we identified causal relations from the remaining correlations by employing “<i>do-operations</i>”. The obtained CBN could then be employed for causal inference. The main challenges of this approach included: “non-doable variables” and limited scalability. To address these issues, we propose three extensions: i) early pruning weakly correlated relations to reduce the number of required do-operations; ii) introducing aggregate variables that summarize relations between weakly-coupled sub-systems; iii) applying the method a second time to perform <i>indirect do</i> interventions and handle non-doable relations. We illustrate and evaluate the efficiency of these contributions via examples from the smart home and power grid domain. Our proposal leads to a decrease in the number of operations required to learn the CBN and in an increased accuracy of the learned CBN, paving the way towards applications in large CPS.</p>","PeriodicalId":50919,"journal":{"name":"ACM Transactions on Autonomous and Adaptive Systems","volume":null,"pages":null},"PeriodicalIF":2.7,"publicationDate":"2023-07-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138517320","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
Using Randomization in Self-Organized Synchronization for Wireless Networks 随机化在无线网络自组织同步中的应用
IF 2.7 4区 计算机科学 Q2 Computer Science Pub Date : 2023-06-21 DOI: https://dl.acm.org/doi/10.1145/3605553
Jorge F. Schmidt, Udo Schilcher, Arke Vogell, Christian Bettstetter

The concept of pulse-coupled oscillators for self-organized synchronization has been applied to wireless systems. Putting theory into practice, however, faces certain obstacles, particularly in radio technologies that cannot implement pulses but use common messages for interactions between nodes. This raises the question of how to deal with interference between messages. We show that interference can disturb the synchronization process and propose low-complex, randomization-based techniques to address this issue. First, we demonstrate that randomly switching between two transmit power levels (without increasing the average power) can expedite synchronization. The high-power transmissions temporarily boost network connectivity with negligible impact on the average interference. Second, we reduce interference by blindly distributing the messages over the entire oscillator cycle. Instead of using a fixed oscillator phase at which the pulses are sent, each node chooses its own, randomly selected phase to send a synchronization message. This node-specific “fire phase” is contained in the message to permit others to compute the timing. Third, we suggest that such interference management can also be beneficial for other synchronization techniques and validate this claim using Glossy as an example. Our insights may contribute to feasible solutions for self-organized wireless synchronization. Further work is needed to gain a comprehensive understanding of the effects of randomization and to develop algorithms for the adaptability of local parameters.

用于自组织同步的脉冲耦合振荡器的概念已应用于无线系统。然而,将理论付诸实践面临着某些障碍,特别是在无线电技术中,它不能实现脉冲,而是使用共同的信息来进行节点之间的交互。这就提出了如何处理消息之间的干扰的问题。我们表明干扰会干扰同步过程,并提出低复杂性,基于随机化的技术来解决这个问题。首先,我们证明在两个发射功率电平之间随机切换(不增加平均功率)可以加快同步。高功率传输暂时增强了网络连接,对平均干扰的影响可以忽略不计。其次,我们通过在整个振荡器周期内盲目分配消息来减少干扰。每个节点不是使用固定的振荡器相位来发送脉冲,而是选择自己随机选择的相位来发送同步消息。这个特定于节点的“火阶段”包含在消息中,以允许其他人计算时间。第三,我们认为这种干扰管理对其他同步技术也有好处,并以Glossy为例验证了这一说法。我们的见解可能有助于为自组织无线同步提供可行的解决方案。需要进一步的工作来全面了解随机化的影响,并开发局部参数适应性的算法。
{"title":"Using Randomization in Self-Organized Synchronization for Wireless Networks","authors":"Jorge F. Schmidt, Udo Schilcher, Arke Vogell, Christian Bettstetter","doi":"https://dl.acm.org/doi/10.1145/3605553","DOIUrl":"https://doi.org/https://dl.acm.org/doi/10.1145/3605553","url":null,"abstract":"<p>The concept of pulse-coupled oscillators for self-organized synchronization has been applied to wireless systems. Putting theory into practice, however, faces certain obstacles, particularly in radio technologies that cannot implement pulses but use common messages for interactions between nodes. This raises the question of how to deal with interference between messages. We show that interference can disturb the synchronization process and propose low-complex, randomization-based techniques to address this issue. First, we demonstrate that randomly switching between two transmit power levels (without increasing the average power) can expedite synchronization. The high-power transmissions temporarily boost network connectivity with negligible impact on the average interference. Second, we reduce interference by blindly distributing the messages over the entire oscillator cycle. Instead of using a fixed oscillator phase at which the pulses are sent, each node chooses its own, randomly selected phase to send a synchronization message. This node-specific “fire phase” is contained in the message to permit others to compute the timing. Third, we suggest that such interference management can also be beneficial for other synchronization techniques and validate this claim using Glossy as an example. Our insights may contribute to feasible solutions for self-organized wireless synchronization. Further work is needed to gain a comprehensive understanding of the effects of randomization and to develop algorithms for the adaptability of local parameters.</p>","PeriodicalId":50919,"journal":{"name":"ACM Transactions on Autonomous and Adaptive Systems","volume":null,"pages":null},"PeriodicalIF":2.7,"publicationDate":"2023-06-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138503625","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
Using Randomization in Self-organized Synchronization for Wireless Networks 随机化在无线网络自组织同步中的应用
IF 2.7 4区 计算机科学 Q2 Computer Science Pub Date : 2023-06-21 DOI: 10.1145/3605553
J. F. Schmidt, Udo Schilcher, Arke Vogell, C. Bettstetter
The concept of pulse-coupled oscillators for self-organized synchronization has been applied to wireless systems. Putting theory into practice, however, faces certain obstacles, particularly in radio technologies that cannot implement pulses but use common messages for interactions between nodes. This raises the question of how to deal with interference between messages. We show that interference can disturb the synchronization process and propose low-complex, randomization-based techniques to address this issue. First, we demonstrate that randomly switching between two transmit power levels (without increasing the average power) can expedite synchronization. The high-power transmissions temporarily boost network connectivity with negligible impact on the average interference. Second, we reduce interference by blindly distributing the messages over the entire oscillator cycle. Instead of using a fixed oscillator phase at which the pulses are sent, each node chooses its own, randomly selected phase to send a synchronization message. This node-specific “fire phase” is contained in the message to permit others to compute the timing. Third, we suggest that such interference management can also be beneficial for other synchronization techniques and validate this claim using Glossy as an example. Our insights may contribute to feasible solutions for self-organized wireless synchronization. Further work is needed to gain a comprehensive understanding of the effects of randomization and to develop algorithms for the adaptability of local parameters.
用于自组织同步的脉冲耦合振荡器的概念已应用于无线系统。然而,将理论付诸实践面临着某些障碍,特别是在无线电技术中,它不能实现脉冲,而是使用共同的信息来进行节点之间的交互。这就提出了如何处理消息之间的干扰的问题。我们表明干扰会干扰同步过程,并提出低复杂性,基于随机化的技术来解决这个问题。首先,我们证明在两个发射功率电平之间随机切换(不增加平均功率)可以加快同步。高功率传输暂时增强了网络连接,对平均干扰的影响可以忽略不计。其次,我们通过在整个振荡器周期内盲目分配消息来减少干扰。每个节点不是使用固定的振荡器相位来发送脉冲,而是选择自己随机选择的相位来发送同步消息。这个特定于节点的“火阶段”包含在消息中,以允许其他人计算时间。第三,我们认为这种干扰管理对其他同步技术也有好处,并以Glossy为例验证了这一说法。我们的见解可能有助于为自组织无线同步提供可行的解决方案。需要进一步的工作来全面了解随机化的影响,并开发局部参数适应性的算法。
{"title":"Using Randomization in Self-organized Synchronization for Wireless Networks","authors":"J. F. Schmidt, Udo Schilcher, Arke Vogell, C. Bettstetter","doi":"10.1145/3605553","DOIUrl":"https://doi.org/10.1145/3605553","url":null,"abstract":"The concept of pulse-coupled oscillators for self-organized synchronization has been applied to wireless systems. Putting theory into practice, however, faces certain obstacles, particularly in radio technologies that cannot implement pulses but use common messages for interactions between nodes. This raises the question of how to deal with interference between messages. We show that interference can disturb the synchronization process and propose low-complex, randomization-based techniques to address this issue. First, we demonstrate that randomly switching between two transmit power levels (without increasing the average power) can expedite synchronization. The high-power transmissions temporarily boost network connectivity with negligible impact on the average interference. Second, we reduce interference by blindly distributing the messages over the entire oscillator cycle. Instead of using a fixed oscillator phase at which the pulses are sent, each node chooses its own, randomly selected phase to send a synchronization message. This node-specific “fire phase” is contained in the message to permit others to compute the timing. Third, we suggest that such interference management can also be beneficial for other synchronization techniques and validate this claim using Glossy as an example. Our insights may contribute to feasible solutions for self-organized wireless synchronization. Further work is needed to gain a comprehensive understanding of the effects of randomization and to develop algorithms for the adaptability of local parameters.","PeriodicalId":50919,"journal":{"name":"ACM Transactions on Autonomous and Adaptive Systems","volume":null,"pages":null},"PeriodicalIF":2.7,"publicationDate":"2023-06-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"48199117","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
EdgeMart: A Sustainable Networked OTT Economy on the Wireless Edge for Saving Multimedia IP Bandwidth EdgeMart:在无线边缘实现可持续的网络OTT经济,以节省多媒体IP带宽
IF 2.7 4区 计算机科学 Q2 Computer Science Pub Date : 2023-06-20 DOI: 10.1145/3605552
R. Pal, Nishanth R. Sastry, E. Obiodu, Sanjana S. Prabhu, K. Psounis
With the advent of 5G+ services, it has become increasingly convenient for mobile users to enjoy high quality multimedia content from CDN driven streaming and catch-up TV services (Netflix, iPlayer) in the (post-)COVID over-the-top (OTT) content rush. To relieve ISP owned fixed-line networks from CDN streamed multimedia traffic, system ideas (e.g., Wi-Stitch in [45]) have been proposed to (a) leverage 5G services and enable consumers to share cached multimedia content at the edge, and (b) consequently, and more importantly, reduce IP traffic at the core network. Unfortunately, given that contemporary multimedia content might be a monetised asset, these ideas do not take this important fact into account for shared content. We present EdgeMart - a content provider federated, and computationally sustainable networked (graphical) market economy for paid-sharing of cached licensed (OTT) content with autonomous users of a wireless edge network (WEN). EdgeMart is a unique oligopoly multimedia market (economy) that comprises competing networked sub-markets of non-cooperative content sellers/buyers - each sub-market consisting of a single buyer connected (networked) to only a subset of sellers. We prove that for any WEN-supported supply-demand topology, a pure strategy EdgeMart equilibrium exists that is (a) nearly efficient (in a microeconomic sense) indicating economy sustainability, (b) robust to edge user entry/exit, and (c) can be reached in poly-time (indicating computational sustainability). In addition, we experimentally show that for physical WENs of varying densities, a rationally selfish EdgeMart economy induces similar orders of multimedia IP traffic savings when compared to the ideal (relatively less practical), altruistic, and non-monetized “economy” implemented atop the recently introduced Wi-Stitch WEN-based content trading architecture. Moreover, the EdgeMart concept helps envision a regulated edge economy of opportunistic (pay per licensed file) client services for commercial OTT platforms.
随着5G+服务的出现,在新冠肺炎疫情后的OTT内容热潮中,移动用户越来越方便地享受来自CDN驱动的流媒体和追赶电视服务(Netflix、iPlayer)的高质量多媒体内容。为了使ISP拥有的固定线路网络免受CDN流式多媒体流量的影响,已经提出了系统思想(例如,[45]中的Wi Stitch),以(a)利用5G服务,使消费者能够在边缘共享缓存的多媒体内容,以及(b)因此,更重要的是,减少核心网络的IP流量。不幸的是,考虑到当代多媒体内容可能是一种货币化资产,这些想法没有考虑到共享内容的这一重要事实。我们介绍了EdgeMart,这是一个内容提供商联合的、计算可持续的网络(图形)市场经济,用于与无线边缘网络(WEN)的自主用户付费共享缓存许可(OTT)内容。EdgeMart是一个独特的寡头垄断多媒体市场(经济),包括非合作内容卖家/买家的竞争性网络子市场,每个子市场由一个仅连接(网络化)到卖家子集的单个买家组成。我们证明,对于任何WEN支持的供需拓扑,存在纯策略EdgeMart均衡,该均衡(a)几乎有效(在微观经济学意义上),表明经济可持续性,(b)对边缘用户进入/退出具有鲁棒性,以及(c)可以在多时间内达到(表明计算可持续性)。此外,我们通过实验表明,对于不同密度的物理WEN,与最近引入的基于Wi-Sticch WEN的内容交易架构之上实现的理想(相对不太实用)、无私和非货币化的“经济”相比,合理自私的EdgeMart经济体可节省类似数量级的多媒体IP流量。此外,EdgeMart的概念有助于设想商业OTT平台的机会主义(按许可文件付费)客户服务的监管边缘经济。
{"title":"EdgeMart: A Sustainable Networked OTT Economy on the Wireless Edge for Saving Multimedia IP Bandwidth","authors":"R. Pal, Nishanth R. Sastry, E. Obiodu, Sanjana S. Prabhu, K. Psounis","doi":"10.1145/3605552","DOIUrl":"https://doi.org/10.1145/3605552","url":null,"abstract":"With the advent of 5G+ services, it has become increasingly convenient for mobile users to enjoy high quality multimedia content from CDN driven streaming and catch-up TV services (Netflix, iPlayer) in the (post-)COVID over-the-top (OTT) content rush. To relieve ISP owned fixed-line networks from CDN streamed multimedia traffic, system ideas (e.g., Wi-Stitch in [45]) have been proposed to (a) leverage 5G services and enable consumers to share cached multimedia content at the edge, and (b) consequently, and more importantly, reduce IP traffic at the core network. Unfortunately, given that contemporary multimedia content might be a monetised asset, these ideas do not take this important fact into account for shared content. We present EdgeMart - a content provider federated, and computationally sustainable networked (graphical) market economy for paid-sharing of cached licensed (OTT) content with autonomous users of a wireless edge network (WEN). EdgeMart is a unique oligopoly multimedia market (economy) that comprises competing networked sub-markets of non-cooperative content sellers/buyers - each sub-market consisting of a single buyer connected (networked) to only a subset of sellers. We prove that for any WEN-supported supply-demand topology, a pure strategy EdgeMart equilibrium exists that is (a) nearly efficient (in a microeconomic sense) indicating economy sustainability, (b) robust to edge user entry/exit, and (c) can be reached in poly-time (indicating computational sustainability). In addition, we experimentally show that for physical WENs of varying densities, a rationally selfish EdgeMart economy induces similar orders of multimedia IP traffic savings when compared to the ideal (relatively less practical), altruistic, and non-monetized “economy” implemented atop the recently introduced Wi-Stitch WEN-based content trading architecture. Moreover, the EdgeMart concept helps envision a regulated edge economy of opportunistic (pay per licensed file) client services for commercial OTT platforms.","PeriodicalId":50919,"journal":{"name":"ACM Transactions on Autonomous and Adaptive Systems","volume":null,"pages":null},"PeriodicalIF":2.7,"publicationDate":"2023-06-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"45448238","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
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
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