activity
20202023
most citedTowards Bridging the Gap between Control and Self-Adaptive System Properties

9 citations · 10 across the 5 of their papers we have counts for

collaborators

5 papers

cs.LG2023

Value Iteration Networks with Gated Summarization Module

Jinyu Cai, Jialong Li, Mingyue Zhang +1

In this paper, we address the challenges faced by Value Iteration Networks (VIN) in handling larger input maps and mitigating the impact of accumulated errors caused by increased i…

cs.CR2021

OACAL: Finding Module-consistent Specifications to Secure Systems from Weakened User Obligations

Pengcheng Jiang, Kenji Tei

Users interacting with a system through UI are typically obliged to perform their actions in a pre-determined order, to successfully achieve certain functional goals. However, such…

cs.SE2021

A Meta Reinforcement Learning-based Approach for Self-Adaptive System

Mingyue Zhang, Jialong Li, Haiyan Zhao +3

A self-learning adaptive system (SLAS) uses machine learning to enable and enhance its adaptability. Such systems are expected to perform well in dynamic situations. For learning h…

cs.SE2021★ 1 cited

Towards Better Adaptive Systems by Combining MAPE, Control Theory, and Machine Learning

Danny Weyns, Bradley Schmerl, Masako Kishida +5

Two established approaches to engineer adaptive systems are architecture-based adaptation that uses a Monitor-Analysis-Planning-Executing (MAPE) loop that reasons over architectura…

cs.SE2020★ 9 cited

Towards Bridging the Gap between Control and Self-Adaptive System Properties

Javier Cámara, Alessandro V. Papadopoulos, Thomas Vogel +4

Two of the main paradigms used to build adaptive software employ different types of properties to capture relevant aspects of the system's run-time behavior. On the one hand, contr…