...
机译:通过不确定的规格,基于可达性的人机控制
shared autonomylinear temporal logicreachability analysisrobotic missionssafetyautomated vehicles;
机译:基于可达性的不确定化学流反应器故障检测方法
机译:基于可达性的不确定化学流反应器故障检测方法
机译:具有有限频率规格的不确定线性系统的鲁棒控制器设计:多项式参数依赖性方法
机译:硬和软度量间隔时间逻辑规范下多Agent系统的人在环控制综合 * sup>
机译:基于可达性的混合控制器设计方法
机译:基于气动的肌肉机器人的在环控制和任务学习
机译:不确定条件下形式规范的鲁棒控制策略 环境