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.
Keywords
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
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
Awad, E., et al.: The moral machine experiment. Nature 563(7729), 59 (2018)
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
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
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
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)
Dresner, K., Stone, P.: A multiagent approach to autonomous intersection management. J. Artif. Intell. Res. 31, 591–656 (2008)
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)
Fridman, L., Ding, L., Jenik, B., Reimer, B.: Arguing machines: human supervision of black box AI systems that make life-critical decisions (2017)
Gelernter, D., Carriero, N.: Coordination languages and their significance. Commun. ACM 35(2), 96–107 (1992). https://doi.org/10.1145/129630.376083
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)
Goodrich, M.A., Schultz, A.C., et al.: Human-robot interaction: a survey. Found. Trends Hum. Comput. Interact. 1(3), 203–275 (2008)
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)
International, S.: Taxonomy and definitions for terms related to driving automation systems for on-road motor vehicles, June 2018
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
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
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
Lopes, F., Wooldridge, M., Novais, A.Q.: Negotiation among autonomous computational agents: principles, analysis and challenges. Artif. Intell. Rev. 29(1), 1–44 (2008)
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)
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)
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
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)
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
Nisan, N., Roughgarden, T., Tardos, E., Vazirani, V.V.: Algorithmic Game Theory. Cambridge University Press, Cambridge (2007)
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)
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)
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
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)
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
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
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
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)
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
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)
Toner, J., Tu, Y.: Flocks, herds, and schools: a quantitative theory of flocking. Phys. Rev. E 58(4), 4828 (1998)
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
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
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)
Vu, H., Aknine, S., Ramchurn, S.D.: A decentralised approach to intersection traffic management. In: IJCAI, pp. 527–533. AAAI Press (2018)
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
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
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this paper
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)