机译:解决非线性混合可及性中警卫队相交问题的CSP与基于Zonotope的方法
机译:基于Zonotope的线性混合系统可达性求解守卫和不变集相交的研究
机译:一种主动的规范转换策略,有助于解决非线性集并改进VNS / TA混合优化方法
机译:一种快速解决非线性混合可达性的保护装置交叉点
机译:水平集方法在连续和混合系统中控制和可达性问题的应用。
机译:解决高度非线性边值问题的混合配置方法
机译:解决非线性混合可及性中警卫队相交问题的CSP与基于Zonotope的方法
机译:求解任意维数水平集方程的单纯自由树快速扫描和演化方法