formal verification; linear matrix inequalities; LMI; basic algebraic operations; canonical operator; ellipsoids; fixed point problems; formal verification; linear matrix inequalities; linear transformation; nonlinear power-type algorithm; numerical abstract domain; positive semidefinite matrices; quadratic invariants; scalable algebraic method; standard techniques; state variables; switched linear systems; Ellipsoids; Lattices; Linear systems; Stability analysis; Switches; Symmetric matrices; Upper bound; Static analysis; abstract interpretation; hybrid and switched linear systems; invariant generation; matrix information geometry; stability;
机译:切换系统二次不变量的可扩展代数方法
机译:中文(i)分类中的二次系统中的不变代数曲线和代数极限周期不存在的分类
机译:具有不变代数曲线的二次系统的Liénard系统
机译:推论交换系统二次不变量的可扩展代数方法
机译:在使用线性代数方法的应用中通过不变检查实现容错
机译:用于推断生化网络的代数方法:最大的似然方法
机译:交换和混合系统的分析-超越分段二次法