机译：基于受约束ZONotopes的非线性离散时间系统设定的Zonotopes的保证方法
机译：间接实现的多边形集计算对非线性离散系统的保证状态估计
机译：具有约束最优性的约束非线性离散时间系统设计控制不变集的数值方法
机译：用于离散时间系统的最佳不变集：界限输入的可达集合的近似
机译：保证状态估计通过基于剩余的形式分解功能的非线性离散时间系统的夹杂物
机译：通过计算可达集来控制随机生化系统的控制机制
机译：离散时间随机变量的Reach-avoid集的不相似性 系统通过拉格朗日方法
机译：可达和不变集的最优半可量近似;分析报告
