Presentation information

General Session

General Session » GS-5 Agents

[4N3-GS-5] Agents: applications

Fri. Jun 17, 2022 2:00 PM - 3:40 PM Room N (Room 501)

座長:岩城 諒(IBM)[遠隔]

3:20 PM - 3:40 PM

[4N3-GS-5-05] A runtime synthesis time reduction method for self-adaptive systems using reuse controller synthesis.

〇Yuki Arioka Arioka1, Takuto Yamauchi1, Kenji Tei1 (1. Waseda University)

Keywords:Directed Controller Synthesis, Self-Adaptive System, Labeled Transition System

A self adaptive system that can operate in a changing environment to satisfy its functional requirements is realized by reasoning on runtime models. Existing studies proposed such runtime model techniques, for example, reflecting changes in the environment in an environment model and synthesizing new behavior based on the updated environment and requirement models by using discrete controller synthesis. However, discrete controller synthesis requires huge computation time for large scale environments and complex requirements, and this is an issue for applying it to the resynthesis of controllers at runtime. In this paper, we propose a reuse controller synthesis, which reuses a part of the result of the previous controller synthesis during resynthesis. We evaluate the usefulness of the reuse controller synthesis through three concrete examples. Results show that, compared to the conventional controller synthesis, it can resynthesize controllers in about 0.1 percent of the execution time at most.

Authentication for paper PDF access

A password is required to view paper PDFs. If you are a registered participant, please log on the site from Participant Log In.
You could view the PDF with entering the PDF viewing password bellow.