Recycling controllers

4th IEEE Conference on Automation Science and Engineering, CASE 2008

Volumn , Issue , 2008, Pages 772-777

  Hadas, Kress Gazit ^a   Ayanian, Nora ^a   Pappas, George J ^a   Kumar, Vijay ^a  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ATOMIC PHYSICS; ATOMS; RECYCLING; ROBOTS;

CHALLENGING PROBLEMS; CONTROL SCHEMES; GENERAL APPROACHES; HETEROGENEOUS ROBOTS; HYBRID CONTROLLERS; MULTIPLE TASKS; RELATIVE LOCATIONS;

ROBOTICS;

EID: 54949119613     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/COASE.2008.4626521     Document Type: Conference Paper

References (17)

1. N. Ayanian and V. Kumar. Decentralized feedback controllers for multi-agent teams in environments with obstacles. In IEEE International Conference on Robotics and Automation, Pasadena, CA, 2008.
2. C. Belta, A. Bicchi, M. Egerstedt, E. Frazzoli, E. Klavins, and G. J. Pappas. Symbolic planning and control of robot motion: State of the art and grand challenges. Robotics and Automation Magazine, 14(l):61-70, 2007.
3. C. Belta and L. Habets. Constructing decidable hybrid systems with velocity bounds. In IEEE Conf. Dec. and Control, Bahamas, 2004.
4. J. F. Canny. The Complexity of Robot Motion Planning. PhD thesis, MIT. Department of Electrical Engineering and Computer Science, Cambridge, MA, 1987.
5. D. C. Conner, A. A. Rizzi, and H. Choset. Composition of local potential functions for global robot control and navigation. In IEEE/RSJ Int'l. Conf. on Intel. Robots and Sys., Las Vegas, Oct. 2003.
6. E. A. Emerson. Temporal and modal logic. In Handbook of theoretical computer science (vol. B): formal models and semantics, pages 995-1072. MIT Press, Cambridge, MA, USA, 1990.
7. L. Habets and J. van Schuppen. A control problem for affine dynamical systems on a full-dimensional polytope. Automatica, 40(1), 2004.
8. H. Kress-Gazit, D. C. Conner, H. Choset, A. A. Rizzi, and G. J. Pappas. Courteous cars: Decentralized multi-agent traffic coordination. Robotics and Automation Magazine, March 2008.
9. H. Kress-Gazit, G. E. Fainekos, and G. J. Pappas. From structured english to robot motion. In IEEE/RSJ Int'l. Conf. on Intelligent Robots and Systems, San Diego, CA, October 2007.
10. H. Kress-Gazit, G. E. Fainekos, and G. J. Pappas. Where's waldo? sensor-based temporal logic motion planning. In IEEE International Conference on Robotics and Automation, pages 3116-3121, 2007.
11. M. Kvasnica, P. Grieder, and M. Baoti. Multi-parametric toolbox (mpt), http://control.ee.ethz.ch/ mpt/2004.
12. S. Lindemann and S. Lavalle. Computing smooth feedback plans over cylindrical algebraic decompositions. In Robotics: Science and Systems, Philadelphia, Pennsylvania, August 2006. MIT Press.
13. S. G. Loizou and K. J. Kyriakopoulos. Closed loop navigation for multiple holonomic vehicles. In Intl. Conf. on Robotics and Automation. Lausanne. Switzerland. October 2002.
14. N. Piterman, A. Pnueli, and Y. Sa'ar. Synthesis of Reactive(l) Designs. In VMCAI, pages 364-380, Charleston, SC, Jenuary 2006.
15. Y. Sa'ar. Java temporal logic verifier, http://jtlv.sourceforge.net 2008.
16. H. Tanner, S. Loizou, and K. Kyriakopoulos. Nonholonomic navigation and control of cooperating mobile manipulators. IEEE Trans. Robotics and Automation, 19(1), February 2003.
17. M. M. Zavlanos and G. J. Pappas. Dynamic assignment in distributed motion planning with local coordination. IEEE Transactions on Robotics, 24(l):232-242, February 2008.