观察树驱动的确定性时间自动机主动学习
CSTR:
作者:
作者单位:

作者简介:

通讯作者:

中图分类号:

TP311

基金项目:

国家重点研发计划(2022ZD0120303); 国家自然科学基金(62472316); 上海市2023年度“科技创新行动计划”区块链关键技术攻关专项(23511100800)


Observation-tree-driven Active Learning of Deterministic Timed Automata
Author:
Affiliation:

Fund Project:

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 资源附件
  • |
  • 文章评论
    摘要:

    时间自动机的主动学习是一个重要的研究话题. 多时钟时间自动机的主动学习是其中一个重要的研究方向. 然而, 已有的多时钟时间自动机的学习算法的学习速度较慢. 基于时间观察树提出一种改进的主动学习算法. 定义一种名为时间观察树的数据结构, 用于存储学习过程中获取的信息. 基于时间观察树的特殊结构, 可以利用二分搜索技术来分析反例. 通过使用该反例分析技术, 可以减少成员查询的数量和重置信息查询的数量, 从而提高算法的效率. 实验结果证明了该方法的有效性.

    Abstract:

    Active learning of timed automata is an important research topic. Active learning of multi-clock timed automata is one of the important research directions. However, the existing learning algorithms for multi-clock timed automata have relatively slow learning speed. This study proposes an improved active learning algorithm based on a timed observation tree. A data structure called the timed observation tree is defined to store the information obtained during the learning process. Based on the special structure of the timed observation tree, binary search techniques can be used to analyze counterexamples. By using this counterexample analysis technique, the number of membership queries and reset information queries can be reduced, thereby improving the efficiency of the proposed algorithm. Experimental results demonstrate the effectiveness of the method.

    参考文献
    相似文献
    引证文献
引用本文

滕宇,张苗苗.观察树驱动的确定性时间自动机主动学习.软件学报,2026,37(9):1-21

复制
相关视频

分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:2025-09-08
  • 最后修改日期:2025-10-28
  • 录用日期:
  • 在线发布日期: 2025-12-24
  • 出版日期: 2026-09-06
文章二维码
您是第位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号