Skip to main content
SpringerLink
Log in

Degrees of Autonomy in Coordinating Collectives of Self-Driving Vehicles

  • Conference paper
  • First Online:
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles (ISoLA 2020)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 12477))

Included in the following conference series:

Abstract

Our streets will be soon populated by multitudes of self-driving vehicles, calling for appropriate solutions to coordinate their collective movements in order to ensure safety and efficiency. In this paper, after introducing the general issues associated to coordination of self-driving vehicles, we show that a key engineering issue is identifying the most suitable degree of autonomy in decision making that should be left to vehicles during the coordination process. This issue also includes the possibility, depending on factors such as traffic conditions or the need to enact specific mobility policies, to dynamically adjust such degree of autonomy and thus the adopted coordination scheme. This introduces many theoretical and practical challenges in modelling self-driving vehicles coordination schemes and in their rigorous engineering, as in the case of intersection crossing, analysed in the paper.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Abeywickrama, D.B., Mamei, M., Zambonelli, F.: Engineering collectives of self-driving vehicles: the SOTA approach. In: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11246, pp. 79–93. Springer, Cham (2018). https://doi.org/10.1007/978-3-030-03424-5_6

    Chapter  Google Scholar 

  2. Awad, E., et al.: The moral machine experiment. Nature 563(7729), 59 (2018)

    Article  Google Scholar 

  3. Balbo, F., Bhouri, N., Pinson, S.: Bimodal traffic regulation system: a multi-agent approach. Web Intell. 14(2), 139–151 (2016). https://doi.org/10.3233/WEB-160336

    Article  Google Scholar 

  4. Bicocchi, N., Mamei, M., Sassi, A., Zambonelli, F.: On recommending opportunistic rides. IEEE Trans. Intell. Transp. Syst. 18(12), 3328–3338 (2017). https://doi.org/10.1109/TITS.2017.2684625

    Article  Google Scholar 

  5. Cabri, G., Gherardini, L., Montangero, M.: Auction-based crossings management. In: Proceedings of the 5th EAI International Conference on Smart Objects and Technologies for Social Good, GoodTechs 2019, pp. 183–188. ACM, New York (2019). https://doi.org/10.1145/3342428.3342689

  6. Carlino, D., Boyles, S.D., Stone, P.: Auction-based autonomous intersection management. In: 2013 16th International IEEE Conference on Intelligent Transportation Systems-(ITSC), pp. 529–534. IEEE (2013)

    Google Scholar 

  7. Dresner, K., Stone, P.: A multiagent approach to autonomous intersection management. J. Artif. Intell. Res. 31, 591–656 (2008)

    Article  Google Scholar 

  8. Fagnant, D.J., Kockelman, K.: Preparing a nation for autonomous vehicles: opportunities, barriers and policy recommendations. Transp. Res. Part A Policy Pract. 77, 167–181 (2015)

    Article  Google Scholar 

  9. Fridman, L., Ding, L., Jenik, B., Reimer, B.: Arguing machines: human supervision of black box AI systems that make life-critical decisions (2017)

    Google Scholar 

  10. Gelernter, D., Carriero, N.: Coordination languages and their significance. Commun. ACM 35(2), 96–107 (1992). https://doi.org/10.1145/129630.376083

    Article  Google Scholar 

  11. Gerber, C., Siekmann, J., Vierke, G.: Flexible autonomy in holonic agent systems. In: Proceedings of the 1999 AAAI Spring Symposium on Agents with Adjustable Autonomy. AAAI (1999)

    Google Scholar 

  12. Goodrich, M.A., Schultz, A.C., et al.: Human-robot interaction: a survey. Found. Trends Hum. Comput. Interact. 1(3), 203–275 (2008)

    Article  Google Scholar 

  13. Hausknecht, M., Au, T.C., Stone, P.: Autonomous intersection management: multi-intersection optimization. In: 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems, pp. 4581–4586. IEEE (2011)

    Google Scholar 

  14. International, S.: Taxonomy and definitions for terms related to driving automation systems for on-road motor vehicles, June 2018

    Google Scholar 

  15. Jia, D., Lu, K., Wang, J., Zhang, X., Shen, X.: A survey on platoon-based vehicular cyber-physical systems. IEEE Commun. Surv. Tutorials 18(1), 263–284 (2016). (Firstquarter). https://doi.org/10.1109/COMST.2015.2410831

  16. Lee, J., Park, B.: Development and evaluation of a cooperative vehicle intersection control algorithm under the connected vehicles environment. IEEE Trans. Intell. Transp. Syst. 13(1), 81–90 (2012). https://doi.org/10.1109/TITS.2011.2178836

    Article  Google Scholar 

  17. Lippi, M., Mamei, M., Mariani, S., Zambonelli, F.: An argumentation-based perspective over the social iot. IEEE Internet Things J. 5(4), 2537–2547 (2018). https://doi.org/10.1109/JIOT.2017.2775047

    Article  Google Scholar 

  18. Lopes, F., Wooldridge, M., Novais, A.Q.: Negotiation among autonomous computational agents: principles, analysis and challenges. Artif. Intell. Rev. 29(1), 1–44 (2008)

    Article  Google Scholar 

  19. Maheswaran, R.T., Tambe, M., Bowring, E., Pearce, J.P., Varakantham, P.: Taking DCOP to the real world: efficient complete solutions for distributed multi-event scheduling. In: Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems-Volume 1, pp. 310–317. IEEE Computer Society (2004)

    Google Scholar 

  20. Mamei, M., Menezes, R., Tolksdorf, R., Zambonelli, F.: Case studies for self-organization in computer science. J. Syst. Architect. 52(8–9), 443–460 (2006)

    Article  Google Scholar 

  21. Mandiau, R., Champion, A., Auberlet, J.M., Espié, S., Kolski, C.: Behaviour based on decision matrices for a coordination between agents in a urban traffic simulation. Appl. Intell. 28(2), 121–138 (2008). https://doi.org/10.1007/s10489-007-0045-3

    Article  Google Scholar 

  22. Menon, N., Barbour, N., Zhang, Y., Pinjari, A.R., Mannering, F.: Shared autonomous vehicles and their potential impacts on household vehicle ownership: an exploratory empirical assessment. Int. J. Sustain. Transp. 13, 1–12 (2018)

    Google Scholar 

  23. Mostafa, S.A., Ahmad, M.S., Mustapha, A.: Adjustable autonomy: a systematic literature review. Artif. Intell. Rev. 51(2), 149–186 (2017). https://doi.org/10.1007/s10462-017-9560-8

    Article  Google Scholar 

  24. Nisan, N., Roughgarden, T., Tardos, E., Vazirani, V.V.: Algorithmic Game Theory. Cambridge University Press, Cambridge (2007)

    Book  Google Scholar 

  25. Omicini, A., Zambonelli, F.: Challenges of decentralized coordination in large-scale ubicomp systems. In: Proceedings of the 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing, UbiComp Adjunct 2016, Heidelberg, Germany, 12–16 September, 2016, pp. 1315–1320. ACM Press (2016)

    Google Scholar 

  26. Parunak, H.V.D., Brueckner, S., Sauter, J.: Digital pheromone mechanisms for coordination of unmanned vehicles. In: Castelfranchi, C., Johnson, W.L. (eds.) 1st International Joint Conference on Autonomous Agents and Multiagent systems, vol. 1, pp. 449–450. ACM, New York, 15–19 July 2002 (2012)

    Google Scholar 

  27. Polycarpou, E., Lambrinos, L., Protopapadakis, E.: Smart parking solutions for urban areas. In: 2013 IEEE 14th International Symposium on “A World of Wireless, Mobile and Multimedia Networks” (WoWMoM). IEEE (2013). https://doi.org/10.1109/WoWMoM.2013.6583499

  28. Rahwan, I., Ramchurn, S.D., Jennings, N.R., Mcburney, P., Parsons, S., Sonenberg, L.: Argumentation-based negotiation. Knowl. Eng. Rev. 18(4), 343–375 (2003)

    Article  Google Scholar 

  29. Rios-Torres, J., Malikopoulos, A.: A survey on the coordination of connected and automated vehicles at intersections and merging at highway on-ramps. IEEE Trans. Intell. Transp. Syst. 18(5), 1066–1077 (2017). https://doi.org/10.1109/TITS.2016.2600504

    Article  Google Scholar 

  30. Röth, T., Pielen, M., Wolff, K., Lüdiger, T.: Urban vehicle concepts for the shared mobility. ATZ Worldwide 120(1), 18–23 (2018). https://doi.org/10.1007/s38311-017-0163-4

    Article  Google Scholar 

  31. Sassi, A., Zambonelli, F.: Coordination infrastructures for future smart social mobility services. IEEE Intell. Syst. 29(5), 78–82 (2014). https://doi.org/10.1109/MIS.2014.81

    Article  Google Scholar 

  32. Scerri, P., Pynadath, D., Tambe, M.: Adjustable autonomy in real-world multi-agent environments. In: Proceedings of the Fifth International Conference on Autonomous Agents, pp. 300–307. ACM Press (2001)

    Google Scholar 

  33. Seredynski, M., Bouvry, P.: A survey of vehicular-based cooperative traffic information systems. In: 2011 14th International IEEE Conference on Intelligent Transportation Systems (ITSC), pp. 163–168. IEEE, October 2011. https://doi.org/10.1109/ITSC.2011.6083055

  34. Seshia, S.A., Sadigh, D., Sastry, S.S.: Formal methods for semi-autonomous driving. In: 2015 52nd ACM/EDAC/IEEE Design Automation Conference (DAC), pp. 1–5 (2015)

    Google Scholar 

  35. Toner, J., Tu, Y.: Flocks, herds, and schools: a quantitative theory of flocking. Phys. Rev. E 58(4), 4828 (1998)

    Article  MathSciNet  Google Scholar 

  36. Tonguz, O.K.: Red light, green light–no light: Tomorrow’s communicative cars could take turns at intersections. IEEE Spectr. 55(10), 24–29 (2018). https://doi.org/10.1109/MSPEC.2018.8482420

    Article  Google Scholar 

  37. van der Vecht, B., Dignum, F., Meyer, J.-J.C., Neef, M.: A dynamic coordination mechanism using adjustable autonomy. In: Sichman, J.S., Padget, J., Ossowski, S., Noriega, P. (eds.) COIN -2007. LNCS (LNAI), vol. 4870, pp. 83–96. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-79003-7_7

    Chapter  Google Scholar 

  38. Vasirani, M., Ossowski, S.: A market-inspired approach for intersection management in urban road traffic networks. J. Artif. Int. Res. 43(1), 621–659 (2012)

    MATH  Google Scholar 

  39. Vu, H., Aknine, S., Ramchurn, S.D.: A decentralised approach to intersection traffic management. In: IJCAI, pp. 527–533. AAAI Press (2018)

    Google Scholar 

  40. Wu, W., Zhang, J., Luo, A., Cao, J.: Distributed mutual exclusion algorithms for intersection traffic control. IEEE Trans. Parallel Distrib. Syst. 26(1), 65–74 (2015). https://doi.org/10.1109/TPDS.2013.2297097

    Article  Google Scholar 

  41. Zohdy, I.H., Kamalanathsharma, R.K., Rakha, H.: Intersection management for autonomous vehicles using iCACC. In: 2012 15th International IEEE Conference on Intelligent Transportation Systems, pp. 1109–1114. IEEE, September 2012. https://doi.org/10.1109/ITSC.2012.6338827

Download references

Author information

Authors and Affiliations

  1. Department of Sciences and Methods of Engineering, University of Modena and Reggio Emilia, Via Amendola 2, 42122, Reggio Emilia, Italy

    Stefano Mariani & Franco Zambonelli

Authors
  1. Stefano Mariani
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Franco Zambonelli
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Franco Zambonelli .

Editor information

Editors and Affiliations

  1. University of Limerick and Lero, Limerick, Ireland

    Tiziana Margaria

  2. TU Dortmund, Dortmund, Germany

    Bernhard Steffen

Rights and permissions

Reprints and permissions

Copyright information

© 2020 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Mariani, S., Zambonelli, F. (2020). Degrees of Autonomy in Coordinating Collectives of Self-Driving Vehicles. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles. ISoLA 2020. Lecture Notes in Computer Science(), vol 12477. Springer, Cham. https://doi.org/10.1007/978-3-030-61470-6_12

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-61470-6_12

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-61469-0

  • Online ISBN: 978-3-030-61470-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation