Modelling Mixed Discrete-Continuous Domains for Planning

10/10/2011
by   M. Fox, et al.
0

In this paper we present pddl+, a planning domain description language for modelling mixed discrete-continuous planning domains. We describe the syntax and modelling style of pddl+, showing that the language makes convenient the modelling of complex time-dependent effects. We provide a formal semantics for pddl+ by mapping planning instances into constructs of hybrid automata. Using the syntax of HAs as our semantic model we construct a semantic mapping to labelled transition systems to complete the formal interpretation of pddl+ planning instances. An advantage of building a mapping from pddl+ to HA theory is that it forms a bridge between the Planning and Real Time Systems research communities. One consequence is that we can expect to make use of some of the theoretical properties of HAs. For example, for a restricted class of HAs the Reachability problem (which is equivalent to Plan Existence) is decidable. pddl+ provides an alternative to the continuous durative action model of pddl2.1, adding a more flexible and robust model of time-dependent behaviour.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
11/23/2021

A Logical Semantics for PDDL+

PDDL+ is an extension of PDDL2.1 which incorporates fully-featured auton...
research
06/22/2011

PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains

In recent years research in the planning community has moved increasingl...
research
02/16/2021

Optimal Mixed Discrete-Continuous Planning for Linear Hybrid Systems

Planning in hybrid systems with both discrete and continuous control var...
research
01/08/2013

Planning and Scheduling in Hybrid Domains Using Answer Set Programming

In this paper we present an Action Language-Answer Set Programming based...
research
04/05/2019

Scalable Nonlinear Planning with Deep Neural Network Learned Transition Models

In many real-world planning problems with factored, mixed discrete and c...
research
12/10/2019

Continuous Domains in Formal Concept Analysis

Formal Concept Analysis has proven to be an effective method of restruct...
research
06/03/2022

HDDL 2.1: Towards Defining an HTN Formalism with Time

Real world applications of planning, like in industry and robotics, requ...

Please sign up or login with your details

Forgot password? Click here to reset