linear hybrid automata; reachability; transversal discrete transition; deterministic discrete transition;
机译:基于Chebyshev多项式和有限精度共轭梯度计算的复合收敛边界。
机译:有限精度下有界度多项式系统的零点的快速计算
机译:边界检查过程中线性混合自动机的无穷可达性证明
机译:一类线性混合自动机的有限精度计算有界电子到达集
机译:有界线性演算:基于有界线性逻辑的多项式时间可计算函数的表征
机译:化学如何计算:非生化化学自动机的语言识别。从有限的自动机到图灵机
机译:计算一类线性混合系统的近似自动机