Automated Abstraction of Manipulation Domains for Cost-Based Reactive Synthesis

Simple item page
dc.citation.firstpage285en_US
dc.citation.issueNumber2en_US
dc.citation.journalTitleIEEE Robotics and Automation Lettersﾠen_US
dc.citation.lastpage292en_US
dc.citation.volumeNumber4en_US
dc.contributor.authorHe, Keliangen_US
dc.contributor.authorLahijanian, Mortezaen_US
dc.contributor.authorKavraki, Lydia E.en_US
dc.contributor.authorVardi, Moshe Y.en_US
dc.date.accessioned2019-08-14T14:52:31Zen_US
dc.date.available2019-08-14T14:52:31Zen_US
dc.date.issued2019en_US
dc.description.abstractWhen robotic manipulators perform high-level tasks in the presence of another agent, e.g., a human, they must have a strategy that considers possible interferences in order to guarantee task completion and efficient resource usage. One approach to generate such strategies is called reactive synthesis. Reactive synthesis requires an abstraction, which is a discrete structure that captures the domain in which the robot and other agents operate. Existing works discuss the construction of abstractions for mobile robots through space decomposition; however, they cannot be applied to manipulation domains due to the curse of dimensionality caused by the manipulator and the objects. In this work, we present the first algorithm for automatic abstraction construction for reactive synthesis of manipulation tasks. We focus on tasks that involve picking and placing objects with possible extensions to other types of actions. The abstraction also provides an upper bound on path-based costs for robot actions. We combine this abstraction algorithm with our reactive synthesis planner to construct correct-by-construction plans. We demonstrate the power of the framework on a UR5 robot, completing complex tasks in face of interferences by a human.en_US
dc.identifier.citationHe, Keliang, Lahijanian, Morteza, Kavraki, Lydia E., et al.. "Automated Abstraction of Manipulation Domains for Cost-Based Reactive Synthesis." <i>IEEE Robotics and Automation Lettersﾠ,</i> 4, no. 2 (2019) IEEE: 285-292. https://doi.org/10.1109/LRA.2018.2889191.en_US
dc.identifier.doihttps://doi.org/10.1109/LRA.2018.2889191en_US
dc.identifier.urihttps://hdl.handle.net/1911/106240en_US
dc.language.isoengen_US
dc.publisherIEEEen_US
dc.rightsThis is an author's peer-reviewed final manuscript, as accepted by the publisher. The published article is copyrighted by IEEE.en_US
dc.titleAutomated Abstraction of Manipulation Domains for Cost-Based Reactive Synthesisen_US
dc.typeJournal articleen_US
dc.type.dcmiTexten_US
dc.type.publicationpost-printen_US
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
18-0665_03_MS.pdf
Size:
3.1 MB
Format:
Adobe Portable Document Format
Description:
Download
Collections
Faculty Publications
Computer Science Publications