×
Vaandrager，Frits公司;罗德里克·布洛姆;马苏德·易卜拉希米

用一个定时器学习Mealy机器。 （英语） Zbl 07405985号

Leporati，Alberto（编辑）等人，《语言和自动机理论与应用》。2021年3月1日至5日，第15届国际会议，LATA 2021，意大利米兰。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12638, 157-170 (2021).
小结：我们介绍了带有单定时器（MM1T）的Mealy机器，这是一类模型，它具有足够的表达能力，可以描述许多实际应用程序的实时行为，并且可以有效地学习。我们展示了如何通过减少学习Mealy机器的问题来获得MM1T的学习算法。我们描述了一个基于LearnLib的MM1T学习器的实现，并将其性能与Aichernig等人和an等人在几个实际基准上提出的最新算法进行了比较。
关于整个系列，请参见[Zbl 1470.68022号].

引用于6文件

MSC公司：

65年第68季度 形式语言和自动机
PDF格式BibTeX公司 XML格式引用
\textit{F.Vaandrager}等人，Lect。注释计算。科学。12638、157--170（2021；Zbl 07405985）
全文： 内政部

参考文献：

[1] Aichernig，BK；Pferscher，A。；Tappler，M。；李·R。；Jha，S。；Mavridou，A。；Giannakopoulou，D.，《从被动到主动：有效学习时间自动机》，NASA形式方法，1-19（2020），Cham:Springer，Cham·doi:10.1007/978-3-030-55754-6_1
[2] 阿鲁尔（Alur，R.）。；Dill，D.，《时间自动机理论》，Theoret。计算。科学。，126, 183-235 (1994) ·Zbl 0803.68071号 ·doi:10.1016/0304-3975（94）90010-8
[3] An，J。；陈，M。；詹，B。；詹，N。；Zhang，M.，学习单时钟时间自动机，系统构建和分析的工具和算法，444-462（2020），Cham:Springer，Cham·Zbl 1507.68163号 ·doi:10.1007/978-3-030-45190-5_25
[4] 考德威尔，B。；Cardell-Oliver，R。；French，T.，《从可编程逻辑控制器学习时滞机器》，IEEE Trans。自动。科学。工程师，13，2，1155-1164（2015）·doi:10.1109/TASE.2015.2496242
[5] Fiterău-Broştean，P·。；Howar，F。；佩特鲁奇。；塞塞莱亚努，C。；Cavalcanti，A.，基于学习的TCP实现滑动窗口行为测试，关键系统：形式化方法和自动验证，185-200（2017），Cham:Springer，Cham·数字对象标识代码：10.1007/978-3-319-67113-0_12
[6] Fiteréu-Broštean，P.，Jonsson，B.，Merget，R.，de Ruiter，J.，Sagonas，K.，Somorovsky，J.：使用协议状态模糊化分析DTLS实现。在：USENIX安全研讨会。USENIX协会（2020）
[7] Fiteréu-Broštean，P.、Lenaerts，T.等人：SSH实现的模型学习和模型检查。参加：SPIN研讨会。ACM（2017）
[8] 菲特尔·乌·布罗什坦，P。；杨森，R。；Vaandrager，F。；南部乔杜里。；Farzan，A.，《将模型学习和模型检查结合起来分析TCP实现》，《计算机辅助验证》，454-471（2016），Cham:Springer，Cham·数字对象标识代码：10.1007/978-3-319-41540-6_25
[9] 格林斯坦，O。；Jonsson，B。；Leucker，M.，《事件记录自动机的学习》，Theoret。计算。科学。，411, 47, 4029-4054 (2010) ·Zbl 1205.68201号 ·doi:10.1016/j.tcs.2010.07.008
[10] 格林斯坦，O。；Jonsson，B。；Pettersson，P。；拜尔，C。；Hermanns，H.，使用时间决策树推断事件记录自动机，CONCUR 2006-并发理论，435-449（2006），海德堡：斯普林格·Zbl 1151.68459号 ·doi:10.1007/11817949_29
[11] 亨利·L。；Jéron，T。；马基，N。；北伯特兰。；Jansen，N.，《带不可观测重置的时间自动机主动学习》，《时间系统的形式化建模与分析》，144-160（2020），查姆：斯普林格，查姆·Zbl 07317095号 ·doi:10.1007/978-3-030-57628-89
[12] Howar，F。；Jonsson，B。；Vaandrager，F。；斯特芬，B。；Woeginger，G.，《结合黑盒和白盒技术学习寄存器自动机》，《计算与软件科学》，563-588（2019），查姆：斯普林格，查姆·Zbl 1482.68113号 ·doi:10.1007/978-3-319-91908-9_26
[13] Howar，F。；斯特芬，B。；Bennaceur，A。；Hähnle，R。；Meinke，K.，《主动自动机学习在实践中的应用》，《动态软件分析的机器学习：潜力和局限性》，123-148（2018），查姆：斯普林格，查姆·doi:10.1007/978-3-319-96562-85
[14] IEEE:Std 802.11-2016（IEEE Std 802.11-2012修订版）：第11部分：无线局域网媒体访问控制（MAC）和物理层（PHY）规范（2016）
[15] 库洛泽，JF；KW Ross，《计算机网络：自上而下的方法》（2013），伦敦：皮尔逊出版社，伦敦
[16] Postel，J.E.：传输控制协议。RFC 7931981年9月
[17] Raffelt，H.、Steffen，B.、Berg，T.：LearnLib：自动化学习和实验库。In:FMICS 2005。ACM出版社（2005）
[18] 拉菲尔特，H。；Steffen，B。；Berg，T。；Margaria，T.，LearnLib:外推行为模型的框架，STTT，11，5，393-407（2009）·doi:10.1007/s10009-009-0111-8
[19] Rivest，R.，Schapire，R.：使用归巢序列推断有限自动机（扩展抽象）。摘自：美国计算机学会计算理论研讨会。ACM（1989年）·Zbl 0786.68082号
[20] Ruiter，J.d.，Poll，E.：TLS实现的协议状态模糊化。在：USENIX安全研讨会上。USENIX（2015）
[21] 斯特芬，B。；Howar，F。；Merten，M。；伯纳多，M。；Issarny，V.，《从实践角度介绍主动自动机学习》，《永恒网络化软件系统的形式化方法》，256-296（2011），海德堡：斯普林格·doi:10.1007/978-3642-21455-48
[22] 麦克马洪·斯通，C。；乔提亚，T。；de Ruiter，J。；洛佩兹，J。；周，J。；Soriano，M.，《为802.11四向握手扩展自动协议状态学习》，《计算机安全》，325-345（2018），查姆：斯普林格，查姆·数字对象标识代码：10.1007/978-3-319-99073-6_16
[23] Tappler，M。；Aichernig，BK；拉森，KG；Lorber，F。；安德烈女士。；Stoelinga，M.，《学习的时间——从测试中学习时间自动机》，《时间系统的形式化建模与分析》，216-235（2019），查姆：斯普林格，查姆·Zbl 1434.68212号 ·doi:10.1007/978-3-030-29662-9_13
[24] Vaandrager，F.，模型学习，Commun。ACM，60，2，86-95（2017）·数字对象标识代码：10.1145/2967606
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。