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