computational complexity; control system synthesis; decentralised control; feedback; multi-agent systems; temporal logic; time-varying systems;
机译:局部信号时间逻辑任务冲突时多智能体系统的控制屏障功能
机译:信号时间逻辑任务的片段下的多代理系统的反馈控制策略
机译:在线性时间逻辑下耦合多机器人系统和信号时间逻辑任务
机译:信号时间逻辑任务下耦合多智能体系的分散控制屏障功能
机译:Mastraf:一种分散的多主体系统,用于动态协调网络范围内的交通信号控制。
机译:多智能体系统的分散式在线同时定位和映射
机译:信号时间逻辑任务下耦合多智能体系的分散控制屏障功能