SearcharxivSearch

arXiv subjects

G. Gordon

Publications and source records attributed to G. Gordon.

3 recordsLinked to original sources

The Dirichlet-to-Neumann operator for divergence form problems

We present a way of defining the Dirichlet-to-Neumann operator on general Hilbert spaces using a pair of operators for which each one's adjoint is formally the negative of the other. In particular, we define an abstract analogue of trace spaces and are able to give meaning to the Dirichlet-to-Neumann operator of divergence form operators perturbed by a bounded potential in cases where the boundary of the underlying domain does not allow for a well-defined trace. Moreover, a representation of the Dirichlet-to-Neumann operator as a first-order system of partial differential operators is provided. Using this representation, we address convergence of the Dirichlet-to-Neumann operators in the case that the appropriate reciprocals of the leading coefficients converge in the weak operator topology. We also provide some extensions to the case where the bounded potential is not coercive and consider resolvent convergence.

math.FA

Anytime Point-Based Approximations for Large POMDPs

The Partially Observable Markov Decision Process has long been recognized as a rich framework for real-world planning and control problems, especially in robotics. However exact solutions in this framework are typically computationally intractable for all but the smallest problems. A well-known technique for speeding up POMDP solving involves performing value backups at specific belief points, rather than over the entire belief simplex. The efficiency of this approach, however, depends greatly on the selection of points. This paper presents a set of novel techniques for selecting informative belief points which work well in practice. The point selection procedure is combined with point-based value backups to form an effective anytime POMDP algorithm called Point-Based Value Iteration (PBVI). The first aim of this paper is to introduce this algorithm and present a theoretical analysis justifying the choice of belief selection technique. The second aim of this paper is to provide a thorough empirical comparison between PBVI and other state-of-the-art POMDP methods, in particular the Perseus algorithm, in an effort to highlight their similarities and differences. Evaluation is performed using both standard POMDP domains and realistic robotic tasks.

cs.AI

Finding Approximate POMDP solutions Through Belief Compression

Standard value function approaches to finding policies for Partially Observable Markov Decision Processes (POMDPs) are generally considered to be intractable for large models. The intractability of these algorithms is to a large extent a consequence of computing an exact, optimal policy over the entire belief space. However, in real-world POMDP problems, computing the optimal policy for the full belief space is often unnecessary for good control even for problems with complicated policy classes. The beliefs experienced by the controller often lie near a structured, low-dimensional subspace embedded in the high-dimensional belief space. Finding a good approximation to the optimal value function for only this subspace can be much easier than computing the full value function. We introduce a new method for solving large-scale POMDPs by reducing the dimensionality of the belief space. We use Exponential family Principal Components Analysis (Collins, Dasgupta and Schapire, 2002) to represent sparse, high-dimensional belief spaces using small sets of learned features of the belief state. We then plan only in terms of the low-dimensional belief features. By planning in this low-dimensional space, we can find policies for POMDP models that are orders of magnitude larger than models that can be handled by conventional techniques. We demonstrate the use of this algorithm on a synthetic problem and on mobile robot navigation tasks.

cs.AI