Formal synthesis; Reachability and safety analysis; Robust control;
机译:基于间隔的滑动水平运动计划方法
机译:一类具有有限时间滑动规划范围的双线性互联系统的次优调节
机译:用于水平飞机运动的遥控车辆的滑模控制
机译:基于间隔的滑动地平线运动计划方法
机译:智能运动计划和概率路线图分析,用于研究复杂的高维运动
机译:蒙特卡洛计划方法在互动社交交流中估计计划范围
机译:水平滑块型平行机构的开发,降低轧制,俯仰和摇摆运动 - 运动与水平滑块型平行机构的性能分析
机译:无滑动在水平面上的旋转体运动