×

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 赵建军

按年份列出的引文