×

科西马

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文件

按年份列出的引文