Timing; Clocks; Games; Stochastic processes; Power capacitors; Actuators;
机译:度量间隔时间逻辑规范下的多智能体系统控制综合
机译:在传感器和执行器攻击下对网络物理系统的可靠控制:基于识别符的整体滑模控制方法
机译:在传感器和执行器攻击下对网络物理系统的可靠控制:基于识别符的整体滑模控制方法
机译:控制网络 - 物理系统的合成,以满足定时和执行器攻击下的度量间隔时间逻辑目标*
机译:时间逻辑规范下的多机器人系统可扩展控制合成
机译:基于信任的故障检测和鲁棒容错控制不确定的网络物理系统免受时间延迟注入攻击的影响
机译:度量间隔时间逻辑规范下的多智能体系统控制综合