Optimal exploration systems

This dissertation studies optimal exploration, defined as the collection of information about given objects of interest by a mobile agent (the explorer) using imperfect sensors. The key aspects of exploration are kinematics (which determine how the explorer moves in response to steering commands), energetics (which determine how much energy is consumed by motion and maneuvers), informatics (which determine the rate at which information is collected) and estimation (which determines the states of the objects). These aspects are coupled by the steering decisions of the explorer. We seek to improve exploration by finding trade-offs amongst these couplings and the components of exploration: the Mission, the Path and the Agent. A comprehensive model of exploration is presented that, on one hand, accounts for these couplings and on the other hand is simple enough to allow analysis. This model is utilized to pose and solve several exploration problems where an objective function is to be minimized. Specific functions to be considered are mission duration and total energy. These exploration problems are formulated as optimal control problems and necessary conditions for optimality are obtained in the form of two-point boundary-value problems. An analysis of these problems reveals characteristics of optimal exploration paths. Several regimes are identified for the optimal paths including the Watchtower, Solar and Drag regime, and several non-dimensional parameters are derived that determine the appropriate regime of travel. The so-called Power Ratio is shown to predict the qualitative features of the optimal paths, provide a metric to evaluate an aircrafts design and determine an aircrafts capability for flying perpetually. Optimal exploration system drivers are identified

[1]  Arthur E. Bryson,et al.  Applied Optimal Control , 1969 .

[2]  Patrick Berry,et al.  The Sunriser - A Design Study in Solar Powered Flight , 2000 .

[3]  Octavian Trifu,et al.  UNMANNED SOLAR-POWERED AERIAL SURVEYOR CONFIGURED WITH AN AERODYNAMIC OPTIMIZATION PROCEDURE , 1997 .

[4]  Michael J. Allen.  Updraft Model for Development of Autonomous Soaring Uninhabited Air Vehicles , 2006 .

[5]  S. M. Udupa,et al.  Collision Detection and Avoidance in Computer Controlled Manipulators , 1977, IJCAI.

[6]  J. Ball.  OPTIMIZATION—THEORY AND APPLICATIONS Problems with Ordinary Differential Equations (Applications of Mathematics, 17) , 1984 .

[7]  Yigang Fan,et al.  Time-optimal lateral maneuvers of an aircraft , 1995 .

[8]  William H Phillips.  Some design considerations for solar-powered aircraft , 1980 .

[9]  S. Haykin.  Kalman Filtering and Neural Networks , 2001 .

[10]  Paul B. MacCready,et al.  Sun-powered aircraft designs , 1983 .

[11]  M. Birkner,et al.  Blow-up of semilinear PDE's at the critical dimension. A probabilistic approach , 2002 .

[12]  Edward C. van der Meulen,et al.  A survey of multi-way channels in information theory: 1961-1976 , 1977, IEEE Trans. Inf. Theory.

[13]  David Ben-Arieh,et al.  Transformations of generalized ATSP into ATSP , 2003, Oper. Res. Lett..

[14]  Tomás Lozano-Pérez,et al.  Automatic Planning of Manipulator Transfer Movements , 1981, IEEE Transactions on Systems, Man, and Cybernetics.

[15]  R. Boucher,et al.  History of solar flight , 1984 .

[16]  Thomas B. Sheridan,et al.  Space teleoperation through time delay: review and prognosis , 1993, IEEE Trans. Robotics Autom..

[17]  Giacomo Frulla.  Preliminary reliability design of a solar-powered high-altitude very long endurance unmanned air vehicle , 2002 .

[18]  A. Ollero,et al.  Multiple UAV cooperative searching operation using polygon area decomposition and efficient coverage algorithms , 2004, DARS.

[19]  Dimitri P. Bertsekas,et al.  Stochastic optimal control : the discrete time case , 2007 .

[20]  Gerhard Reinelt,et al.  TSPLIB - A Traveling Salesman Problem Library , 1991, INFORMS J. Comput..

[21]  M. Luglio,et al.  Satellite coverage in urban areas using unmanned airborne vehicles (UAVs) , 2004, 2004 IEEE 59th Vehicular Technology Conference. VTC 2004-Spring (IEEE Cat. No.04CH37514).

[22]  Ian P Bond,et al.  Aerodynamic and structural design of a solar-powered micro unmanned air vehicle , 2000 .

[23]  N. Bridges,et al.  Selection of the Mars Exploration Rover landing sites , 2003 .

[24]  Claudio Melchiorri,et al.  Control schemes for teleoperation with time delay: A comparative study , 2002, Robotics Auton. Syst..

[25]  Robert G. Fleagle,et al.  An Introduction to Atmospheric Physics , 1980 .

[26]  Jean-Claude Latombe,et al.  Robot Motion Planning: A Distributed Representation Approach , 1991, Int. J. Robotics Res..

