...
机译:基于Petri网络的多机器人任务协调从时间逻辑规格
Univ Oxford Oxford Robot Inst Oxford England;
Inst Super Tecn Inst Syst &
Robot Lisbon Portugal;
Multi-robot coordination; Linear temporal logic; Supervisory control; Petri nets;
机译:基于Petri网络的多机器人任务协调从时间逻辑规格
机译:基于彩色Petri网模型和标准IEC 1131的逻辑控制器的规范,设计和实现。I.规范和设计
机译:基于Petri网的多Agent系统模型重写逻辑规范自动生成算法
机译:具有时间逻辑规范的多机器人任务规划的分布式框架
机译:使用Petri网和时间逻辑进行实时系统规范和分析。
机译:基于子群体的遗传算法的变异算子对多机器人任务分配问题的性能影响
机译:在线性时间逻辑下耦合多机器人系统和信号时间逻辑任务