Abstractions for Planning and Control of Robotic Swarms

ions for Planning and Control of Robotic Swarms

[1]  E. Allen Emerson,et al.  Temporal and Modal Logic , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[2]  C. Jacobi,et al.  Vorlesungen über dynamik , 1866 .

[3]  Randy A. Freeman,et al.  Multi-Agent Coordination by Decentralized Estimation and Control , 2008, IEEE Transactions on Automatic Control.

[4]  Calin Belta,et al.  Temporal Logic Planning and Control of Robotic Swarms by Hierarchical Abstractions , 2007, IEEE Transactions on Robotics.

[5]  Littlejohn,et al.  Internal or shape coordinates in the n-body problem. , 1995, Physical review. A, Atomic, molecular, and optical physics.

[6]  Fumin Zhang,et al.  Control of small formations using shape coordinates , 2003, 2003 IEEE International Conference on Robotics and Automation (Cat. No.03CH37422).

[7]  Vijay R. Kumar,et al.  Control of a team of car-like robots using abstractions , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).

[8]  Vijay Kumar,et al.  Controlling three dimensional swarms of robots , 2006, Proceedings 2006 IEEE International Conference on Robotics and Automation, 2006. ICRA 2006..

[9]  E. W. Justh,et al.  Steering laws and continuum models for planar formations , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).

[10]  Richard M. Murray,et al.  Consensus problems in networks of agents with switching topology and time-delays , 2004, IEEE Transactions on Automatic Control.

[11]  Calin Belta,et al.  A Fully Automated Framework for Control of Linear Systems from LTL Specifications , 2006, HSCC.

[12]  Vijay Kumar,et al.  Modeling and control of formations of nonholonomic mobile robots , 2001, IEEE Trans. Robotics Autom..

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

[14]  Calin Belta,et al.  Abstraction and control for Groups of robots , 2004, IEEE Transactions on Robotics.