Page 180 - 《软件学报》2025年第8期

王佳宛 等: 基于混成自动机路径过滤与动态选择的 CPS 系统反例生成 3603

traces. ACM Trans. on Cyber-physical Systems, 2022, 6(2): 13. [doi: 10.1145/3470455]
[43] García Soto M, Henzinger TA, Schilling C. Synthesis of parametric hybrid automata from time series. In: Proc. of the 20th Int’l Symp. on
Automated Technology for Verification and Analysis. Springer, 2022. 337–353. [doi: 10.1007/978-3-031-19992-9_22]
[44] Gurung A, Waga M, Suenaga K. Learning nonlinear hybrid automata from input-output time-series data. In: Proc. of the 21st Int’l Symp.
on Automated Technology for Verification and Analysis. Singapore: Springer, 2023. 33–52. [doi: 10.1007/978-3-031-45329-8_2]

王佳宛(1997－), 女, 博士生, CCF 学生会员, 主 卜磊(1983－), 男, 博士, 教授, 博士生导师, CCF
要研究领域为复杂软件系统形式化分析与验证. 杰出会员, 主要研究领域为形式化方法, 复杂软
件系统分析与验证.

刘熹橦(2003－), 男, 本科生, 主要研究领域为机 李宣东(1963－), 男, 博士, 教授, 博士生导师,
器学习. CCF 会士, 主要研究领域为软件工程, 系统软件,
可信软件, 形式化方法.