Sökning: "Meng Guo"

Hittade 2 avhandlingar innehållade orden Meng Guo.

1. 1. Cooperative Motion and Task Planning Under Temporal Tasks

   Författare :Meng Guo; Dimos V. Dimarogonas; Georgios Fainekos; KTH; []
   Nyckelord :Electrical Engineering; Elektro- och systemteknik;

   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

3. 2. Hybrid Control of Multi-robot Systems under Complex Temporal Tasks

   Författare :Meng Guo; Dimos V. Dimarogonas; Karl Henrik Johansson; Calin Belta; KTH; []
   Nyckelord :Automatic Control; Multi-robot system; Linear Temporal Logic; Electrical Engineering; Elektro- och systemteknik;

   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