Degrees of Autonomy in Coordinating Collectives of Self-Driving Vehicles
- Manage
- Copy
- Actions
- Export
- Annotate
- Print Preview
Choose the export format from the list below:
- Office Formats (1)
-
Export as Portable Document Format (PDF) using Apache Formatting Objects Processor (FOP)
-
- Other Formats (1)
-
Export as HyperText Markup Language (HTML)
-
Stefano Mariani, Franco Zambonelli
9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2020)
2020
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. As the paper analyzes with reference to the specific example of intersection crossing, this introduces many theoretical and practical challenges in modeling self- driving vehicles coordination schemes and in their rigorous engineering. |
(keywords) Self-driving vehicles, Coordination, Autonomy, Intersection Crossing |
Publications / Personal
Publications / Views
Home
— clouds
tags | authors | editors | journals
— per year
2023 | 2022 | 2021 | 2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014–1927
— per sort
in journal | in proc | chapters | books | edited | spec issues | editorials | entries | manuals | tech reps | phd th | others
— per status
online | in press | proof | camera-ready | revised | accepted | revision | submitted | draft | note
— services
ACM Digital Library | DBLP | IEEE Xplore | IRIS | PubMed | Google Scholar | Scopus | Semantic Scholar | Web of Science | DOI
Publication
— authors
Stefano Mariani, Franco Zambonelli
— status
published
— sort
paper in proceedings
— publication date
2020
— volume
9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2020)
— venue
9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2020)
URLs
identifiers
— DOI