S-TaLiRo公司 swMATH ID: 9775 软件作者: 安普雷迪(Annpureddy),亚什旺斯(Yashwanth);刘,车;费内科斯(Fainekos,Georgios);桑卡拉纳拉亚南,斯里拉姆 描述: S-TaLiRo:混合系统时序逻辑证伪工具。S-TaLiRo是一个Matlab(TM)工具箱,用于在Simulink/Stateflow图中搜索鲁棒性最低的轨迹。它可以分析任意Simulink模型或为系统建模的用户定义函数。在该工具的核心,我们使用基于随机优化技术的随机测试,包括蒙特卡罗方法和蚁群优化。工具箱的优点之一是可以在Matlab环境中无缝集成,该环境在行业中广泛用于基于模型的控制软件开发。我们介绍了S-TaLiRo的体系结构及其在应用示例中的工作。 主页: http://link.springer.com/chapter/10.1007%2F978-3-642-19835-9_21 依赖项: Matlab公司 相关软件: 违约;SpaceEx公司;流量*;d到达;Matlab公司;状态流;C2e2型;高超声速;github;自适应压力测试.jl;Uppaal公司;西塔;干燥VR;PHAVer公司;HARE(兔子);日/日;HSolver公司;RSOLVER公司;凯伊迈拉;混合跟踪验证程序 引用于: 26文件 全部的 前5名84位作者引用 4 埃齐奥·巴托西 4 Jyotirmoy V.德斯穆赫。 4 德扬·尼科维奇 三 亚历山大·唐泽 三 萨扬·密特拉 三 桑吉特·阿伦库马尔·塞希亚 2 托马索·德罗西 2 费内科斯(Georgios E.Fainekos)。 2 黄振奇 2 金小青 2 詹姆斯·卡宾斯基 2 桑卡拉纳拉亚南,斯里拉姆 1 沃尔夫冈·阿伦特 1 马蒂亚斯·阿尔霍夫 1 拉杰夫·阿鲁尔 1 亚什万斯·安普雷迪 1 保罗·阿卡尼 1 艾丁·戈尔(Ebru Aydin Gol) 1 Stylianos巴萨吉安尼斯 1 Calin A.Belta。 1 多梅尼科·比安库利 1 卢卡·博托卢西 1 泰勒·J·卡彭特。 1 克里斯蒂安·科伦坡 1 帕拉萨拉·斯里达尔·达吉拉拉 1 梅尔特·埃尔古图纳 1 法尔科内,伊利斯 1 樊楚楚 1 费雷尔,托马斯 1 阿德里安·弗兰卡兰扎 1 Shromona Ghosh公司 1 乔治·詹塔米迪斯 1 马尼什·戈亚尔 1 拉杜·格罗苏 1 一郎·哈索 1 伊藤久弘 1 拉多斯拉夫·伊万诺夫 1 斯特凡·雅克西奇 1 苏斯米特·贾 1 加维特·朱尼瓦尔 1 科斯塔斯库拉马斯 1 Sr Djan Krstić 1 Kuřátko,简 1 李因苏普 1 刘,车 1 Lourenço,Joáo M。 1 吕德云 1 马、雷 1 鲁帕克·马朱姆达尔 1 奥德·马勒 1 托尼·曼奇尼 1 费德里科·马里奥 1 安娜丽莎·马西尼 1 克里斯汀·马提斯 1 努什·迈赫迪波尔 1 伊戈尔·梅拉蒂 1 纳维德·莫赫莱西 1 伊娃·玛丽亚·纳瓦罗·洛佩斯 1 劳拉·内兹 1 埃莉奥诺拉·内斯特里尼 1 医学博士O'Toole。 1 戈登·佩斯。 1 乔治·帕帕斯。 1 Vinayak S.普拉布。 1 秦,辛 1 斯特凡·拉特肖恩 1 若泽·鲁菲诺 1 沙海、图欣 1 塞萨尔·桑切斯 1 吉多·桑吉内蒂 1 杰拉尔多·施奈德 1 Natarajan Shankar 1 侯赛因·西拜 1 辛戈尔斯,朱利安 1 Radboud Duintjer特本斯 1 阿什什·库马尔·蒂瓦里 1 德米特里·特拉泰尔 1 恩里科·特隆西 1 Tsachouridis,瓦西里奥斯A。 1 詹姆斯·威默。 1 亚历山大·韦斯 1 亚辛卡亚、贝亚齐特 1 张振亚 1 赵建军 全部的 前5名11篇连载文章中引用 5 系统设计中的形式化方法 2 Automatica公司 1 信息学报 1 理论计算机科学 1 信息与计算 1 自动推理杂志 1 动力系统的数学和计算机建模 1 优化与工程 1 非线性分析。混合动力系统 1 数值代数、控制与优化 1 程序设计中的逻辑和代数方法杂志 全部的 前5名11个领域引用 19 计算机科学(68至XX) 14 系统论;控制(93至XX) 5 数学逻辑和基础(03-XX) 4 数值分析(65-XX) 4 运筹学、数学规划(90-XX) 2 常微分方程(34-XX) 2 生物学和其他自然科学(92-XX) 1 线性代数和多线性代数;矩阵理论(15-XX) 1 动力系统和遍历理论(37至XX) 1 粒子和系统力学(70-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文