PDDL+ Planning with Hybrid Automata: Foundations of Translating Must Behavior

Simple item page
dc.contributor.authorBogomolov, Sergiy
dc.contributor.authorMagazzeni, Daniele
dc.contributor.authorMinopoli, Stefano
dc.contributor.authorWehrle, Martin
dc.coverage.spatialLondon, United Kingdom
dc.date.accessioned2018-11-30T01:19:44Z
dc.date.available2018-11-30T01:19:44Z
dc.date.createdJune 12-17 2016
dc.date.issued2016
dc.date.updated2018-11-29T08:22:11Z
dc.description.abstractPlanning in hybrid domains poses a special challenge due to the involved mixed discrete-continuous dynamics. A recent solving approach for such domains is based on applying model checking techniques on a translation of PDDL+ planning problems to hybrid automata. However, the proposed translation is limited because must behavior is only overapproximated, and hence, processes and events are not re- flected exactly. In this paper, we present the theoretical foundation of an exact PDDL+ translation. We propose a schema to convert a hybrid automaton with must transitions into an equivalent hybrid automaton featuring only may transitions.
dc.format.mimetypeapplication/pdfen_AU
dc.identifier.isbn9781577357575
dc.identifier.urihttp://hdl.handle.net/1885/154169
dc.publisherAssociation for the Advancement of Artificial Intelligence (AAAI)
dc.relation.ispartofseriesInternational Conference on Automated Planning and Scheduling (ICAPS 2016)
dc.sourceProceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling (ICAPS 2016)
dc.source.urihttp://icaps16.icaps-conference.org/index.html
dc.titlePDDL+ Planning with Hybrid Automata: Foundations of Translating Must Behavior
dc.typeConference paper
dcterms.accessRightsOpen Accessen_AU
local.bibliographicCitation.lastpage46
local.bibliographicCitation.startpage42
local.contributor.affiliationBogomolov, Sergiy, College of Engineering and Computer Science, ANU
local.contributor.affiliationMagazzeni, Daniele, King's College London
local.contributor.affiliationMinopoli, Stefano, VERIMAG
local.contributor.affiliationWehrle, Martin, University of Basel
local.contributor.authoremailu1023439@anu.edu.au
local.contributor.authoruidBogomolov, Sergiy, u1023439
local.description.notesImported from ARIES
local.description.refereedYes
local.identifier.absfor090602 - Control Systems, Robotics and Automation
local.identifier.absseo970108 - Expanding Knowledge in the Information and Computing Sciences
local.identifier.ariespublicationu4334215xPUB1694
local.identifier.uidSubmittedByu4334215
local.type.statusPublished Version

Downloads

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
01_Bogomolov_PDDL%2B_Planning_with_Hybrid_2016.pdf
Size:
422.09 KB
Format:
Adobe Portable Document Format
Download

Collections

ANU Research Publications

DSpace software copyright © 2002-2024 LYRASIS