违约 swMATH ID: 20822 软件作者: 亚历山大·唐泽 描述: Breach,一个用于混合系统验证和参数合成的工具箱。我们描述了Breach,它是一个Matlab/C++工具箱,提供了一组连贯的基于仿真的技术,旨在分析混合动力系统的确定性模型。Breach的主要特点是便于大型轨迹集的计算和特性研究。它依赖于一个高效的常微分方程数值解算器,该解算器还可以提供有关参数变化敏感性的信息。后者用于进行近似可达性分析和参数综合。一个主要的新特性是对度量区间时序逻辑(MITL)公式的稳健监控。Breach的应用领域从嵌入式系统设计到系统生物学中复杂非线性模型的分析。 主页: http://people.eecs.berkeley.edu(网址:http://people.eecs.berkeley.edu)/~donze/breach_page.html 依赖项: Matlab公司 相关软件: S-TaLiRo公司;流量*;太空探索技术公司;C2e2型;Matlab公司;github;凯伊迈拉;Reluplex公司;日/日;萨波;高超声速;d到达;西塔;HSolver公司;RSOLVER公司;棱镜;JuliaReach公司;适应性压力测试.jl;朱莉娅;CORA公司 引用于: 32文件 标准条款 1出版物描述软件 年份 Breach——一个用于混合系统验证和参数综合的工具箱亚历山大·顿泽 2010 全部的 前5名104位作者引用 6 埃齐奥·巴托奇 6 德扬·尼科维奇 三 Jyotirmoy V.德斯穆赫。 三 亚历山大·顿泽 三 托马索·德罗西 三 萨扬·密特拉 三 桑吉特·阿伦库马尔·塞希亚 2 卢博什·布里姆 2 科什卡,米兰 2 法尔科内,伊利斯 2 樊楚楚 2 托马斯·费雷尔 2 拉杜·格罗苏 2 金小青 2 詹姆斯·卡宾斯基 2 奈维迪塔·曼朱纳特 2 纳维德·莫赫莱西 2 尼古拉·保莱蒂 2 侯赛因·西拜 1 沃尔夫冈·阿伦特 1 拉杰夫·阿鲁尔 1 亚什万斯·安普雷迪 1 保罗·阿卡尼 1 Stylianos巴萨吉安尼斯 1 多梅尼科·比安库里 1 塞巴斯蒂安·比沃 1 罗德里克·布洛姆 1 卢卡·博托卢西 1 泰勒·J·卡彭特。 1 卡特、丽贝卡 1 阿尔贝托·卡萨格兰德 1 陈洪凯 1 克里斯蒂安·科伦坡 1 Thao Dang先生 1 Dannenberg,弗里茨 1 雷娜·迪米特洛娃 1 卢卡·多里戈 1 帕拉萨拉·斯里达尔·达吉拉拉 1 费内科斯(Georgios E.Fainekos)。 1 马塞洛·福雷茨 1 阿德里安·弗兰卡兰扎 1 弗里斯,迈克尔 1 皮埃尔·洛伊奇·卡洛什 1 马西耶·加兹达。 1 Shromona Ghosh公司 1 乔治·詹塔米迪斯 1 马尼什·戈亚尔 1 一郎·哈索 1 托马斯·海因策。 1 迪迪埃·亨利昂 1 霍尔格·赫尔曼斯 1 黄振奇 1 伊藤久三郎 1 拉多斯拉夫·伊万诺夫 1 斯特凡·雅克西奇 1 苏斯米特·贾 1 加维特·朱尼瓦尔 1 阿里·卡西姆 1 科斯塔斯·库拉马斯 1 Sr Djan Krstić 1 Marta Z.Kwiatkowska。 1 帕斯卡·拉福卡德 1 李因苏普 1 林,珊 1 刘,车 1 Lourenço,Joáo M。 1 吕德云 1 马磊 1 贝内迪克特·马德巴赫 1 维克托·马格伦 1 鲁帕克·马朱姆达尔 1 奥德·马勒 1 克里斯汀·马提斯 1 穆罕默德·雷扎·穆萨维 1 伊娃·玛丽亚·纳瓦罗·洛佩斯 1 劳拉·内兹 1 埃莉奥诺拉·内斯特里尼 1 苏菲·纽鲍尔(Sophie A.Neubauer)。 1 戈登·佩斯。 1 乔治·帕帕斯。 1 卡拉广场 1 埃莉诺拉·皮皮亚 1 Vinayak S.普拉布。 1 若泽·鲁菲诺 1 萨夫拉内克,大卫 1 沙海、图欣 1 塞萨尔·桑切斯 1 吉多·桑吉内蒂 1 桑卡拉纳拉亚南,斯里拉姆 1 乌斯曼桑瓦尔 1 克里斯蒂安·席林 1 杰拉尔多·施奈德 1 Natarajan Shankar 1 乌迈尔·西迪克 1 辛戈尔斯,朱利安 1 斯科特·斯莫尔卡。 1 泽维尔·蒂里欧 1 阿什什·库马尔·蒂瓦里 1 德米特里·特拉泰尔 1 Tsachouridis,Vassilios A。 …还有4位作者 全部的 前5名10篇连载文章中引用 6 系统设计中的形式化方法 2 理论计算机科学 2 信息与计算 2 非线性分析。混合动力系统 1 信息学学报 1 Automatica公司 1 SIAM控制与优化杂志 1 自动推理杂志 1 计算机科学中的逻辑方法 1 数值代数、控制与优化 全部的 前5名10个领域引用 26 计算机科学(68至XX) 13 系统论;控制(93至XX) 7 数学逻辑和基础(03-XX) 4 运筹学、数学规划(90-XX) 4 生物学和其他自然科学(92-XX) 2 数值分析(65-XX) 1 总体主题;集合(00-XX) 1 线性代数和多线性代数;矩阵理论(15-XX) 1 常微分方程(34-XX) 1 动力学系统与遍历理论(37至XX) 按年份列出的引文