机译:使用基于互补性的间隔封闭非线性控制系统的可达套件
reachabilitybounding methodcontrol systemsintervalscomplementarityconvex relaxationαBB relaxation;
机译:使用区间约束传播技术计算不确定非线性混合系统的可达集
机译:鲁棒可控集合对约束非线性不确定离散时间系统的控制:模态区间分析方法
机译:用于一类具有非线性和不确定性的控制系统的椭圆估计的微分方程
机译:自动生成的非线性模拟电路模型,其中包含间隔和仿射形式的变化,以进行可达性分析
机译:水平集方法在连续和混合系统中控制和可达性问题的应用。
机译:PIRK:高维非线性系统的可扩展间隔可达性分析
机译:使用区间约束传播技术计算不确定非线性混合系统的可达集