Skip to Main Content (Press Enter)

Logo UNIMORE
  • ×
  • Home
  • Degree programmes
  • Modules
  • Jobs
  • People
  • Research Outputs
  • Academic units
  • Third Mission
  • Projects
  • Skills

UNI-FIND
Logo UNIMORE

|

UNI-FIND

unimore.it
  • ×
  • Home
  • Degree programmes
  • Modules
  • Jobs
  • People
  • Research Outputs
  • Academic units
  • Third Mission
  • Projects
  • Skills
  1. Research Outputs

Degrees of Autonomy in Coordinating Collectives of Self-Driving Vehicles

Conference Paper
Publication Date:
2020
Short description:
Degrees of Autonomy in Coordinating Collectives of Self-Driving Vehicles / Mariani, S.; Zambonelli, F.. - 12477:(2020), pp. 189-204. ( 9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2020 Rodos, GREECE OCT 20-30, 2020) [10.1007/978-3-030-61470-6_12].
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.
Iris type:
Relazione in Atti di Convegno
Keywords:
Autonomy; Coordination; Intersection crossing; Self-driving vehicles
List of contributors:
Mariani, S.; Zambonelli, F.
Authors of the University:
MARIANI Stefano
ZAMBONELLI Franco
Handle:
https://iris.unimore.it/handle/11380/1226136
Book title:
LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: ENGINEERING PRINCIPLES, ISOLA 2020, PT II
Published in:
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE
Journal
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE
Series
  • Use of cookies

Powered by VIVO | Designed by Cineca | 26.4.5.0