Task Planning and Motion Control with Temporal Logic Specifications
This paper proposes a task planning and motion control framework that generates task plans for a linear temporal logic specification (LTL), which are then executed using a task-space constrained motion controller and a local task planner that overcomes local minima. We propose a new encoding for tas...
Saved in:
Published in | 2023 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) pp. 2034 - 2041 |
---|---|
Main Authors | , , |
Format | Conference Proceeding |
Language | English |
Published |
IEEE
01.10.2023
|
Subjects | |
Online Access | Get full text |
Cover
Loading…
Abstract | This paper proposes a task planning and motion control framework that generates task plans for a linear temporal logic specification (LTL), which are then executed using a task-space constrained motion controller and a local task planner that overcomes local minima. We propose a new encoding for task specifications, directly in the task-space, as constraints of a mixed-integer linear program that can be used with off-the-shelf LTL linear encoding. We apply our framework to plan and execute trajectories for a free-flying robot and show that the task plan is accomplished without collisions, even in the presence of unexpected moving obstacles that are not considered in the planning phase, while control signal constraints are satisfied. To evaluate the local minima avoidance, we compare the local task planner with a sampling-based motion planner, and the results show a smoother trajectory with a faster execution and less total planning time when using our framework. Last, our framework scaled well with a longer LTL specification, as opposed to automata-based frameworks that usually suffer with the curse of the dimensionality. |
---|---|
AbstractList | This paper proposes a task planning and motion control framework that generates task plans for a linear temporal logic specification (LTL), which are then executed using a task-space constrained motion controller and a local task planner that overcomes local minima. We propose a new encoding for task specifications, directly in the task-space, as constraints of a mixed-integer linear program that can be used with off-the-shelf LTL linear encoding. We apply our framework to plan and execute trajectories for a free-flying robot and show that the task plan is accomplished without collisions, even in the presence of unexpected moving obstacles that are not considered in the planning phase, while control signal constraints are satisfied. To evaluate the local minima avoidance, we compare the local task planner with a sampling-based motion planner, and the results show a smoother trajectory with a faster execution and less total planning time when using our framework. Last, our framework scaled well with a longer LTL specification, as opposed to automata-based frameworks that usually suffer with the curse of the dimensionality. |
Author | Pimenta, Luciano C. A. Pereira, Marcos S. Adorno, Bruno V. |
Author_xml | – sequence: 1 givenname: Marcos S. surname: Pereira fullname: Pereira, Marcos S. email: marcos.si.pereira@gmail.com organization: Graduate Program in Electrical Engineering – sequence: 2 givenname: Luciano C. A. surname: Pimenta fullname: Pimenta, Luciano C. A. email: lucpim@ufmg.br organization: Universidade Federal de Minas Gerais,Department of Electronic Engineering,Belo Horizonte,MG,Brazil – sequence: 3 givenname: Bruno V. surname: Adorno fullname: Adorno, Bruno V. email: bruno.adorno@manchester.ac.uk organization: Manchester Centre for Robotics and AI, The University of Manchester,Manchester,UK |
BookMark | eNo1j11LwzAYRqMouM39A8H8gda8-WreSyk6B5WJq9cj7ZIZ7ZLSFsR_r6I-N-fmcOCZk7OYoiPkGlgOwPBm_bzZqu_xnDMucmBCgkR5QuagtZIIyPQpmXFQImNG6wuyHMc3xhiwAg3qGSlrO77Tp87GGOKB2rinj2kKKdIyxWlIHf0I0yut3bFPg-1olQ6hpdvetcGH1v6Y4yU597Yb3fKPC_Jyf1eXD1m1Wa3L2yoLXIkpU0YVhhswVhoOqL03UmpwAgvlG28RQTNvG-5BtwoFetkUugEtvDC452JBrn67wTm364dwtMPn7v-0-AIJH0yw |
ContentType | Conference Proceeding |
DBID | 6IE 6IH CBEJK RIE RIO |
DOI | 10.1109/IROS55552.2023.10341494 |
DatabaseName | IEEE Electronic Library (IEL) Conference Proceedings IEEE Proceedings Order Plan (POP) 1998-present by volume IEEE Xplore All Conference Proceedings IEEE Electronic Library (IEL) IEEE Proceedings Order Plans (POP) 1998-present |
DatabaseTitleList | |
Database_xml | – sequence: 1 dbid: RIE name: IEEE Electronic Library (IEL) url: https://proxy.k.utb.cz/login?url=https://ieeexplore.ieee.org/ sourceTypes: Publisher |
DeliveryMethod | fulltext_linktorsrc |
Discipline | Engineering |
EISBN | 1665491906 9781665491907 |
EISSN | 2153-0866 |
EndPage | 2041 |
ExternalDocumentID | 10341494 |
Genre | orig-research |
GrantInformation_xml | – fundername: Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) grantid: 88887.136349/2017-00 funderid: 10.13039/501100002322 – fundername: FAPESP (São Paulo Research Foundation) grantid: 2014/50851-0 funderid: 10.13039/501100001807 – fundername: CNPq funderid: 10.13039/501100003593 |
GroupedDBID | 6IE 6IF 6IH 6IL 6IN AAJGR ABLEC ACGFS ADZIZ ALMA_UNASSIGNED_HOLDINGS BEFXN BFFAM BGNUA BKEBE BPEOZ CBEJK CHZPO IEGSK IJVOP M43 OCL RIE RIL RIO RNS |
ID | FETCH-LOGICAL-i253t-585782818a482196ff84461e3975fbfa99160fab2f16c5939f4b76b163f389d23 |
IEDL.DBID | RIE |
IngestDate | Wed Jun 26 19:24:03 EDT 2024 |
IsDoiOpenAccess | false |
IsOpenAccess | true |
IsPeerReviewed | false |
IsScholarly | true |
Language | English |
LinkModel | DirectLink |
MergedId | FETCHMERGED-LOGICAL-i253t-585782818a482196ff84461e3975fbfa99160fab2f16c5939f4b76b163f389d23 |
OpenAccessLink | https://research.manchester.ac.uk/files/272565855/main.pdf |
PageCount | 8 |
ParticipantIDs | ieee_primary_10341494 |
PublicationCentury | 2000 |
PublicationDate | 2023-Oct.-1 |
PublicationDateYYYYMMDD | 2023-10-01 |
PublicationDate_xml | – month: 10 year: 2023 text: 2023-Oct.-1 day: 01 |
PublicationDecade | 2020 |
PublicationTitle | 2023 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) |
PublicationTitleAbbrev | IROS |
PublicationYear | 2023 |
Publisher | IEEE |
Publisher_xml | – name: IEEE |
SSID | ssj0001079896 |
Score | 2.2944527 |
Snippet | This paper proposes a task planning and motion control framework that generates task plans for a linear temporal logic specification (LTL), which are then... |
SourceID | ieee |
SourceType | Publisher |
StartPage | 2034 |
SubjectTerms | Encoding Motion planning Navigation Planning Quadratic programming Simulation Trajectory |
Title | Task Planning and Motion Control with Temporal Logic Specifications |
URI | https://ieeexplore.ieee.org/document/10341494 |
hasFullText | 1 |
inHoldings | 1 |
isFullTextHit | |
isPrint | |
link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV1LSwMxEB5sT3rxVfFNDl6z7iPJbs7FUoVW0RZ6K0k2AalsRbcXf72TbNeqILinsOxCyJDMN19m5gO4MhhSmLzk1OQmpUwklqpUl5TlmieaGwxzPaE_GovhlN3N-GxdrB5qYay1IfnMRn4Y7vLLpVl5qgx3OJ65TLIOdIo4bYq1NoRKnMtCinUOVxLL69vH-yeOj6-3SrOo_fuHjkpwI4NdGLcTaLJHFtGq1pH5-NWb8d8z3IPepmKPPHz5on3YstUB7HxrNngI_Yl6X5BWpIioqiSjIOFD-k26OvGcLJk0vapeiFdhNiTo07uW2OvBdHAz6Q_pWkKBPqc8qykGAwgB0CkrVuDZJJwrmDcIohDutFMeHcZO6dQlwnCZScd0LjSCNIdIpkyzI-hWy8oeA8mN04n_lkvBFC-0YplQLjFOIYrJ2An0_HrMX5suGfN2KU7_eH8G294sTWLcOXTrt5W9QAdf68tg2E_8GqPE |
link.rule.ids | 310,311,786,790,795,796,802,23951,23952,25161,27947,55098 |
linkProvider | IEEE |
linkToHtml | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV3PS8MwFH7oPKgXf038bQ5eW9c2SZvzcGy6TdEOdhtJmoBMOtH24l_vS7s6FQR7CqWFkEfyvvflvfcBXGkMKXScMU_HOvQoD4wnQ5V5NFYsUExjmOsI_dGY9yf0dsqmy2L1qhbGGFMlnxnfDau7_GyhS0eV4Q7HM5cKug4bCKxFUpdrrSiVTiwSwZdZXEFHXA8e758YPq7iKoz85v8fSiqVI-ntwLiZQp0_MvfLQvn641d3xn_PcRfaq5o98vDljfZgzeT7sP2t3eABdFP5PieNTBGReUZGlYgP6dYJ68SxsiStu1W9EKfDrEmlUG8baq8Nk95N2u17SxEF7zlkUeFhOIAgAN2ypAmeTtzahDqTIA5hVlnp8GHHShXagGsmImGpirlCmGYRy2RhdAitfJGbIyCxtipw3zLBqWSJkjTi0gbaSsQxET2GtluP2WvdJ2PWLMXJH-8vYbOfjoaz4WB8dwpbzkR1mtwZtIq30pyjuy_URWXkT-GvpyE |
openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=proceeding&rft.title=2023+IEEE%2FRSJ+International+Conference+on+Intelligent+Robots+and+Systems+%28IROS%29&rft.atitle=Task+Planning+and+Motion+Control+with+Temporal+Logic+Specifications&rft.au=Pereira%2C+Marcos+S.&rft.au=Pimenta%2C+Luciano+C.+A.&rft.au=Adorno%2C+Bruno+V.&rft.date=2023-10-01&rft.pub=IEEE&rft.eissn=2153-0866&rft.spage=2034&rft.epage=2041&rft_id=info:doi/10.1109%2FIROS55552.2023.10341494&rft.externalDocID=10341494 |