A verified hierarchical control architecture for co-ordinated multi-vehicle operations

International Journal of Adaptive Control and Signal Processing

Volumn 21, Issue 2-3, 2007, Pages 159-188

  De Sousa, João Borges ^a   Johansson, Karl H ^b   Silva, Jorge ^c   Speranzon, Alberto ^b  

^a UNIVERSITY OF PORTO   (Portugal)

^b ROYAL INSTITUTE OF TECHNOLOGY   (Sweden)

^c INSTITUTO SUPERIOR DE ENGENHARIA DO PORTO   (Portugal)

Author keywords

Autonomous underwater vehicle; Formal methods; Hierarchical control; Hybrid systems; Multi robot systems; Transition systems

Indexed keywords

ALGORITHMS; AUTONOMOUS UNDERWATER VEHICLES; COMPUTER SIMULATION; FORMAL METHODS; OPTIMIZATION; ROBOTS;

HIERARCHICAL CONTROL; HYBRID SYSTEMS; MULTIROBOT SYSTEMS; TRANSITION SYSTEMS;

HIERARCHICAL SYSTEMS;

EID: 33947380230     PISSN: 08906327     EISSN: 10991115     Source Type: Journal    
DOI: 10.1002/acs.920     Document Type: Article

References (60)

1. Varaiya P, Shladover SE. Sketch of an ivhs systems architecture. Proceedings of the VNIS '91. Vehicle Navigation and Information Systems Conference. IEEE: New York, 1991; 909-922.
2. Hedrick JK, Tomizuka M, Varaiya P. Control issues in automated highway systems. IEEE Control Systems Magazine 1994; 14(6):21-32.
3. Spry S, Girard A, Hedrick JK. Real-time embedded hybrid control software for intelligent cruise control applications. IEEE Robotics and Automation Magazine - Special Issue on ITS 2005; 12(1):22-28.
4. Veloso M. Autonomous robot soccer teams. The Bridge, National Academy of Engineering 2003; 33(1):8-12.
5. D'Andrea R. Robot soccer: a platform for systems engineering. Computers in Education Journal 2000; 10(1):57-61.
6. D'Andrea R, Murray R. The roboflag competition. Proceedings of the American Controls Conference. IEEE: New York, 2003; 650-655.
7. Stokey R, Allen B, Austin T, Goldsborough R, Forrester N, Purcell M, von Alt C. Enabling technologies for remus docking: an integral component of an autonomous ocean-sampling network. IEEE Journal of Oceanic Engineering 2001; 26(4):487-497.
8. Scott Willcox J, Bellingham JG, Zhang Y, Baggeroer AB. Performance metrics for oceanographic surveys with autonomous underwater vehicles. IEEE Journal of Oceanic Engineering 2001; 26(4):711-725.
9. Kendall LC, Costello DK, Warrior H, Langebrake LC, Hou W, Patten JT, Kaltenbacher E. Ocean-science mission needs: real-time auv data for command, control and model inputs. IEEE Journal of Oceanic Engineering 2001; 26(4):742-751.
10. Griffiths G (ed.). Technology and Applications of Autonomous Underwater Vehicles. Ocean Science and Technology, vol. 2. Taylor & Francis Group: London, 2003.
11. Curtin T, Bellingham J, Catipovic J, Webb D. Autonomous ocean sampling networks. Oceanography 1993; 6(3): 86-94.
12. Curtin T, Bellingham JG. Guest editorial: autonomous ocean-sampling networks. IEEE Journal of Oceanic Engineering 2001; 26(4):423.
13. Remmers G, Taylor R, Palo P, Brackett R. Mobile offshore base: a seabasing option. Proceedings of Third International Workshop on Very Large Floating Structures, Hawaii, U.S.A., 1999; 1-7.
14. Borges de Sousa J, Girard A, Hedrick K. Real-time hybrid control of mobile offshore base scaled models. Proceedings of the American Control Conference, Chicago, IL, U.S.A., 2000.
15. Van Cleave D. Trends and technologies for uninhabited autonomous vehicles. In Software-Enabled Control: Information Technology for Dynamical Systems, Samad T, Balas G (eds). IEEE Press/Wiley: New York, 2002.
16. Bayraktar S, Fainekos G, Pappas GJ. Experimental cooperative control of unmanned aerial vehicles. Proceedings IEEE Conference Decision and Control. IEEE Control Society: Atlantis, Paradise Island, Bahamas, 2004.
17. Sprinkle J, Eklund J, Sastry S. Deciding to land a uav safely in real time. Proceedings of American Control Conference. AAIAA: Portland, OR, U.S.A., 2005; 8-10.
18. Jang J, Tomlin C. Autopilot design for the stanford dragonfly uav: validation through hardware-in-the-loop simulation. Proceedings of the AIAA Guidance, Navigation, and Control Conference. AAIAA: Montreal, Canada, 2001.
19. Borges de Sousa J, Simsek T, Varaiya P. Task planning and execution for uav teams. Proceedings of the IEEE Conference on Decision and Control. IEEE: New York, 2004.
20. Culler DE, Mulder H. Smart sensors to network the world. Scientific American 2004; 290(6):84-91.
21. Sozer EM, Stojanovic M, Proakis JG. Underwater acoustic networks. IEEE Journal of Oceanic Engineering 2000; 25(1):72-83.
22. Kilfoyle DB, Baggeroer AB. The state of the art in underwater acoustic telemetry. IEEE Journal of Oceanic Engineering 2000; 25(1):4-27.
23. Burian E, Yoerger D, Bradley A, Singh H. Gradient search with autonomous underwater vehicles using scalar measurements. IEEE Symposium Autonomous Underwater Vehicle Technology, Monterey, CA, U.S.A., 1996; 86-89.
24. Bachmayer R, Leonard NE. Vehicle networks for gradient descent in a sampled environment. Proceedings of IEEE Conference on Decision and Control, Las Vegas, U.S.A., 2002; 112-117.
25. Fiorelli E, Bhatta P, Leonard NE. Adaptive sampling using feedback control of an autonomous underwater glider fleet. Proceedings of the 13th International Symposium on Unmanned Untethered Submersible Technology (UUST). IEEE: New York, 2003.
26. Lygeros J, Godbole DN, Sastry S. A game theoretic approach to hybrid system design. Technical Report UCB/ERL M95/77, Electronics Research Laboratory, University of California, Berkeley, 1995.
27. Tomlin CJ, Lygeros J, Shankar Sastry S. A game theoretic approach to controller design for hybrid systems. Proceedings of the IEEE 2000; 88(7):949-970.
28. Varaiya P. Reach set computation using optimal control. Proceedings of the KIT Workshop on Verification of Hybrid Systems, Verimag, Grenoble, France, 1998.
29. Kurzhanskii AB, Varaiya P. Dynamic optimization for reachability problems. Journal of Optimization Theory and Applications 2001; 108(2):227-251.
30. Jadbabaie A, Lin J, Morse AS. Coordination of groups of mobile autonomous agents using nearest neighbor rules. IEEE Transactions on Automatic Control 2003; 48(6):988-1001.
31. Cortés J, Martinez S, Bullo F. Robust rendezvous for mobile autonomous agents via proximity graphs in arbitrary dimensions. IEEE Transactions on Automatic Control 2006, to appear.
32. Johansson KH, Speranzon A, Zampieri S. On quantization and communication topologies in multi-vehicle rendezvous. Proceedings of IFAC World Congress, Prague, Czech Republic, 2005.
33. Hespanha JP, Kim HJ, Sastry S. Multiple-agent probabilistic pursuit-evasion games. IEEE Conference on Decision and Control 1999; 3:2432-2437.
34. Vidai R, Shakernia O, Kim J, Shim D, Sastry S. Probabilistic pursuit-evasion games: theory, implementation and experimental evaluation. IEEE Transactions on Robotics and Automation 2002; 8(5):662-669.
35. Mazo M, Speranzon A, Johansson KH, Hu X. Multi-robot tracking of a moving object using directional sensors. Proceedings of the International Conference on Robotics and Automation (ICRA), New Orleans, LA, U.S.A., 2004.
36. Silva J, Speranzon A, de Sousa JB, Johansson KH. Hierarchical search strategy for a team of autonomous vehicles. Proceedings of the 2004 IAV Conference. IFAC: Lisboa, Portugal, 2004.
37. Borges de Sousa J, Johansson KH, Speranzon A, Silva J. A control architecture for multiple submarines in coordinated search missions. Proceedings of IFAC World Congress, Prague, Czech Republic, 2005.
38. Girard A, Sousa JB, Hedrick K. An overview of emerging results in networked multi-vehicle systems. Proceedings of the Decision and Control Conference, Orlando, U.S.A., 2001.
39. Varaiya P. A question about hierarchical systems. Personal communication, November 1999.
40. Saridis GN, Valavanis KP. Analytical design of intelligent machines. Automatic 1988; 24(2): 123-133.
41. Lima P, Saridis GN. Design of Intelligent Control Systems Based on Hierarchical Stochastic Automata. Intelligent Control and Intelligent Automation. World Scientific Publisher Co.: Singapore, 1996.
42. Varaiya P. Smart cars on smart roads: problems of control. IEEE Transactions on Automatic Control 1993; 38(3):195-207.
43. Varaiya P. Towards a layered view of control. Proceedings of the 36th IEEE Conference on Decision and Control. IEEE: New York, 1997; 1187-1190.
44. Godbole DN, Lygeros J, Sastry S. Hierarchical hybrid control: an ivhs case study. In Hybrid Systems II, Nerode A, Antsaklis P, Sastry S (eds), Lecture Notes in Computer Science. Birkhauser: Basel, 1995; 166-190.
45. Fainekos G, Kress-Gazit H, Pappas G. Hybrid controllers for path planning: a temporal logic approach. Proceedings IEEE Conference Decision and Control. IEEE Control Society: Seville, Spain, 2005.
46. Borges de Sousa J, Lobo Pereira F. A generalized vehicle-based control architecture for multiple auvs. Proceedings of the OCEANS '95 MTS/IEEE. IEEE: New York, 1995; 1643-1650.
47. Laumond J-P, Sekhavat S, Lamiraux F. Guidelines in Nonholonomic Motion Planning for Mobile Robots, vol. 299, Chapter 1. Lectures Notes in Control and Information Sciences. Springer: Berlin, 1998.
48. Oriolo G, Luca A, Vendittelli M. Wmr control via dynamic feedback linearization: design. IEEE Transactions on Control Systems Technology 2002; 10(6):835-852.
49. Beard RW, McLain TW, Goodrich M, Anderson EP. Coordinated target assignment and intercept for unmanned air vehicles. IEEE Transactions on Robotics and Automation 2002; 18(6):911-922.
50. LaValle SM. Planning Algorithms. Cambridge University Press: Cambridge, 2006. Also available at http://msl.cs.uiuc.edu/planning/
51. Puri A, Varaiya P. Decidable hybrid systems. Computer and Mathematical Modeling 1996; 11(23):191-202.
52. Kurzhanskii AB, Varaiya P. Optimization methods for target problems of control. Proceedings of Mathematical Theory of Networks and Systems Conference, Notre Dame, IN, U.S.A., 2002.
53. Kurzhanskii AB, Varaiya P. On reachability under uncertainty. SIAM Journal of Control and Optimization 2002; 41(1):181-216.
54. Krasovskii NN, Subbotin AI. Game-Theoretical Control Problems, Springer: Berlin, 1988.
55. Spendley W, Hext OR, Himsworth FR. Sequential applications of simplex designs in optimization and evolutionary operation. Technometrics 1962; 4:441-461.
56. Souères P, Balluchi A, Bicchi A. Optimal feedback control for line tracking with a bounded-curvature vehicle. International Journal of Control 2001; 74(10):1009-1019.
57. Aicardi M, Casalino G, Indiveri G, Aguiar A, Encarnação P, Pascoal A. A planar path following controller for underactuated marine vehicles. Proceedings of the Ninth Mediterranean Conference on Control and Automation, Dubrovnik, Croatia, 2001.
58. Fossen TI. Guidance and Control of Ocean Vehicles. Wiley: New York, 1994.
59. Lewis E (ed.). Principles of Naval Architecture (2nd revision). Society of Naval Architects and Marine Engineers: Jersey City, NJ, U.S.A., 1989. ISBN: 0685564983.
60. Prestero TJ. Verification of a six-degree of freedom simulation model for the remus auv. Master's Thesis, Massachusetts Institute of Technology/Woods Hole Oceanographic Institution, Departments of Ocean and Mechanical Engineering, 2001.