Stochastic modeling, control, and verification of wild bodies

This paper presents strategies for controlling the distribution of large numbers of minimalist robots (ones containing no sensors or computers). The strategies are implemented by varying area, speed, gate length, or gate configuration in environments composed of regions connected by gates and modelled by Continuous Time Markov chains. We demonstrate the effectiveness and practical feasibility of our strategies through physical experiments and simulation. We use Continuous Stochastic Logic to verify high level properties of our system and to evaluate the accuracy of our model. Also, we prove that our model is accurate and that our algorithms are efficient with respect to the number of regions and number of bodies.

[1]  Calin Belta,et al.  Temporal Logic Motion Planning and Control With Probabilistic Satisfaction Guarantees , 2012, IEEE Transactions on Robotics.

[2]  Michael A. Erdmann.  Randomization in Robot Tasks , 1992 .

[3]  Steven P. Kerckhoff,et al.  Ergodicity of billiard flows and quadratic differentials , 1986 .

[4]  Fumihito Arai,et al.  Micro-/Nanorobots , 2008, Springer Handbook of Robotics, 2nd Ed..

[5]  Nicholas Roy,et al.  Controlling Wild Bodies Using Linear Temporal Logic , 2012 .

[6]  Hadas Kress-Gazit,et al.  Where's Waldo? Sensor-Based Temporal Logic Motion Planning , 2007, Proceedings 2007 IEEE International Conference on Robotics and Automation.

[7]  John Odentrantz,et al.  Markov Chains: Gibbs Fields, Monte Carlo Simulation, and Queues , 2000, Technometrics.

[8]  Maja J. Matarić,et al.  Ergodic Dynamics by Design: A Route to Predictable Multi-Robot Systems , 2005 .

[9]  Wolfram Burgard,et al.  Probabilistic Robotics (Intelligent Robotics and Autonomous Agents) , 2005 .

[10]  Ufuk Topcu,et al.  Robust control of uncertain Markov Decision Processes with temporal logic specifications , 2012, 2012 IEEE 51st IEEE Conference on Decision and Control (CDC).

[11]  Calin Belta,et al.  Automatic Deployment of Distributed Teams of Robots From Temporal Logic Motion Specifications , 2010, IEEE Transactions on Robotics.

[12]  E. Gutkin,et al.  Billiards in polygons , 1986 .

[13]  Steven M. LaValle,et al.  Manipulating Ergodic Bodies through Gentle Guidance , 2012 .

[14]  Steven M. LaValle,et al.  Planning algorithms , 2006 .

[15]  A. Zeifman,et al.  Quasi-ergodicity for non-homogeneous continuous-time Markov chains , 1989, Journal of Applied Probability.

[16]  Matthew T. Mason,et al.  An exploration of sensorless manipulation , 1986, Proceedings. 1986 IEEE International Conference on Robotics and Automation.

[17]  Hadas Kress-Gazit,et al.  Temporal Logic Motion Planning for Mobile Robots , 2005, Proceedings of the 2005 IEEE International Conference on Robotics and Automation.

[18]  Bruce Randall Donald,et al.  Minimalism Distribution Supermodularity , 1997, J. Exp. Theor. Artif. Intell..

[19]  Manuel Blum,et al.  On the power of the compass (or, why mazes are easier to search than graphs) , 1978, 19th Annual Symposium on Foundations of Computer Science (sfcs 1978).

[20]  Hadas Kress-Gazit,et al.  Temporal-Logic-Based Reactive Mission and Motion Planning , 2009, IEEE Transactions on Robotics.

[21]  Marta Z. Kwiatkowska,et al.  PRISM 4.0: Verification of Probabilistic Real-Time Systems , 2011, CAV.

[22]  E. Gutkin.  Billiards in polygons: Survey of recent results , 1996 .

[23]  Katrina Gossman.  Design of environments to control robotic behavior , 2012 .

[24]  Michael Erdmann,et al.  Randomization in Robot Tasks , 1990, Proceedings., IEEE International Conference on Robotics and Automation.

[25]  Stephen P. Boyd,et al.  Fastest Mixing Markov Chain on a Graph , 2004, SIAM Rev..

[26]  Jason M. O'Kane,et al.  Comparing the Power of Robots , 2008, Int. J. Robotics Res..

[27]  John Lygeros,et al.  Control design for specifications on stochastic hybrid systems , 2013, HSCC '13.

[28]  John F. Canny,et al.  A risc approach to sensing and manipulation , 1995, J. Field Robotics.

[29]  Calin Belta,et al.  Motion planning and control from temporal logic specifications with probabilistic satisfaction guarantees , 2010, 2010 IEEE International Conference on Robotics and Automation.

[30]  Howie Choset,et al.  Principles of Robot Motion: Theory, Algorithms, and Implementation ERRATA!!!! 1 , 2007 .

[31]  Steven M. LaValle,et al.  Controlling wild mobile robots using virtual gates and discrete transitions , 2012, 2012 American Control Conference (ACC).

[32]  A. N. Zemlyakov,et al.  Topological transitivity of billiards in polygons , 1975 .

[33]  Stephen P. Boyd.  Convex optimization of graph Laplacian eigenvalues , 2006 .

[34]  Marta Z. Kwiatkowska,et al.  Stochastic Model Checking , 2007, SFM.