In Section 5 we explain why the theory of hybrid automata is relevant to our work, and we provide the key automaton constructs that we will use in the development of the semantics of PDDL+. In Section 6 we present the mapping from planning instances to HAs. In doing this we are using the syntactic constructs of the HA as our semantic model. In Section 7 we discuss the subset of HAs for which the Reachability problem is decidable, and why we might be interested in these models in the context of planning. We conclude the paper with a discussion of related work.
Derek Long 2006-10-09