科西玛

CoSyma:一个多尺度抽象的控制器综合工具。介绍了一种基于多尺度离散抽象的增量式稳定切换系统控制器自动综合工具CoSyMA。该工具接受由一组微分方程和用于定义离散抽象计算的状态空间近似值的采样参数表示的切换系统的描述。该工具为执行给定安全性或有时间限制的可达性规范的系统生成控制器(如果存在)。通过实例说明了综合控制器及其在计算过程中的显著性能增益。