Asymptotic stability; Stability analysis; Lyapunov methods; Algorithm design and analysis; Numerical stability; Mathematical model; Switched systems;
机译:验证某些微分方程组系统渐近稳定条件的算法
机译:带有参数的非线性多项式系统的全局渐近稳定性检查的算法方法
机译:带有参数的非线性多项式系统的全局渐近稳定性检查的算法方法
机译:混合系统全局渐近稳定性验证的一种算法方法
机译:用于验证分布式系统中全局谓词的分布式算法的性能评估
机译:一种输入到状态稳定性方法用于验证同步机器无限总线系统的几乎全局稳定性
机译:混合自动机:混合系统规范和验证的算法方法