Time-invariant systems; Infinite-dimensional systems; Systems with time-delays; Input-Output systems; Reachable sets; Polyhedral constraints;
机译:通过子铺路确定可到达集合的内部和外部边界
机译:具有积分控制约束的线性系统的小时间可到达集:可到达集形状的诞生
机译:达到京都议定书设定的温室气体排放目标的环境/输出线性规划模型
机译:输入输出系统的界限。可达性设定确定和多面体约束验证
机译:水平集方法在连续和混合系统中控制和可达性问题的应用。
机译:从时程数据推断广泛的调节生物学:我们是否在体内研究的典型约束下达到了上限?
机译:可达化学动力学系统可达套的间隔外壳。第3部分:间接边界方法