[27]  J. Schwartz,et al.  On the “piano movers'” problem I. The case of a two‐dimensional rigid polygonal body moving amidst polygonal barriers , 1983 .

[28]  Sang Joon Kim,et al.  A Mathematical Theory of Communication , 2006 .

[29]  J. Schwartz,et al.  On the Piano Movers' Problem: III. Coordinating the Motion of Several Independent Bodies: The Special Case of Circular Bodies Moving Amidst Polygonal Barriers , 1983 .

[30]  R J Pegg,et al.  Design of Long-Endurance Unmanned Airplanes Incorporating Solar and Fuel Cell Propulsion , 1984 .

[31]  R. L. Schultz,et al.  Aircraft performance optimization. , 1972 .

[32]  Eugene L. Lawler,et al.  The Traveling Salesman Problem: A Guided Tour of Combinatorial Optimization , 1985 .

[33]  P. Stella,et al.  Photovoltaic options for solar electric propulsion , 1990 .

[34]  T. A. Talay,et al.  Solar-powered airplane design for long-endurance, high-altitude flight , 1982 .

[35]  Chinmay K. Patel,et al.  Design , Build & Fly a Solar Powered Aircraft , 2001 .

[36]  D. Morgan,et al.  The feasibility of an aircraft propelled by solar energy , 1974 .

[37]  C. Roberts,et al.  Development of a solar powered micro air vehicle , 2002 .

[38]  L. Darrell Whitley,et al.  The Traveling Salesrep Problem, Edge Assembly Crossover, and 2-opt , 1998, PPSN.

[39]  Roland Siegwart,et al.  Flying Solo and Solar to Mars Global Design of a Solar Autonomous Airplane for Sustainable Flight , 2006 .

[40]  Heinz Erzberger,et al.  FIXED-RANGE OPTIMUM TRAJECTORIES FOR SHORT-HAUL AIRCRAFT , 1976 .

[41]  Howard J. Karloff,et al.  New results on the old k-opt algorithm for the TSP , 1994, SODA '94.

[42]  Ben Grocholsky,et al.  Information-Theoretic Control of Multiple Sensor Platforms , 2002 .

[43]  T. Loredo.  Bayesian Adaptive Exploration , 2004, astro-ph/0409386.

[44]  Robert Nichols,et al.  In The Air , 1991 .

[45]  T. Başar,et al.  A New Approach to Linear Filtering and Prediction Problems , 2001 .

[46]  K. C. Reinhardt,et al.  Solar-powered unmanned aerial vehicles , 1996, IECEC 96. Proceedings of the 31st Intersociety Energy Conversion Engineering Conference.

[47]  Conway W. Snyder,et al.  Spacecraft exploration of Mars , 1992 .

[48]  J. Schwartz,et al.  On the “piano movers” problem. II. General techniques for computing topological properties of real algebraic manifolds , 1983 .

[49]  Gregory Gutin,et al.  Generalized Traveling Salesman Problem Reduction Algorithms , 2008, Algorithmic Oper. Res..

[50]  L. Dubins.  On Curves of Minimal Length with a Constraint on Average Curvature, and with Prescribed Initial and Terminal Positions and Tangents , 1957 .

[51]  B. Anderson,et al.  Optimal Filtering , 1979, IEEE Transactions on Systems, Man, and Cybernetics.

[52]  Timothy W. McLain,et al.  Decentralized Cooperative Aerial Surveillance Using Fixed-Wing Miniature UAVs , 2006, Proceedings of the IEEE.

[53]  J. Vian,et al.  Trajectory Optimization with Risk Minimization for Military Aircraft , 1987 .

[54]  Roland Siegwart,et al.  Design of an Ultra-lightweight Autonomous Solar Airplane for Continuous Flight , 2005, FSR.

[55]  Kirk Flittie,et al.  PATHFINDER SOLAR-POWERED AIRCRAFT FLIGHT PERFORMANCE , 1998 .

[56]  Yann Chevaleyre,et al.  Recent Advances on Multi-agent Patrolling , 2004, SBIA.

[57]  S. LaValle,et al.  Randomized Kinodynamic Planning , 2001 .

[58]  P.T. Kabamba,et al.  Path planning for cooperative time-optimal information collection , 2008, 2008 American Control Conference.

[59]  Steven A. Brandt,et al.  Design Analysis Methodology for Solar-Powered Aircraft , 1995 .

