流量* swMATH ID: 20162 软件作者: Xin Chen、Erika Al brahám、Sriram Sankaranarayanan 描述: Flow*:非线性混合系统分析仪。工具Flow*对非线性(多项式)混合系统执行基于泰勒模型的流管构造。Flow*将著名的泰勒模型算法技术与处理模式不变量和离散转换的方法相结合,以保证每种模式下连续动力学的近似值。Flow*支持多种优化,包括自适应步长、自适应选择近似顺序和启发式选择模板方向以聚合流管道。本文描述了Flow*,并在一系列非线性连续和混合系统基准上演示了其性能。我们的比较表明,Flow*与其他工具相比具有竞争力。 主页: https://flowstar.org/ 相关软件: SpaceEx公司;d到达;高超声速;CORA公司;违约;凯伊迈拉;PHAVer公司;C2e2型;github;JuliaReach公司;S-TaLiRo公司;Reluplex公司;日/日;Matlab公司;NNV公司;d密封;z3(零3);阿里阿德涅;ReachNN公司;HyLAA公司 引用于: 49文件 全部的 前5名150位作者引用 4 塞尔吉·博戈莫洛夫 4 米尔科·特里巴斯通 4 马克斯·柴科夫斯基 4 安德烈·范丁 三 卢卡·卡德利 三 托马索·德罗西 三 泰勒·T·约翰逊。 2 亚历山德罗·阿巴特 2 斯坦利·巴克 2 米歇尔·博雷尔 2 路易斯·科洛迪 2 戴丽云 2 Thao Dang先生 2 Jyotirmoy V.德斯穆赫。 2 马塞洛·福雷茨 2 戈兰·弗雷斯 2 甘婷 2 拉杜·格罗苏 2 纳撒尼尔·P·汉密尔顿。 2 卡拉广场 2 安德烈·普拉泽 2 科斯蒂安·波托姆金 2 桑卡拉纳拉亚南,斯里拉姆 2 克里斯蒂安·席林 2 朱塞佩·斯奎拉克 2 夏碧灿 2 詹乃军 1 艾丽卡·阿尔布拉汉姆 1 沃尔夫冈·阿伦特 1 亚明·艾特阿默尔 1 Alexandre dit Sandretto,朱利安 1 马蒂亚斯·阿尔霍夫 1 劳拉·阿尔蒂莉·桑巴托洛美 1 拉杰夫·阿鲁尔 1 埃蒂安·安德烈 1 保罗·阿卡尼 1 穆拉特·阿卡克 1 尼科斯·阿雷奇加 1 埃里克·阿塞林 1 Badings,Thom S。 1 索米尔·班萨尔 1 埃齐奥·巴托西 1 Stylianos巴萨吉安尼斯 1 多梅尼科·比安库利 1 卜、雷 1 弗洛里安·班格尔 1 泰勒·J·卡彭特。 1 阿尔贝托·卡萨格兰德 1 达里奥·卡塔鲁扎 1 玛格丽特·查普曼。 1 亚历山大·查普托 1 陈明帅 1 陈,莫 1 陈欣 1 陈欣 1 亚瑟·克莱维尔 1 克里斯蒂安·科伦坡 1 Damers,朱利安 1 加布里埃尔·德·阿尔伯克基·格莱泽 1 吉安尼斯·德尔姆帕尔塔基斯 1 亚历克斯·德文波特 1 卢卡·多里戈 1 纪尧姆·杜邦 1 Souradeep杜塔 1 特里斯坦·埃伯特 1 伊利耶斯·法尔科内 1 樊楚楚 1 阿德里安·弗兰卡兰扎 1 劳伦·弗里堡 1 克里斯托夫·加里昂 1 比尼特·戈什 1 米尔科·贾科布 1 乔治·詹塔米迪斯 1 埃里克·古堡 1 威廉·哈格曼 1 一郎·哈索 1 布兰登·亨西 1 托马斯·亨辛格(Thomas A.Henzinger)。 1 西尔维娅·赫伯特。 1 石泽隆彦 1 拉多斯拉夫·伊万诺夫 1 保罗·B·杰克逊。 1 尼尔斯·詹森 1 卢克·杰林 1 苏斯米特·贾 1 詹姆斯·卡宾斯基 1 Kochdumper,尼克拉斯 1 科斯塔斯库拉马斯 1 布鲁斯·H·克罗。 1 丹尼尔·科宁 1 Sr Djan Krstić 1 金·古德斯特兰·拉森 1 阿德里安·勒科恩特 1 李因苏普 1 伊桑·卢 1 李宣东 1 Lourenço,Joáo M。 1 吕德云 1 马磊 1 鲁帕克·马朱姆达尔 …还有50多位作者 全部的 前5名15篇连载文章中引用 4 系统设计中的形式化方法 2 信息与计算 2 自动推理杂志 2 非线性分析。混合动力系统 1 人工智能 1 Automatica公司 1 IEEE自动控制汇刊 1 计算与应用数学杂志 1 符号计算杂志 1 计算的形式方面 1 人工智能研究杂志 1 计算机科学中的数学 1 计算机科学中的逻辑方法 1 数值代数、控制与优化 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在12个字段中引用 36 计算机科学(68至XX) 27 系统论;控制(93至XX) 5 常微分方程(34-XX) 5 数值分析(65-XX) 4 数学逻辑和基础(03-XX) 三 运筹学、数学规划(90-XX) 1 线性代数和多线性代数;矩阵理论(15-XX) 1 变分法与最优控制;最优化(49至XX) 1 凸和离散几何(52至XX) 1 概率论与随机过程(60-XX) 1 生物学和其他自然科学(92-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文