Generative Temporal Planning with Complex Processes

Item

Title
en_US Generative Temporal Planning with Complex Processes
Creator
en_US Kennell, Jonathan
Date
2004-10-20T20:32:23Z
Date Available
2004-10-20T20:32:23Z
Date Issued
en_US 2004-05-18
Identifier
en_US AITR-2004-002
Abstract
en_US Autonomous vehicles are increasingly being used in mission-critical applications, and robust methods are needed for controlling these inherently unreliable and complex systems. This thesis advocates the use of model-based programming, which allows mission designers to program autonomous missions at the level of a coach or wing commander. To support such a system, this thesis presents the Spock generative planner. To generate plans, Spock must be able to piece together vehicle commands and team tactics that have a complex behavior represented by concurrent processes. This is in contrast to traditional planners, whose operators represent simple atomic or durative actions. Spock represents operators using the RMPL language, which describes behaviors using parallel and sequential compositions of state and activity episodes. RMPL is useful for controlling mobile autonomous missions because it allows mission designers to quickly encode expressive activity models using object-oriented design methods and an intuitive set of activity combinators. Spock also is significant in that it uniformly represents operators and plan-space processes in terms of Temporal Plan Networks, which support temporal flexibility for robust plan execution. Finally, Spock is implemented as a forward progression optimal planner that walks monotonically forward through plan processes, closing any open conditions and resolving any conflicts. This thesis describes the Spock algorithm in detail, along with example problems and test results.
Extent
en_US 90 p.
15726143 bytes
1269432 bytes
Format
application/postscript
application/pdf
Language
en_US
Relation
en_US AITR-2004-002
Subject
en_US AI
en_US planning "temporal planning"