×
亚什万斯·安普雷迪；刘，车；乔治·费内科斯；桑卡拉纳拉亚南，斯里拉姆

S-TaLiRo：混合系统时序逻辑证伪工具。 （英语） Zbl 1316.68069号

Abdulla，Parosh Aziz（编辑）等人，《系统构建和分析的工具和算法》。2011年3月26日至4月3日在德国萨尔布吕肯举行的第17届国际会议（TACAS 2011），是欧洲软件理论与实践联合会议（ETAPS 2011）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-19834-2/pbk）。计算机科学讲座笔记6605254-257（2011）。
概述：S-TaLiRo是一个Matlab（TM）工具箱，用于在Simulink/Stateflow图中搜索鲁棒性最低的轨迹。它可以分析任意Simulink模型或为系统建模的用户定义函数。该工具的核心是使用基于随机优化技术的随机测试，包括Monte-Carlo方法和Ant-Colony优化。工具箱的优点之一是可以在Matlab环境中无缝集成，该环境在行业中广泛用于基于模型的控制软件开发。我们介绍了S-TaLiRo的体系结构及其在应用示例中的工作。
关于整个系列，请参见[Zbl 1213.68016号].

引用于26文件

MSC公司：

60年第68季度 规范和验证（程序逻辑、模型检查等）
93立方 由微分方程以外的函数关系控制的控制/观测系统（例如混合系统和开关系统）

软件：

状态流；TaLiRo公司；S-TaLiRo公司；Matlab公司；违约
PDF格式BibTeX公司 XML格式引用
\textit{Y.Annpureddy}等人，Lect。注释计算。科学。6605254--257（2011；Zbl 1316.68069）
全文： 内政部

参考文献：

[1] Annapureddy，Y.S.R.，Fainekos，G.：混合系统时间逻辑证伪的蚁群。附：IEEE工业电子第36届年会会议记录（2010）·doi:10.1109/IECON.2010.5675195
[2] Donzé，A.：Breach，混合系统验证和参数综合工具箱。在：Touili，T.，Cook，B.，Jackson，P.（编辑）CAV 2010。LNCS，第6174卷，第167-170页。斯普林格，海德堡（2010）·兹比尔05772630 ·doi:10.1007/978-3-642-14295-617
[3] Fainekos，G.E.，Pappas，G.J.：TaLiRo用户指南。宾夕法尼亚大学CIS系技术报告（2008年）
[4] Fainekos，G.E.，Pappas，G.J.：连续时间信号时序逻辑规范的稳健性。理论计算机科学410（42），4262–4291（2009）·Zbl 1186.68287号 ·doi:10.1016/j.tcs.2009.06.021
[5] Fehnker，A.，Ivanć，F.：混合系统验证基准。In：Alur，R.，Pappas，G.J.（编辑）HSCC 2004。LNCS，第2993卷，第326–341页。斯普林格，海德堡（2004）·Zbl 1135.93324号 ·doi:10.1007/978-3-540-24743-222
[6] Nghiem，T.、Sankaranarayanan，S.、Fainekos，G.、Ivančić，F.、Gupta，A.、Pappas，G.：用于伪造非线性系统时间特性的Monte-Carlo技术。摘自：《混合系统：计算与控制》，第211-220页。ACM出版社，纽约（2010）·Zbl 1361.68149号
[7] Plaku，E.、Kavraki，L.E.、Vardi，M.Y.：混合系统中LTL安全特性的伪造。收录：Kowalewski，S.，Philippou，A.（编辑）TACAS 2009。LNCS，第5505卷，第368–382页。施普林格，海德堡（2009）·Zbl 1234.68264号 ·doi:10.1007/978-3-642-00768-231
[8] Rizk，A.，Batt，G.，Fages，F.，Soliman，S.：关于时间逻辑公式在系统生物学应用中的连续满意度。收录：Heiner，M.，Uhrmacher，A.M.（编辑）CMSB 2008。LNCS（LNBI），第5307卷，第251-268页。施普林格，海德堡（2008）·Zbl 05351404号 ·doi:10.1007/978-3-540-88562-7_19
[9] Rubinstein，R.Y.，Kroese，D.P.：模拟和蒙特卡罗方法。概率与数理统计中的威利级数（2008）·Zbl 1147.68831号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。