Coordination Challenges in Networked Vehicle Systems: Are We Missing Something?

Chapter
Part of the Lecture Notes in Control and Information Sciences book series (LNCIS, volume 456)

Abstract

The computation and control challenges arising in the coordination of multi-vehicle systems are discussed in the framework of (coupled) physical and computational dynamics. The challenges are formulated as classical control problems of optimization, invariance, and attainability for systems governed by the laws of physics and computation. Directions for future research are discussed with special emphasis on the aspects of coupled dynamics and dynamic structure that seem to be missing in the literature.

References

  1. 1.
    Baheti R, Gill H (2011) The impact of control technology, chapter cyberphysical systems. IEEE Control Systems Society, pp 161–166Google Scholar
  2. 2.
    Cardelli L, Gordon AD (1988) Mobile ambients. In: Nivat M (ed) Proceedings of the first international conference on foundations of software science and computation structure, Lecture notes in computer science: 1378. Springer, Berlin, pp 140–155Google Scholar
  3. 3.
    de Sousa JB, Johansson KH, da Silva JE, Speranzon A (2005) A verified hierarchical control architecture for coordinated multi-vehicle operations. Int J Adapt Control Sig Process 21(2–3):159–188 (Special Issue: Autonomous and adaptive control of vehicles in formation)Google Scholar
  4. 4.
    de Sousa JB, Maciel B, Pereira FL (2009) Sensor systems on networked vehicles. Netw Heterogen Media 4(2):223–247 (American Institute of Mathematical Sciences)Google Scholar
  5. 5.
    Deshpande A, Gollu A, Semenzato L (1997) The shift programming language and run-time system for dynamic networks of hybrid automata. Technical Report UCB-ITS-PRR-97-7, California PATHGoogle Scholar
  6. 6.
    Girard AR, Borges de Sousa J, Hedrick JK (2005) A selection of recent advances in networked multi-vehicle systems. Proc I MECH E Part I J Syst Control Eng 219:1–14CrossRefGoogle Scholar
  7. 7.
    Lee E, Sangiovanni-Vincentelli A (1996) Comparing models of computationGoogle Scholar
  8. 8.
    McGuillivary P, de Sousa JB, Martins R (2012) Connecting the dots. networking maritime fleets of autonomous systems for science and surveillance. Marine Technology Reporter (October)Google Scholar
  9. 9.
    Milner R (1980) A Calculus of Communicating Systems. Springer, Berlin (1980)Google Scholar
  10. 10.
    Milner R (1996) Semantic ideas in computing. In: Wand I, Milner R (eds) Computing tomorrow: future research directions in computer science. Cambridge University Press, Cambridge, pp 246–283Google Scholar
  11. 11.
    Milner R (1999) Communicating and mobile systems: the \(\Pi \)-calculus. Cambridge University Press, CambridgeGoogle Scholar
  12. 12.
    Milner R (2009) The space and motion of communicating agents. Cambridge University Press, CambridgeGoogle Scholar
  13. 13.
    Varaiya P (1972) Theory of hierarchical, multilevel systems. IEEE Trans Autom Control 17(2):280–281MathSciNetCrossRefGoogle Scholar
  14. 14.
    Varaiya P (1997) Towards a layered view of control. In: Proceedings of the 36th IEEE conference on decision and control, pp 1187–90Google Scholar
  15. 15.
    Varaiya P, Simsek T, de Sousa JB (2001) Communication and control of distributed hybrid systems—tutorial session. In: Proceedings of the 2001 American control conference, pp 4968–83. IEEEGoogle Scholar

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  1. 1.Departamento de Engenharia Electrotécnica e ComputadoresFaculdade de Engenharia da Universidade do PortoPortoPortugal

Personalised recommendations