Probabilistic verification of a decentralized policy for conflict resolution in multi-agent systems

Proceedings - IEEE International Conference on Robotics and Automation

Volumn 2006, Issue , 2006, Pages 2448-2453

  Pallottino, Lucia ^a   Scordio, Vincenzo Giovanni ^a   Frazzoli, Emilio ^b   Bicchi, Antonio ^a  

^a UNIVERSITY OF PISA   (Italy)

^b UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CONFLICT RESOLUTION; CONSTRUCTIVE METHOD; NONHOLONOMIC VEHICLES; PROBABILISTIC VERIFICATION;

AUTONOMOUS AGENTS; COLLISION AVOIDANCE; DECENTRALIZED CONTROL; OPTICAL RESOLVING POWER; PROBABILITY; UNMANNED VEHICLES;

MULTI AGENT SYSTEMS;

EID: 33845650920     PISSN: 10504729     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ROBOT.2006.1642069     Document Type: Conference Paper

References (24)

1. L. E. Dubins, "On curves of minimal length with a constraint on average curvature and with prescribed initial and terminal positions and tangents," American Journal of Mathematics, vol. 79, pp. 497-516, 1957.
2. S. M. LaValle and S. A. Hutchinson, "Optimal motion planning for multiple robots having independent goals," IEEE Trans. on Robotics and Automation, vol. 14, no. 6, pp. 912-925, 1998.
3. J. Peng and S. Akella, "Coordinating multiple robots with kinodynamic constraints along specified paths," in Proc. Fifth International Workshop on the Algorithmic Foundations of Robotics (WAFR), Nice, France, 2002.
4. B. P. Gerkey and M. J. Mataric̀, "Sold!: Auction methods for multi-robot coordination," IEEE Trans. Robotics and Automation, vol. 18, no. 5, pp. 758-768, 2002.
5. H. Chitsaz, J. O'Kane, and S. LaValle;, "Exact pareto-optimal coordination of two translating polygonal robots on an acyclic roadmap," in Proceedings of the International Conference on Robotics and Automation, vol. 4, 2004, pp. 3981 - 3986.
6. V. J. Lumelsky and K. R. Harinarayan, "Decentralized motion planning for multiple mobile robots: the cocktail party model," Autonomous Robots, vol. 4, no. 1, pp. 121-35, 1997.
7. E. Klavins, "Communication complexity of multi-robot systems," in Proc. Fifth International Workshop on the Algorithmic Foundations of Robotics, Nice, France, 2002.
8. G. Inalhan, D. M. Stipanovic, and C. J. Tomlin, "Decentralized optimization, with application to multiple aircraft coordination," in Proc. IEEE Conf. on Decision and Control, 2002.
9. A. Jadbabaie, J. Lin, and A. S. Morse, "Coordination of groups of mobile autonomous agents using nearest neighbor rules," IEEE Trans. Aut. Control, vol. 48, no. 6, pp. 988-1001, 2003.
10. H. Tanner, A. Jadbabaie, and G. Pappas, "Flocking agents with varying interconnection topology," 2004, submitted to Automatica.
11. R. Olfati-Saber, "Flocking for multi-agent dynamic systems: Algorithms and theory," 2004, submitted to the IEEE Trans, on Automatic Control (Technical Report CIT-CDS 2004-005).
12. S. Loizu, D. Dimarogonas, and K. Kyriakopoulos, "Decentralized feedback stabilization of multiple nonholonomic agents," in Proceedings of the International Conference on Robotics and Automation, vol. 3, 2004, pp. 3012 - 3017.
13. C. Tomlin, G. J. Pappas, and S. Sastry, "Conflict resolution for air traffic management: A case study in multi-agent hybrid systems," IEEE Trans. Aut. Control, vol. 43, pp. 509-521, 1998.
14. R. Ghosh and C. J. Tomlin, "Maneuver design for multiple aircraft conflict resolution," in Proc. American Control Conf, Chicago, IL, 2000.
15. C. Tomlin, I. Mitchell, and R. Ghosh, "Safety verificaiton of conflict resolution maneuvers," IEEE Trans. Intelligent Transportation Systems, vol. 2, no. 2, 2001.
16. L. Pallottino, V. Scordio, and A. Bicchi, "Decentralized cooperative conflict resolution among multiple autonomous mobile agents," in Proceedings of the Conference on Decision and Control, vol. 5, Dec. 2004, pp. 4758-4763.
17. E. Frazzoli, L. Pallottino, V. G. Scordio, and A. Bicchi, "Decentralized cooperative conflict resolution for multiple nonholonomic vehicles," in Proc. AIAA Guidance, Navigation and Control conference, 2005.
18. R. Tempo, G. Calafiore, and F. Dabbene, Randomized Algorithms for Analysis and Control of Uncertain Systems, ser. Communications and Control Engineering. Springer-Verlag, 2003.
19. R. Alur, C. Courcoubetis, N. Halbwachs, T. Henzinger, P. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine, "The algorithmic analysis of hybrid systems," Theoretical Computer Science, vol. 138, pp. 3-34, 1995.
20. M. S. Branicky, "Studies in hybrid systems: Modeling, analysis, and control," Ph.D. dissertation, Massachusetts Institute of Technology, Cambridge, MA, 1995.
21. J. Lygeros, "Hierarchical hybrid control of large scale systems," Ph.D. dissertation, University of California, Berkeley, CA, 1996.
22. R. Alur, T. Dang, J. Esposito, Y. Hur, F. Ivančič, V. Kumar, I. Lee, P. Mishra, G. J. Pappas, and O. Sokolsky, "Hierarchical modeling and analysis of embedded systems," Proceedings of the IEEE, vol. 91, no. 1, pp. 11-28, 2003.
23. N. Lynch, R. Segala, and F. Vandraager, "Hybrid I/O automata revisited," in Hybrid Systems IV: Computation and Control, ser. Lecture Notes in Computer Science, M. Di Benedetto and A. Sangiovanni-Vincentelli, Eds. Springer-Verlag, 2001, vol. 2034, pp. 403-417.
24. H. Chernoff, "A measure of asymptotic efficency for tests of a hypotesis based on the sum of observations," Annals of Mathematical Statistics, vol. 23, pp. 493-507, 1952.