control system analysis; Lyapunov methods; stability; periodic orbits; limit cycles; dynamical systems; Poincare's theorem; Lyapunov function; stability properties;
机译:Poincare定理的Lyapunov函数证明
机译:黎曼-庞加莱均匀化定理的新证明,
机译:关于Poincare-Lyapunov定理和中心存在的必要条件
机译:Lyapunov功能证明Poincare定理
机译:并行化交互式定理证明:使用ACL2进行函数式编程和证明。
机译:定理证明实例和规则的做法流行病学
机译:弱逆Lyapunov定理和控制Lyapunov函数
机译:pOINCaRE和BIRKHOFF固定点定理的证明