Sciweavers

Share
AIPS
2003

A Framework for Planning in Continuous-time Stochastic Domains

9 years 8 months ago
A Framework for Planning in Continuous-time Stochastic Domains
We propose a framework for policy generation in continuoustime stochastic domains with concurrent actions and events of uncertain duration. We make no assumptions regarding the complexity of the domain dynamics, and our planning algorithm can be used to generate policies for any discrete event system that can be simulated. We use the continuous stochastic logic (CSL) as a formalism for expressing temporally extended probabilistic goals and have developed a probabilistic anytime algorithm for verifying plans in our framework. We present an efficient procedure for comparing two plans that can be used in a hill-climbing search for a goal-satisfying plan. Our planning framework falls into the Generate, Test and Debug paradigm, and we propose a transformational approach to plan generation. This relies on effective analysis and debugging of unsatisfactory plans. Discrete event systems are naturally modeled as generalized semi-Markov processes (GSMPs). We adopt the GSMP as the basis for our...
Håkan L. S. Younes, David J. Musliner, Reid
Added 31 Oct 2010
Updated 31 Oct 2010
Type Conference
Year 2003
Where AIPS
Authors Håkan L. S. Younes, David J. Musliner, Reid G. Simmons
Comments (0)
books