bisimulation equivalence; computational complexity; equivalence classes; large-scale systems; synchronisation; (epsi, delta)-approximate b)simulation; approximate equivalence; approximate synchronization; metric transition systems; reachability verification;
机译:公制转换系统的近似等效和同步
机译:过渡系统的近似跟踪和单例故障等效率
机译:具有Dirichlet边界控制的波动方程组的近似可控性和近似同步性的卡尔曼型判据
机译:度量转换系统的近似等价和近似同步
机译:冯·诺依曼代数的贝林定理和近似等价
机译:比率效应斜率有时可以作为近似数字系统灵敏度的适当度量
机译:多粒度粗糙集的近似等价性和近似推理