日/日 swMATH ID: 10314 软件作者: 细辛,尤金;Dang,Thao;奥德·马勒 说明: d/dt是分析具有线性微分包含的连续和混合系统可达性的工具。用于验证混合系统的d/dt工具。我们描述了工具d/dt,它为具有不确定输入的线性连续动力学混合系统提供了自动安全验证。验证过程基于通过正交多面体过度逼近可达集的方法。该工具还允许合成一个控制器,用于在连续模式之间切换系统,以满足安全规范。 主页: 网址:http://www-verimag.imag.fr/~tdang/ddt.html 相关软件: 高超声速;PHAVer公司;SpaceEx公司;RSOLVER公司;Uppaal公司;HSolver公司;克洛诺斯;流量*;QEPCAD公司;基准;违约;萨波;CORA公司;杂交分析;d到达;Matlab公司;MPT公司;马蒂斯;C2e2型;S-TaLiRo公司 引用于: 40文件 全部的 前5名被84位作者引用 7 Thao Dang先生 4 尤金·亚萨林 4 卡拉广场 4 桑卡拉纳拉亚南,斯里拉姆 三 达姆,沃纳 三 斯特凡·迪什 三 弗洛里安·皮戈什 三 克里斯托夫·朔尔 三 乌韦·沃尔德曼 三 鲍里斯·维茨 2 埃齐奥·巴托西 2 达里奥·坎帕尼亚 2 阿尔贝托·卡萨格兰德 2 弗拉维奥·科拉迪尼 2 迪·贝拉迪尼、玛丽亚·丽塔 2 托马索·德罗西 2 帕拉萨拉·斯里达尔·达吉拉拉 2 埃米利亚·恩切娃 2 安托万·吉拉德 2 拉杜·格罗苏 2 哈迪·亨加 2 奥德·马勒 2 佐哈尔·曼纳 2 萨扬·密特拉 2 庞、军 2 帕维特拉·普拉巴卡 2 史蒂芬·般若 2 亨尼·B·西普玛。 2 斯科特·斯莫尔卡。 2 马赫什·维斯瓦纳坦 1 亚明·艾特阿默尔 1 贝扎德·阿克巴普尔 1 阿姆鲁阿兰瓦尔 1 马蒂亚斯·阿尔特霍夫 1 Stylianos巴萨吉安尼斯 1 马西莫·贝内雷切蒂 1 阿米特·巴蒂亚 1 卜、雷 1 卢卡·卡洛尼(Luca P.Carloni)。 1 彼得·柯林斯。 1 Di Vito,Ben L。 1 海宁·迪尔克斯 1 亚历山大·唐泽 1 卢卡·多里戈 1 罗尔夫·德雷克斯勒 1 纪尧姆·杜邦 1 马可·费拉 1 埃米利奥·弗雷佐利 1 乔治·詹塔米迪斯 1 Jorge M.Gonçalves。 1 威廉·哈格曼 1 阿卜杜拉·哈马德。 1 弗兰乔·伊万契奇 1 瑞典雅各布斯 1 阿里·贾德巴比 1 卡尔·亨利克·约翰逊 1 Kavraki,Lydia E。 1 古·T·约翰 1 科斯塔斯库拉马斯 1 布鲁斯·H·克罗。 1 科拉斯·勒格尔尼奇 1 李宣东 1 丹尼尔·利伯松 1 斯特凡诺·米诺波利 1 塞萨尔·穆尼奥斯。 1 马克·潘特尔 1 罗伯托·帕塞罗内 1 劳伦斯·查尔斯·保尔森 1 亚历山德罗·平托 1 埃莉诺拉·皮皮亚 1 埃里昂·普拉库 1 阿尔贝托,Policriti 1 安德斯·兰泽 1 斯特凡·拉特肖恩 1 Sangiovanni Vincentelli、Alberto L。 1 她,志坤 1 尼拉杰·库马尔·辛格 1 伊冯·R·Stürz。 1 苏,杭 1 Tsachouridis,Vassilios A。 1 莫西·亚亚科夫·瓦尔迪 1 吴贤斌 1 夏松涛 1 赵建华 全部的 前5名11篇连载文章中引用 4 理论计算机科学 三 系统设计中的形式化方法 2 Automatica公司 1 信息学报 1 SIAM控制与优化杂志 1 计算机程序设计科学 1 信息与计算 1 离散事件动态系统 1 欧洲控制杂志 1 非线性分析。混合动力系统 1 数值代数、控制与优化 全部的 前5名在12个字段中引用 28 计算机科学(68至XX) 22 系统论;控制(93至XX) 三 运筹学、数学规划(90-XX) 三 生物学和其他自然科学(92-XX) 1 总体主题;集合(00-XX) 1 数学逻辑和基础(03-XX) 1 交换代数(13-XX) 1 线性代数和多线性代数;矩阵理论(15-XX) 1 常微分方程(34-XX) 1 数值分析(65-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文