[60]  Esther M. Arkin,et al.  Angewandte Mathematik Und Informatik Universit at Zu K Oln Approximation Algorithms for Lawn Mowing and Milling Ss Andor P.fekete Center for Parallel Computing Universitt at Zu Kk Oln D{50923 Kk Oln Germany Approximation Algorithms for Lawn Mowing and Milling , 2022 .

[61]  Rory A. Fisher,et al.  Theory of Statistical Estimation , 1925, Mathematical Proceedings of the Cambridge Philosophical Society.

[62]  Gaurav S. Sukhatme,et al.  Coverage, Exploration and Deployment by a Mobile Robot and Communication Network , 2004, Telecommun. Syst..

[63]  N. Baldock,et al.  A study of solar‐powered, high‐altitude unmanned aerial vehicles , 2006 .

[64]  Brian W. Kernighan,et al.  An Effective Heuristic Algorithm for the Traveling-Salesman Problem , 1973, Oper. Res..

[65]  Hugh F. Durrant-Whyte,et al.  Simultaneous Localization and Mapping with Sparse Extended Information Filters , 2004, Int. J. Robotics Res..

[66]  S. Kullback,et al.  Information Theory and Statistics , 1959 .

[67]  P. Souéres,et al.  Shortest paths synthesis for a car-like robot , 1996, IEEE Trans. Autom. Control..

[68]  J. Hedrick,et al.  Optimal Flight Paths for Soaring Flight , 1975 .

[69]  Sharon L. Holmes.  The New Close Air Support Weapon: Unmanned Combat Aerial Vehicle in 2010 and Beyond. , 1999 .

[70]  Gaurav S. Sukhatme,et al.  Efficient exploration without localization , 2003, 2003 IEEE International Conference on Robotics and Automation (Cat. No.03CH37422).

[71]  Pierre T. Kabamba,et al.  Energy-Optimal Path Planning for Solar-Powered Aircraft in Level Flight , 2007 .

[72]  R.M. Murray,et al.  On a decentralized active sensing strategy using mobile sensor platforms in a network , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[73]  B. Faverjon,et al.  Probabilistic Roadmaps for Path Planning in High-Dimensional Con(cid:12)guration Spaces , 1996 .

[74]  Timothy W. McLain,et al.  Autonomous Vehicle Technologies for Small Fixed Wing UAVs , 2003 .

[75]  E. Campbell,et al.  Establishing Trajectories for Multi-Vehicle Reconnaissance , 2004 .

[76]  J. Speyer,et al.  Near-Optimal Guidance Law for Ballistic Missile Interception , 1997 .

[77]  Robert F. Stengel,et al.  Optimal Control and Estimation , 1994 .

[78]  John J. Grefenstette,et al.  Genetic Algorithms for the Traveling Salesman Problem , 1985, ICGA.

[79]  P. Hughes.  Spacecraft Attitude Dynamics , 1986 .

[80]  John C. Clements,et al.  Minimum-time turn trajectories to fly-to-points , 1990 .

[81]  John David Anderson,et al.  Aircraft performance and design , 1998 .

[82]  Frank Plastria.  Mixed zero-one Programming , 2001 .

[83]  Alexander Zelinsky,et al.  Planning Paths of Complete Coverage of an Unstructured Environment by a Mobile Robot , 2007 .

[84]  Jean-Claude Latombe,et al.  Robot motion planning , 1970, The Kluwer international series in engineering and computer science.

[85]  Emilio Frazzoli,et al.  UAV ROUTING IN A STOCHASTIC, TIME-VARYING ENVIRONMENT , 2005, IFAC Proceedings Volumes.

[86]  Giulio Romeo,et al.  SHAMPO: Solar HALE aircraft for multi-payload & operations , 2005 .

[87]  J. W. Burrows.  Fuel optimal trajectory computation , 1982 .

[88]  Michael Bosse,et al.  Autonomous feature-based exploration , 2003, 2003 IEEE International Conference on Robotics and Automation (Cat. No.03CH37422).

[89]  Salah Sukkarieh,et al.  Active airborne localisation and exploration in unknown environments using inertial SLAM , 2006, 2006 IEEE Aerospace Conference.

[90]  D. F. Chichka,et al.  Solar-powered, formation-enhanced aerial vehicle systems for sustained endurance , 1998, Proceedings of the 1998 American Control Conference. ACC (IEEE Cat. No.98CH36207).

[91]  Yiyuan Zhao,et al.  Energy-Efficient Trajectories of Unmanned Aerial Vehicles Flying through Thermals , 2005 .

[92]  E B Lee,et al.  Foundations of optimal control theory , 1967 .

[93]  Anouck Girard,et al.  Real-Time Path Planning for Time-Optimal Exploration , 2008 .

[94]  Anthony J Colozza.  Effect of Date and Location on Maximum Achievable Altitude for a Solar Powered Aircraft , 1997 .

[95]  Mark H. Overmars,et al.  Coordinated motion planning for multiple car-like robots using probabilistic roadmaps , 1995, Proceedings of 1995 IEEE International Conference on Robotics and Automation.

[96]  Anthony J. Colozza.  Effect of power system technology and mission requirements on high altitude long endurance aircraft , 1994 .

[97]  Alexei Makarenko,et al.  Information based adaptive robotic exploration , 2002, IEEE/RSJ International Conference on Intelligent Robots and Systems.

[98]  F. Bullo,et al.  On Traveling Salesperson Problems for Dubins’ vehicle: stochastic and dynamic environments , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[99]  Ngo Van Long,et al.  Optimal control theory and static optimization in economics: Bibliography , 1992 .

[100]  Martial Hebert,et al.  Intelligent Unmanned Ground Vehicles: Autonomous Navigation Research at Carnegie Mellon , 1997 .

[101]  Michael Bosse,et al.  Practical path planning and obstacle avoidance for autonomous mowing , 2006 .

[102]  Craig A. Kluever,et al.  Feedback Control for Spacecraft Rendezvous and Docking , 1999 .

[103]  Han Huang,et al.  Bio-inspired Algorithms for TSP and Generalized TSP , 2008 .

[104]  Robert Sim.  To Boldly Go: Bayesian Exploration for Mobile Robots , 2000 .

[105]  David A. Scheiman,et al.  GaAs/Ge Solar Powered Aircraft , 1998 .

[106]  Lamberto Cesari,et al.  Optimization-Theory And Applications , 1983 .

[107]  Victor M. Becerra,et al.  Optimal control , 2008, Scholarpedia.

[108]  Michael J. Allen,et al.  Autonomous Soaring for Improved Endurance of a Small Uninhabited Air Vehicle , 2005 .

[109]  H. Kushner.  Numerical Methods for Stochastic Control Problems in Continuous Time , 2000 .

[110]  W. Grimm.  Periodic control for minimum-fuel aircraft trajectories , 1986 .

[111]  Pierre T. Kabamba,et al.  Solar-Powered Aircraft: Energy-Optimal Path Planning and Perpetual Endurance , 2009 .

[112]  Ella M. Atkins,et al.  A Reconfigurable Flight Management System for Small-Scale Unmanned Air Systems , 2009 .

[113]  R. P. Tuttle,et al.  Mission analysis of solar powered aircraft , 1985 .

[114]  Pierre T. Kabamba,et al.  Optimal path planning for uncertain exploration , 2009, 2009 American Control Conference.

[115]  Nicholas Roy,et al.  Global A-Optimal Robot Exploration in SLAM , 2005, Proceedings of the 2005 IEEE International Conference on Robotics and Automation.

[116]  D. Curtis Schleher,et al.  Introduction to Electronic Warfare , 1986 .

[117]  Tomás Lozano-Pérez,et al.  An algorithm for planning collision-free paths among polyhedral obstacles , 1979, CACM.

[118]  Colin R. Theodore,et al.  Rapid Frequency-Domain Modeling Methods for Unmanned Aerial Vehicle Flight Control Applications , 2004 .

[119]  Gottfried Sachs,et al.  Reducing fuel consumption of subsonic aircraft by optimal cyclic cruise , 1987 .

[120]  Anthony J Colozza,et al.  Convective Array Cooling for a Solar Powered Aircraft , 2004 .

[121]  Anouck Girard,et al.  CONTROL OF MOBILE SENSOR NETWORKS: A STATE-OF-THE-ART REVIEW , 2008 .

[122]  D. W. Hall,et al.  A Preliminary Study of Solar Powered Aircraft and Associated Power Trains , 1983 .

[123]  Giulio Romeo,et al.  HELIPLAT: Aerodynamic and Structural Analysis of HAVE Solar Powered platform , 2002 .

[124]  Francesco Bullo,et al.  Optimal sensor placement and motion coordination for target tracking , 2006, Autom..

[125]  Guy Cumberbatch.  A measure of uncertainty , 1989 .

[126]  J. Speyer.  Nonoptimality of the steady-state cruise for aircraft , 1976 .

[127]  Daniel E. Koditschek,et al.  Exact robot navigation by means of potential functions: Some topological considerations , 1987, Proceedings. 1987 IEEE International Conference on Robotics and Automation.

[128]  J. Kruskal.  On the shortest spanning subtree of a graph and the traveling salesman problem , 1956 .

[129]  R. Langari,et al.  Line map construction using a mobile robot with a sonar sensor , 2005, Proceedings, 2005 IEEE/ASME International Conference on Advanced Intelligent Mechatronics..

[130]  I.I. Hussein.  Kalman filtering with optimal sensor motion planning , 2008, 2008 American Control Conference.

[131]  J.K. Hedrick,et al.  Path planning and control for multiple point surveillance by an unmanned aircraft in wind , 2006, 2006 American Control Conference.

[132]  William C. Brown,et al.  The History of Power Transmission by Radio Waves , 1984 .

[133]  Anouck Girard,et al.  Distributed Heterogeneous Control of Mini-Flying Machines and Ground Robots , 2009 .