Autonomous vehicle systems have been the topic of much research owing to their ability to perform dangerous, repetitive and automated tasks in remote or hazardous environments. The potential for multivehicle systems cooperating together to accomplish given tasks is starting to draw together researchers from several fields, including robotics, control systems, and computer science. Using selected case studies as a motivation, this paper examines emerging results in networked multi-vehicle systems. Recent work has taken many different directions, such as hybrid systems, distributed control, differential games, control architectures, and artificial intelligence. The focus of this paper is on the control systems perspective. An attempt is made to present some current issues common to networked multivehicle systems, and to show how they have been solved to dte in the perspective of the case studies.
SchoenwaldD. A.AUVs: In space, air, water, and on the ground. IEEE Control Syst. Mag., 2000, 20 (6), 15–18.
2.
Borges de SousaJ.SimsekT.VaraiyaP.Task planning and execution for UAV teams. In IEEE Conference on Decision and Control, 2004 (submitted).
3.
Van CleaveD.Trends and technologies for uninhabited autonomous vehicles. In Software-Enabled Control: Information Technology for Dynamical Systems (Eds SamadT.BalasG.), 2002 (IEEE Press/John Wiley, New York).
GirardA.HowellA.HedrickJ. K.Border patrol and surveillance missions using multiple unmanned air vehicles. In IEEE Conference onDecision and Control, 2004 (accepted).
6.
A remote agent prototype for spacecraft autonomy. NASA Technical Support Package. NASA Technical Brief, Vol. 21(3), item 8, from JPL New Technology Report NPO-1992.
7.
MuscettolaN.Pandurang NayakP.PellB.WilliamsB. C.Remote agent: To boldly go where no AI system has gone before. Artif. Intell., 1998, 103 (1–2), 5–48.
BrowningB.RybskiP.SearockJ.VelosoM.Development of a soccer-playing dynamically-balancing mobile robot. In Proceedings ofICRA-2004, New Orleans, Louisiana, May 2004.
10.
VelosoM.Autonomous robot soccer teams. The Bridge, National Acad. Engng, Spring 2003, 33 (1), 8–12.
11.
AndreaR. D.Robot soccer: A platform for systems engineering. Computers in Educ. J., 2000, 10 (1), 57–61 (or http://www.robocup.org).
GodboleD. N.LygerosJ.SastryS.Hierarchical hybrid control: An IVHS case study. In Hybrid Systems II (Eds AntsaklisP.NerodeA.SastryS.), 1995, LNCS 999, pp. 166–190 (Springer-Verlag, Berlin, Germany).
GirardA.Borges de SousaJ.HedrickJ. K.A hierarchical control architecture for mobile offshore bases. Marine Struct. J., Special Issue on Very Large Floating Structs, 2000, 13, 459–476.
16.
GirardA.HedrickJ. K.Dynamic positioning of ships using nonlinear dynamic surface control. In Proceedings of the 5th IFAC Symposium onNonlinear Control Systems (NOLCOS), St Petersburg, Russia, July 2001.
17.
GirardA.HedrickJ. K.Formation control of multiple vehicles using dynamic surface control and hybrid systems. Int. J. Control, 2003, 76 (9/10), 913–923.
18.
HorowitzR.VaraiyaP.Control design of an automated highway system. Proc. IEEE, 2000, 88 (7), 913–925.
19.
VaraiyaP.Smart cars on smart roads: Problems of control. IEEE Trans. Autom. Control, 1993, 38 (2), 195–207.
20.
HedrickJ. K.SwaroopD.Dynamic coupling in vehicles under automatic control. In 13th IAVSD Symposium, August 1993.
21.
SheikholeslamS.DesoerC. A.Control of interconnected nonlinear dynamical systems: The platoon problem. IEEE Trans. Autom. Control, 1992, 37 (6), 806–810.
GirardA.A convenient state machine formalism for high-level control of autonomous underwater vehicles. Master's thesis, Florida Atlantic University, Boca Raton, Florida, May 1998.
28.
BellinghamJ.ConsiT. R.BeatonR. M.HallW.Keeping layered control simple. In Proceedings of the Symposium onAUV Technology, June 1990, pp. 3–8.
29.
Borges de SousaJ.Lobo PereiraF.Pereira da SilvaE.A dynamically configurable architecture for the control of AUVs. In Proceedings of the IEEE Oceans Conference, October 1994, pp. 131–136.
30.
HealeyA. J.MarcoD. B.McGheeR. B.Autonomous underwater vehicle control coordination using a trilevel hybrid software architecture. In Proceedings of the IEEE Conference onRobotics and Automation, Minneapolis, Minnesota, April 1996, pp. 2149–2159.
MurrayR. (Ed.) Control in an information rich world. Report of the panel on Future Directions in Control, Dynamics, and Systems, SIAM, 2003.
33.
SimsekT.Borges de SousaJ.VaraiyaP.Communication and control in hybrid systems. Tutorial session. In Proceedings of the American Control Conference, Washington, DC, June 2001, Vol. 6, pp. 4968–4983.
34.
DeshpandeA.GolluA.SemenzatoL.The SHIFT programming language and run-time system for dynamic networks of hybrid automata. California PATH, Report UCB-ITS-PRR-97–7, 1997.
35.
EdwardsS.LavagnoL.LeeE.Sangiovanni-VincentelliA.Design of embedded systems: Formal methods, validation and synthesis. Proc. IEEE, 1997, 85 (3), 366–390.
36.
MilnerR.Semantic ideas in computing. Computing Tomorrow: Future Research Directions in Computer Science (Eds WandI.MilnerR.), 1996, pp. 246–283 (Cambridge University Press).
37.
MilnerR.Communicating and Mobile Systems: The Pi-Calculus, 1999 (Cambridge University Press).
38.
HedrickJ. K.TomizukaM.VaraiyaP.Control issues in automated highway systems. IEEE Control Syst. Mag., 1994, 14 (6), 21–32.
39.
SmithR. S.HadaeghF. Y.Control topologies for deep space formation flying spacecraft. In Proceedings of the American Control Conference, 8–10 May 2002, Vol. 4, pp. 2836–2841.
BeardR. W.LawtonJ.HadaeghF. Y.A coordination architecture for spacecraft formation control. IEEE Trans. Control Syst. Technol., 2001, 9 (6), 777–790.
42.
TillersonM.BregerL.HowJ. P.Distributed coordination and control of formation flying spacecraft. In Proceedings of the American Control Conference, 4–6 June 2003, Vol. 2, pp. 1740–1745.
43.
LeonardN. E.FiorelliE.Virtual leaders, artificial potentials and coordinated control of groups. In Proceedings of the 40th IEEE Conference onDecision and Control, 4–7 December 2001, Vol. 2, pp. 2968–2973.
44.
Olfati-SaberM.MurrayR.Graph rigidity and distributed formation stabilization of multi-vehicle systems. In Proceedings of the 41st IEEE Conference on Decision and Control, 10–13 December 2002, Vol. 3, pp. 2965–2971.
45.
ZohdiT. I.Computational design of swarms. Int. J. Numer. Meth. in Engng, 2003, 57, 2205–2219.
46.
TannerH.JadbabaieA.PappasG.Stable flocking of mobile agents. Part II: Dynamic topology. In Proceedings of the 42nd IEEE Conference onDecision and Control, Maui, Hawaii, 9–12 December 2003, Vol. 2, pp. 2026–2031.
47.
TannerH.JadbabaieA.PappasG.Stable flocking of mobile agents, Part I: Fixed topology. In Proceedings of the 42nd IEEE Conference onDecision and Control, Maui, Hawaii, 9–12 December 2003, Vol. 2, pp. 2010–2015.
48.
LiberzonD.MorseA. S.Basic problems in stability and design of switched systems. IEEE Control Syst. Mag., 1999, 19 (5), 59–70.
49.
GirardA.Hybrid system architectures for coordinated vehicle control. PhD dissertation, University of California, Berkeley, May 2002.
50.
CaveneyD.Multiple target tracking in the adaptive cruise control environment using multiple models and probabilistic data association. PhD dissertation, Department of Mechanical Engineering, University of California, Berkeley, May 2004.
51.
SilvaJ.SperanzonA.Borges de SousaJ.JohanssonK. H.Hierarchical search strategy for a team of autonomous vehicles. In Proceedings of the 5th IFAC Symposium onIntelligent Autonomous Vehicles, 2004 (to appear).
52.
ReisL. P.LauN.FCPortugal 2002 Coach: High-level coaching of RoboSoccer games. In Proceedings of International RoboCup Symposium (Eds KaminkaGalLimaP.RojasR.), Fukuoka, Japan, June 2002.
53.
ReisL. P.LauN.FCPortugal 2002 team description: Flexible coordination techniques. In Proceedings of International RoboCup Symposium (Eds KaminkaGalLimaP.RojasR.), Fukuoka, Japan, June 2002.
54.
ZennaroM.KoJ.SenguptaR.TripakisS.A service network architecture for a multi-vehicle search mission. In Proceedings of the IEEE 40th Conference onDecision and Control, 4–7 December 2001, Vol. 2, pp. 1503–1508.
55.
SousaJ.GirardA.SilvaJ. E.Elemental maneuvers for unmanned air vehicles. In Proceedings of the Robotica Conference, 2004.
56.
KooT. J.Hierarchical system architecture for multi-agent, multi-modal systems. In Proceedings of the IEEE Conference onDecision and Control, Orlando, Florida, 4–7 December 2001, Vol. 2, pp. 1509–1514.
YovineS.Méthodes et outils pour la vérification symbolique de systémes temporisés. PhD thesis, Institut National Polytechnique de Grenoble, France, 1993.
59.
DawsC.OliveroA.TripakisS.YovineS.The Kronos tool. In Hybrid Systems III, Verification and Control, 1996, Lecture Notes in Computer Science, pp. 1066–1080 (Springer-Verlag, Berlin, Germany).
60.
HenzingerT.NicollinX.SifakisJ.YovineS.Symbolic model checking for real-time systems. Inf. Computation, 1994, 111 (2), 193–244.
61.
HenzingerT.HoP. H.Wong-ToiH.Hytech: The next generation. In Proceedings of the IEEE Real-Time Systems Symposium (PTSS'95), 1995, pp. 169–183.
62.
VaraiyaP.Reach set computation using optimal control. In Proceedings of the KIT Workshop onVerification of Hybrid Systems, 1998.
63.
KurzhanskiiA.VaraiyaP.Ellipsoidal techniques for reachability analysis. In Hybrid Systems: Computation and Control, 2000, Lecture Notes in Computer Science, pp. 202–214 (Springer-Verlag, Berlin, Germany).
64.
LinJ.MorseA. S.AndersonB. D. O.The multi-agent rendezvous problem. In Proceedings of the 42nd IEEE Conference onDecision and Control, 9–12 December 2003, Vol. 2, pp. 1508–1513.
65.
SousaJ.GirardA.HedrickJ. K.Safe controller design for intelligent cruise control using differential games. In Proceedings of the MTNS, 2004.
66.
GirardA.SousaJ.MisenerJ.HedrickJ. K.A control architecture for integrated cooperative cruise control and collision warning systems. In Proceedings of the IEEE Conference onDecision and Control, Orlando, Florida, December 2001.
67.
GirardA.SpryS.HedrickJ. K.Real-time embedded hybrid control software for intelligent cruise control applications. IEEE Robotics and Automn Mag., 2003 (accepted).
TomlinC.LygerosJ.SastryS.A game theoretic approach to controller design for hybrid systems. Proc. IEEE, 2000, 88 (7), 949–970.
70.
KumarP. R.New technological vistas for systems and control: The example of wireless networks. IEEE Control Syst. Mag., 2001, 21 (1), 24–37.
71.
PantA.SeilerP.BrouckeM.KooT. J.HedrickJ. K.Coordination and control of autonomous vehicles. IEEE Trans. Robotics (submitted).
72.
SeilerP.Coordinated control of unmanned air vehicles. PhD dissertation, Department of Mechanical Engineering, University of California, Berkeley, May 2002.
73.
LianF. L.MoyneJ. R.TilburyD. M.Performance evaluation of control networks: Ethernet, ControlNet, and DeviceNet. IEEE Control Syst. Mag., 2001, 21 (1), 66–83.
HowellA. S.GirardA. R.HedrickJ. K.VaraiyaP.A real-time software architecture for coordinated vehicle control. In Proceedings of the Workshop onFuture Generation Software Architectures in the Automotive Domain, San Diego, California, 10–11 January 2004. To be published in LNCS.
76.
TripakisS.YovineS.Analysis of timed systems based on time-abstracting bisimulations. In Proceedings of the 8th International Conference onComputer Aided Verification (CAV 96), New Brunswick, New Jersey, August 1996, pp. 232–243.
77.
VasanS.RajkumarR.A methodology for predictable real-time system design. In Proceedings of the 17th Digital Avionics Systems Conference, Bellevue, Washington, November 1998, pp. C26/1–8.
