Maximizing visibility in nonconvex polygons: nonsmooth analysis and gradient algorithm design

This paper presents a motion control algorithm for a planar mobile observer such as, e.g., a mobile robot equipped with an omni-directional camera. We propose a nonsmooth gradient algorithm for the problem of maximizing the area of the region visible to the observer in a simple nonconvex polygon. First, we show that the visible area is almost everywhere a locally Lipschitz function of the observer location. Second, we provide a novel version of LaSaIIe invariance principle for discontinuous vector fields and Lyapunov functions with a finite number of discontinuities. Finally, we establish the asymptotic convergence properties of the nonsmooth gradient algorithm and we illustrate numerically its performance.

[1]  Li-Tien Cheng,et al.  Visibility Optimization Using Variational Approaches , 2005 .

[2]  Aleksej F. Filippov,et al.  Differential Equations with Discontinuous Righthand Sides , 1988, Mathematics and Its Applications.

[3]  J.-C. Latombe,et al.  Continuous purposive sensing and motion for 2D map building , 1995, 1995 IEEE International Conference on Systems, Man and Cybernetics. Intelligent Systems for the 21st Century.

[4]  A. Bacciotti,et al.  Stability and Stabilization of Discontinuous Systems and Nonsmooth Lyapunov Functions , 1999 .

[5]  Otfried Cheong,et al.  Finding a Guard that Sees Most and a Shop that Sells Most , 2004, SODA '04.

[6]  T. C. Shermer,et al.  Recent results in art galleries (geometry) , 1992, Proc. IEEE.

[7]  Mark de Berg,et al.  Computational geometry: algorithms and applications , 1997 .

[8]  Héctor H. González-Baños,et al.  Navigation Strategies for Exploring Indoor Environments , 2002, Int. J. Robotics Res..

[9]  Perri K. Eason,et al.  THE EFFECT OF VISIBILITY ON SPACE USE BY TERRITORIAL RED-CAPPED CARDINALS , 2001 .

[10]  F. Clarke Optimization And Nonsmooth Analysis , 1983 .

[11]  Francesco Bullo,et al.  Maximizing visibility in nonconvex polygons: nonsmooth analysis and gradient algorithm design , 2005, Proceedings of the 2005, American Control Conference, 2005..

[12]  S. Yau Mathematics and its applications , 2002 .

[13]  T. Shermer Recent Results in Art Galleries , 1992 .

[14]  Micha Sharir,et al.  Efficient algorithms for geometric optimization , 1998, CSUR.

[15]  P. Valtr Guarding galleries where no point sees a small area , 1998 .

[16]  Francesco Bullo,et al.  Coordination and Geometric Optimization via Distributed Dynamical Systems , 2003, SIAM J. Control. Optim..

[17]  S. Sastry,et al.  A calculus for computing Filippov's differential inclusion with application to the variable structure control of robot manipulators , 1987 .

[18]  D. Hochbaum,et al.  Analysis of the greedy approach in problems of maximum k‐coverage , 1998 .

[19]  Richard Pollack,et al.  Foundations of a theory of convexity on affine Grassmann manifolds , 1995 .

[20]  B. Paden,et al.  Lyapunov stability theory of nonsmooth systems , 1993, Proceedings of 32nd IEEE Conference on Decision and Control.