科西马 swMATH ID: 20124 软件作者: 塞布蒂·穆埃利;安托万·吉拉德;格雷戈·戈斯勒 描述: CoSyma:使用多尺度抽象进行控制器综合的工具。我们介绍了CoSyMA,一种基于多尺度离散抽象的增量稳定切换系统自动控制器综合工具。该工具接受由一组微分方程和采样参数表示的切换系统的描述,采样参数用于定义计算离散抽象的状态空间近似值。该工具为系统生成一个控制器(如果存在),以强制执行给定的安全或有时间限制的可达性规范。我们通过实例说明了所合成的控制器及其计算过程中的显著性能增益。 主页: http://dl.acm.org/citation.cfm?doid=2461328.2461343 关键词: 控制器综合;多尺度抽象;交换式系统;符号算法 相关软件: 斯科特;PESSOA公司;TuLiP公司;ROCS公司;p面;AROC公司;长期平均价格;防抱死制动系统;GRK标签;OmegaThreads公司;条纹;OMPL公司;控制工具箱;PHAVer公司;古罗比;FaST机架;Python机器人;数字Py;科学Py;皮波曼 引用于: 16文件 全部的 前5名41位作者引用 4 马吉德·扎马尼 2 阿帕扎·佩雷斯,W.亚历杭德罗 2 克利斯朵夫·康巴斯特 2 樊楚楚 2 马哈茂德·哈立德 2 刘军 2 阿里·佐尔加德里 1 亚历山德罗·阿巴特 1 马蒂亚斯·阿尔霍夫 1 穆拉特·阿卡克 1 迪米特里斯·博斯科斯 1 卢多维奇·查莫因 1 陈景凯 1 弗洛里安·德·维斯特 1 迪马罗戈纳斯,迪莫斯五世。 1 劳伦特·弗里堡 1 维克托·加曼 1 安托万·吉拉德 1 费利克斯·格鲁伯 1 徐凯尔 1 埃里克·S·金。 1 莫里茨·克利沙特 1 尼古拉斯·科奇杜普尔 1 阿德里安·勒科恩特 1 李依南 1 伊利赛·马科维奇克(Elisei Macoveiciuc) 1 鲁帕克·马朱姆达尔 1 考希·马利克 1 克里斯蒂娜·米勒 1 萨扬·密特拉 1 安卡·穆斯科尔 1 内克米耶·奥扎伊 1 Reißig、Gunther 1 雷伊,克里斯蒂安·A。 1 马蒂亚斯·伦格 1 安妮·凯瑟琳·施穆克 1 巴斯蒂安·舒尔曼 1 桑吉特·阿伦库马尔·塞希亚 1 伊戈尔·瓦卢基维奇 1 亚历山大·韦伯 1 布莱恩·查尔斯·威廉姆斯 4篇连载文章中引用 三 Automatica公司 1 欧洲控制杂志 1 国际应用数学与计算机科学杂志 1 非线性分析。混合动力系统 在3个字段中引用 16 系统论;控制(93至XX) 5 计算机科学(68-XX) 1 运筹学、数学规划(90-XX) 按年份列出的引文