We investigate the problem of active learning of runtime monitors for cyber-physical systems (CPS) under uncertainty. In CPS, runtime monitors need to make decisions with only partial information about the system state and cannot always rely on having a precise environment model. As a result, the learning process and resulting monitors must be able to handle this type of uncertainty. We present a framework for the active learning of monitors and discuss the challenges in implementing oracles for membership and equivalence queries. We particularly apply the framework to a setting where uncertainty models are defined by Markov decision processes. We present initial results demonstrating the efficacy of our approach in learning accurate monitors using a set of benchmarks from the domain of autonomous systems.

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Active Learning of Runtime Monitors Under Uncertainty

  • Sebastian Junges,
  • Sanjit A. Seshia,
  • Hazem Torfah

摘要

We investigate the problem of active learning of runtime monitors for cyber-physical systems (CPS) under uncertainty. In CPS, runtime monitors need to make decisions with only partial information about the system state and cannot always rely on having a precise environment model. As a result, the learning process and resulting monitors must be able to handle this type of uncertainty. We present a framework for the active learning of monitors and discuss the challenges in implementing oracles for membership and equivalence queries. We particularly apply the framework to a setting where uncertainty models are defined by Markov decision processes. We present initial results demonstrating the efficacy of our approach in learning accurate monitors using a set of benchmarks from the domain of autonomous systems.