arrow
返回

Componentwise Automata Learning for System Integration

delete2026-01-01
delete0
PRE
AI
H
Hiroya Fujinami *
M
Masaki Waga
J
Jie An
K
Kohei Suenaga
N
Nayuta Yanagisawa
H
Hiroki Iseri
I
Ichiro Hasuo
DOI:10.1007/978-3-032-08707-2_1delete
delete原文链接
delete原文求助
delete分享
delete收藏
摘要

摘要

En 中文
组合自动机学习作为一种分析复杂黑箱系统的技术正受到关注。它利用目标系统的内部组合结构来降低复杂性。在本文中,我们将系统集成——即构建一个由潜在第三方和黑箱组件组成的复合新系统的过程——确定为组合自动机学习的新应用领域。相应地,我们提出了一种新的问题设定,其中学习器可以直接访问黑箱组件。这与组合学习的常规问题设定形成对比,在后者中,目标是一个遗留黑箱系统,且查询只能针对整个系统(而不能针对组件)。我们称我们的问题为组件自动机学习以示区分。我们确定了其中的一个挑战,称为组件冗余:组件的某些部分可能对系统级行为没有贡献,学习它们会带来不必要的开销。我们引入了一种情境组件自动机学习算法,能够系统地消除此类冗余。我们通过实验评估了我们的提案并展示了其现实相关性。
Keyword:
automata learning
compositional automata learning
systems engineering
Mooremachine

期刊

A
AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2025
IF:
0
论文数:
21
被引数:
0

机构

R
research organization of information & systems (rois)
学者数:
2.8K
论文数: 3.2K
被引数: 2
C
chinese academy of sciences
学者数:
56.7W
论文数: 45.0W
被引数: 704
引用论文

引用论文

err
IF0
err
err0
PREAI
err
err分享
err收藏
Learning Symbolic Automata
err2017-03-31
err0
PREAI
errSamuel Drews; Loris D’Antoni
err分享
err收藏
Compositional Learning for Interleaving Parallel Automata
err2023-01-01
err0
PREAI
errLabbaf,Faezeh; Groote,Jan Friso; Hojjat,Hossein; Mousavi,Mohammad Reza
err分享
err收藏
err
IF0
err
err0
PREAI
err
err分享
err收藏
Black Box Checking
err1999-01-01
err0
errOAAI
errDoron Peled; Moshe Y. Vardi; Mihalis Yannakakis
err分享
err收藏
The Open-Source LearnLib
err2015-07-16
err0
errOAAI
errMalte Isberner; Falk Howar; Bernhard Steffen
err分享
err收藏
JavaScript Dead Code Identification, Elimination, and Empirical AssessmentJavaScript死代码识别、消除和实证评估
err2023-07-01
err5
errOAAI
errMalavolta, Ivano; Nirghin, Kishan; Scoccia, Gian Luca; Romano, Simone; Lombardi, Salvatore; Scanniello, Giuseppe; Lago, Patricia
err分享
err收藏
学者 查看更多内容