马蒂斯 swMATH ID: 6311 软件作者: 安托万·吉拉德;乔治·J·帕帕斯。 描述: MATISSE是一个免费的MATLAB工具箱,用于大维、约束线性系统的安全验证和可达集计算。马蒂斯基于使用近似互模拟关系抽象线性系统的框架[1,2,3,4]。与基于语言包含或精确互模拟关系的系统等价和精化的通常概念相反,近似互模拟关系不要求系统的行为及其抽象完全相同。近似互模拟关系旨在捕获系统动力学最重要的特征,而忽略不太重要的特征。近似程度由近似互模拟的精度给出。这种精度显著地提供了系统轨迹和抽象轨迹之间的距离界限。基于近似互模拟的抽象对于安全验证问题特别有用,该问题包括检查系统的可达集与不安全集的交集是否为空。如果我们可以检查不安全集到系统抽象的可达集的距离是否大于近似互模拟的精度,那么可以得出原始系统是安全的。系统的鲁棒安全性越高,近似值就越可能,这证实了一个直观的事实,即鲁棒安全系统的验证应该更容易。 主页: http://www-ljk.imag.fr/members/Antoine.Girard/Software/Matisse/ 依赖项: Matlab;MATLAB工具箱 相关软件: 高超声速;PHAVer公司;SpaceEx公司;雅尔米普;Sostools公司;Matlab公司;Uppaal公司;日/日;d真实;有长椅的;cf工具;PESSOA公司;SMV公司;机器人学;mCRL2型;ECDAR公司;FDR3公司;CADP公司;Reluplex公司;流量* 引用于: 34文件 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 约束线性系统的近似互模拟关系。 兹比尔1130.93365安托万·吉拉德;乔治·J·帕帕斯。 2007 全部的 前5名84位作者引用 5 乔治·J·帕帕斯。 4 安托万·吉拉德 三 A.Agung朱利叶斯 2 拉杜·格罗苏 2 Jun’ichi村 2 伊斯兰,马里兰州Ariful 2 小林,小一 2 鲁帕克·马朱姆达尔 2 穆尔蒂,阿布谢克 2 玛丽亚·普兰迪尼 2 斯科特·斯莫尔卡。 1 亚历山德罗·阿巴特 1 Abdallah,Chaouki Tanios 1 亚明·艾特阿默尔 1 亚伦·D·埃姆斯。 1 安托拉斯,阿萨纳西奥斯·C。 1 埃齐奥·巴托西 1 塞巴斯蒂安·比沃 1 朱莉娅·布拉曼(Julia M.B.Braman)。 1 阿尔贝托·卡萨格兰德 1 克里希南德·查特吉 1 陈增强 1 伊丽莎白·M·切里(Elizabeth M.Cherry)。 1 帕特里克·库索特 1 达姆,沃纳 1 雷娜·迪米特洛娃 1 纪尧姆·杜邦 1 弗拉维奥·芬顿。 1 克利斯朵夫·菲特 1 马丁·范策尔 1 劳伦·弗里堡 1 迈克尔·弗里斯 1 傅洁 1 加兹达,Maciej W。 1 詹姆斯·格利姆(James G.Glimm)。 1 戈西亚·伊恩·维克托 1 埃里克·古堡 1 凯文·格拉斯(Kevin A.Grasse)。 1 冀海波 1 韩晓光 1 托马斯·海因策。 1 霍尔格·赫尔曼斯 1 Hiraishi、Kunihiko 1 彼得·亚当·赫赫 1 季海波 1 泰勒·T·约翰逊。 1 杨开红 1 金·古德斯特兰·拉森 1 约翰·莱杰罗斯 1 南希·安·林奇 1 平口松岛 1 伊万娜·米奇 1 萨扬·密特拉 1 萨米赫·穆罕默德 1 穆罕默德·雷扎·穆萨维 1 玛丽安,Mrozek 1 劳拉,蒙提努 1 理查德·默里(Richard M.Murray)。 1 伊娃·玛丽亚·纳瓦罗·洛佩斯 1 阮林安 1 阮、滦越 1 医学博士O'Toole。 1 潘特尔,马克 1 亚历山德罗·维托里奥·帕帕佐普洛斯 1 米哈利·彼得雷茨基 1 卡拉广场 1 Jorge L.Piovesan。 1 阿尔贝托,Policriti 1 帕维特拉·普拉巴卡 1 Sylvie推杆 1 贾·戴维德·奎塞尔 1 拉瓦尔,契坦 1 马哈茂德·萨拉马蒂 1 S.Shankar,萨斯特里 1 克里斯蒂安·席林 1 尼拉杰·库马尔·辛格 1 萨代赫·苏贾尼 1 吉·斯尔巴 1 斯坦尼米罗维奇,斯特凡 1 保罗·塔布阿达 1 赫伯特·G·坦纳。 1 Tran,Hoang-Dung村 1 项伟明 1 杨凯红 全部的 前5名16篇连载文章中引用 5 离散事件动态系统 4 Automatica公司 2 系统和控制信函 1 富兰克林学院学报 1 模糊集与系统 1 理论计算机科学 1 信息与计算 1 MCSS公司。控制、信号和系统数学 1 国际鲁棒非线性控制杂志 1 系统设计中的形式化方法 1 计算数学进展 1 欧洲控制杂志 1 动力系统的数学和计算机建模 1 计算机科学中的逻辑方法 1 非线性分析。混合动力系统 1 亚洲控制杂志 全部的 前5名13个领域引用 25 系统论;控制(93至XX) 16 计算机科学(68至XX) 三 生物学和其他自然科学(92-XX) 2 数学逻辑和基础(03-XX) 2 常微分方程(34-XX) 2 运筹学、数学规划(90-XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 2 信息与通信理论、电路(94-XX) 1 代数几何(14-XX) 1 动力系统和遍历理论(37至XX) 1 变异微积分和最优控制;最优化(49至XX) 1 概率论与随机过程(60-XX) 1 粒子和系统力学(70-XX) 按年份列出的引文