机译:线性混合自动机的SAT-LP-IIS联合定向路径有界可达性分析
机译:构造非线性控制系统可到达集合的段和程序工具方法的算法
机译:基于双线性规划的非线性混合系统安全性验证
机译:基于凸规划的一类非线性混合自动机的路径可达性验证
机译:线性和非线性程序的非算法敏感性和公差范围分析。
机译:通过新的不等式具有多主题不确定性的线性时滞系统可达集边界的新结果
机译:计算不确定非线性系统可到达集的过逼近的一种混合有界方法
机译:线性混合系统的实现理论第二部分:可达性,可观测性和极小性;分析