Search for dissertations about: "Meng Guo"
Found 2 swedish dissertations containing the words Meng Guo.
-
1. Cooperative Motion and Task Planning Under Temporal Tasks
Abstract : 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. READ MORE
-
2. Hybrid Control of Multi-robot Systems under Complex Temporal Tasks
Abstract : 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. READ MORE