Skip to main content

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

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


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.


  • Team Leader
  • Communication Link
  • Computational Node
  • Physical Entity
  • Hybrid Automaton

These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

This is a preview of subscription content, access via your institution.

Buying options

USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/978-3-319-10407-2_4
  • Chapter length: 8 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
USD   109.00
Price excludes VAT (USA)
  • ISBN: 978-3-319-10407-2
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD   149.99
Price excludes VAT (USA)


  1. 1.

    Informally, dynamic networks of hybrid automata [5] allows for interacting automata to create and destroy links among themselves, and for the creation and destruction of automata. Formally, for each hybrid automaton, there are two types of interactions (mediated by means of communications): (1) the differential inclusions, guards, jump, and reset relations are also functions of variables from other automata and (2) exchange of events among automata. At the level of software implementation, the mechanisms by which software modules interact are called models of computation. The choice of the model of computation (or mix of models) is quite application dependent [7]. This is particularly difficult for dynamic networks of hybrid automata.


  1. Baheti R, Gill H (2011) The impact of control technology, chapter cyberphysical systems. IEEE Control Systems Society, pp 161–166

    Google Scholar 

  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–155

    Google Scholar 

  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. 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. 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 PATH

    Google Scholar 

  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–14

    CrossRef  Google Scholar 

  7. Lee E, Sangiovanni-Vincentelli A (1996) Comparing models of computation

    Google Scholar 

  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. Milner R (1980) A Calculus of Communicating Systems. Springer, Berlin (1980)

    Google Scholar 

  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–283

    Google Scholar 

  11. Milner R (1999) Communicating and mobile systems: the \(\Pi \)-calculus. Cambridge University Press, Cambridge

    Google Scholar 

  12. Milner R (2009) The space and motion of communicating agents. Cambridge University Press, Cambridge

    Google Scholar 

  13. Varaiya P (1972) Theory of hierarchical, multilevel systems. IEEE Trans Autom Control 17(2):280–281

    MathSciNet  CrossRef  Google Scholar 

  14. Varaiya P (1997) Towards a layered view of control. In: Proceedings of the 36th IEEE conference on decision and control, pp 1187–90

    Google Scholar 

  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. IEEE

    Google Scholar 

Download references

Author information

Authors and Affiliations


Corresponding author

Correspondence to J. Borges de Sousa .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 2015 Springer International Publishing Switzerland

About this chapter

Cite this chapter

de Sousa, J.B., Lobo Pereira, F. (2015). Coordination Challenges in Networked Vehicle Systems: Are We Missing Something?. In: van Schuppen, J., Villa, T. (eds) Coordination Control of Distributed Systems. Lecture Notes in Control and Information Sciences, vol 456. Springer, Cham.

Download citation

  • DOI:

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-10406-5

  • Online ISBN: 978-3-319-10407-2

  • eBook Packages: EngineeringEngineering (R0)