Sökning: "Meng Guo"
Hittade 2 avhandlingar innehållade orden Meng Guo.
1. Cooperative Motion and Task Planning Under Temporal Tasks
Sammanfattning : Temporal-logic-based languages provide a formal and accurate way to specify complex motion and action missions for autonomous robots, beyond the classic point-to-point navigation task. The first part of the thesis is devoted to the nominal scenario: an autonomous robot is given a motion task specified as Linear-time Temporal Logic (LTL) formulas. LÄS MER
2. Hybrid Control of Multi-robot Systems under Complex Temporal Tasks
Sammanfattning : Autonomous robots like household service robots, self-driving cars and dronesare emerging as important parts of our daily lives in the near future. They need tocomprehend and fulfill complex tasks specified by the users with minimal humanintervention. Also they should be able to handle un-modeled changes and contingentevents in the workspace. LÄS MER