时间自动机主动学习算法研究进展
作者:
作者单位:

作者简介:

通讯作者:

中图分类号:

基金项目:


Advances in Active Learning Algorithms for Timed Automata
Author:
Affiliation:

Fund Project:

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

    时间自动机(timed automata, TA)是描述实时系统时间约束行为的重要形式化工具, 广泛应用于嵌入式系统、通信协议等领域. 传统手动构建实时系统模型的方式耗时且易出错, 自动推断模型成为研究热点. 本文聚焦时间自动机主动学习算法, 按照数据存储结构以及等价查询方法进行梳理, 总结了当前时间自动机领域中主动学习算法的最新研究现状, 梳理其核心思想、技术框架, 同时分析当前研究面临的挑战. 通过对比各种方法的优势与局限性, 本文希望为研究者提供一个清晰的参考框架, 并提出未来可能的研究思路, 旨在推动TA自动化建模理论与实践发展.

    Abstract:

    As an important formal tool for describing the time-constrained behavior of real-time systems, timed automata are widely employed in fields such as embedded systems and communication protocols. The traditional way of manually building real-time system models is time-consuming and prone to errors, and automatic inference models have become a research hotspot. This study focuses on the active learning algorithms of time automata, sorts them out according to the data storage structure and equivalent query method, summarizes both the latest research status of active learning algorithms in the current field of time automata, and their core ideas and technical frameworks, with the challenges faced by the current research analyzed at the same time. By comparing the advantages and limitations of various methods, this study hopes to provide researchers with a clear reference framework and propose possible future research ideas, aiming to promote the development of the theory and practice of TA automated modeling.

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

曹舒,涂键,刘芳.时间自动机主动学习算法研究进展.计算机系统应用,2026,35(1):39-51

复制
分享
相关视频

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

京公网安备 11040202500063号