Repository logo
  • Log In
    Log in via Symplectic to deposit your publication(s).
Repository logo
  • Communities & Collections
  • Research Outputs
  • Statistics
  • Log In
    Log in via Symplectic to deposit your publication(s).
  1. Home
  2. Faculty of Engineering
  3. Computing
  4. Computing
  5. Iterator-Based Temporal Logic Task Planning
 
  • Details
Iterator-Based Temporal Logic Task Planning
File(s)
paper.pdf (945.29 KB)
Accepted version
Author(s)
Zudaire, Sebastian
Garret, Martin
Uchitel, Sebastian
Type
Conference Paper
Abstract
Temporal logic task planning for robotic systemssuffers from state explosion when specifications involve largenumbers of discrete locations. We provide a novel approach,particularly suited for tasks specifications with universallyquantified locations, that has constant time with respect tothenumber of locations, enabling synthesis of plans for an arbitrarynumber of them. We propose a hybrid control framework thatuses an iterator to manage the discretised workspace hidingitfrom a plan enacted by a discrete event controller. A downsideof our approach is that it incurs in increased overhead whenexecuting a synthesised plan. We demonstrate that the overheadis reasonable for missions of a fixed-wing Unmanned AerialVehicle in simulated and real scenarios for up to700 000locations.
Date Acceptance
2020-01-21
Citation
IEEE International Conference on Robotics and Automation
URI
http://hdl.handle.net/10044/1/77594
ISSN
1050-4729
Publisher
Institute of Electrical and Electronics Engineers
Journal / Book Title
IEEE International Conference on Robotics and Automation
Source
IEEE International Conference on Robotics and Automation
Publication Status
Accepted
Start Date
2020-05-31
Finish Date
2020-06-04
Coverage Spatial
Paris, France
About
Spiral Depositing with Spiral Publishing with Spiral Symplectic
Contact us
Open access team Report an issue
Other Services
Scholarly Communications Library Services
logo

Imperial College London

South Kensington Campus

London SW7 2AZ, UK

tel: +44 (0)20 7589 5111

Accessibility Modern slavery statement Cookie Policy

Built with DSpace-CRIS software - Extension maintained and optimized by 4Science

  • Cookie settings
  • Privacy policy
  • End User Agreement
  • Send Feedback