Skip navigation
Skip navigation

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

Bogomolov, Sergiy; Magazzeni, Daniele; Minopoli, Stefano; Wehrle, Martin

Description

Planning 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+...[Show more]

CollectionsANU Research Publications
Date published: 2016
Type: Conference paper
URI: http://hdl.handle.net/1885/154169
Source: Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling (ICAPS 2016)
Access Rights: Open Access

Download

File Description SizeFormat Image
01_Bogomolov_PDDL%2B_Planning_with_Hybrid_2016.pdf422.09 kBAdobe PDFThumbnail


Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  19 May 2020/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator