机译:具有吸引区域和目标集的非线性随机系统的概率稳定
机译:一种求解同时线性方程组的精度保证迭代方法
机译:一种求解同时线性方程组的精度保证迭代方法
机译:保证连续和混合系统的不安全套装的过度待遇:使用活力技术解决Hamilton-Jacobi方程
机译:保证状态估计通过基于剩余的形式分解功能的非线性离散时间系统的夹杂物
机译:一个高效可扩展和适应性强的框架用于解决水平集PDE的通用系统
机译:连续和混合系统不安全集的有保证的过度逼近:使用生存力技术求解Hamilton-Jacobi方程