Formal proofs; Coq; Dynamical systems; Stability;
机译:使用虚拟轨迹和Lasalle不变性原理的非完整系统的实际规定
机译:递归和LaSalle不变性原理
机译:基于LaSalle不变原理的无刷直流电动机同步
机译:Lasalle Invariance原则COP中的正式证明
机译:降低基于证明助手的形式验证的成本或:无需证明负担的定罪。
机译:时效性不变原则
机译:LaSalle不变性原则Coq的形式证明
机译:并发程序的不变性和活性属性的充分证明原则