{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T05:00:51Z","timestamp":1750309251528,"version":"3.41.0"},"reference-count":35,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2024,7,13]],"date-time":"2024-07-13T00:00:00Z","timestamp":1720828800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"NIST Award","award":["70NANB19H144"],"award-info":[{"award-number":["70NANB19H144"]}]},{"DOI":"10.13039\/100000028","name":"Semiconductor Research Corporation","doi-asserted-by":"crossref","award":["3154"],"award-info":[{"award-number":["3154"]}],"id":[{"id":"10.13039\/100000028","id-type":"DOI","asserted-by":"crossref"}]},{"name":"National Science Foundation","award":["CNS 1525855, CPS 1645578"],"award-info":[{"award-number":["CNS 1525855, CPS 1645578"]}]},{"name":"MOE in Taiwan","award":["NTU-112V2003-1"],"award-info":[{"award-number":["NTU-112V2003-1"]}]},{"name":"NSTC in Taiwan","award":["NSTC-112-2636-E-002-010, NSTC-112-2221-E-002-168-MY3"],"award-info":[{"award-number":["NSTC-112-2636-E-002-010, NSTC-112-2221-E-002-168-MY3"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Cyber-Phys. Syst."],"published-print":{"date-parts":[[2024,7,31]]},"abstract":"<jats:p>Connected Autonomous Vehicles (CAVs) are expected to enable reliable, efficient, and intelligent transportation systems. Most motion-planning algorithms for multi-agent systems implicitly assume that all vehicles\/agents will execute the expected plan with a small error and evaluate their safety constraints based on this fact. This assumption, however, is hard to keep for CAVs since they may have to change their plan (e.g., to yield to another vehicle) or are forced to stop (e.g., a CAV may break down). While it is desired that a CAV never gets involved in an accident, it may be hit by other vehicles and, sometimes, preventing the accident is impossible (e.g., getting hit from behind while waiting at a red light). Responsibility-Sensitive Safety (RSS) is a set of safety rules that defines the objective of CAVs to blame, instead of safety. Thus, instead of developing a CAV algorithm that will avoid any accident, it ensures that the ego vehicle will not be blamed for any accident it is a part of. Original RSS rules, however, are hard to evaluate for merge, intersection, and unstructured road scenarios, plus RSS rules do not prevent deadlock situations among vehicles. In this article, we propose a new formulation for RSS rules that can be applied to any driving scenario. We integrate the proposed RSS rules with the CAV\u2019s motion planning algorithm to enable cooperative driving of CAVs. We use Control Barrier Functions to enforce safety constraints and compute the energy optimal trajectory for the ego CAV. Finally, to ensure liveness, our approach detects and resolves deadlocks in a decentralized manner. We have conducted different experiments to verify that the ego CAV does not cause an accident no matter when other CAVs slow down or stop. We also showcase our deadlock detection and resolution mechanism using our simulator. Finally, we compare the average velocity and fuel consumption of vehicles when they drive autonomously with the case that they are autonomous and connected.<\/jats:p>","DOI":"10.1145\/3648004","type":"journal-article","created":{"date-parts":[[2024,4,18]],"date-time":"2024-04-18T08:21:33Z","timestamp":1713428493000},"page":"1-26","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Cooperative Driving of Connected Autonomous vehicle using Responsibility Sensitive Safety Rules: A Control Barrier Functions Approach"],"prefix":"10.1145","volume":"8","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4134-5008","authenticated-orcid":false,"given":"Mohammad","family":"Khayatian","sequence":"first","affiliation":[{"name":"Vecna Robotics, Boston, United States"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9081-9049","authenticated-orcid":false,"given":"Mohammadreza","family":"Mehrabian","sequence":"additional","affiliation":[{"name":"South Dakota School of Mines and Technology, Rapid City, United States"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-3424-2389","authenticated-orcid":false,"given":"I-Ching","family":"Tseng","sequence":"additional","affiliation":[{"name":"National Taiwan University, Taipei, Taiwan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8309-7028","authenticated-orcid":false,"given":"Chung-Wei","family":"Lin","sequence":"additional","affiliation":[{"name":"Computer Science and Information Engineering, National Taiwan University, Taipei Taiwan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7141-2657","authenticated-orcid":false,"given":"Calin","family":"Belta","sequence":"additional","affiliation":[{"name":"University of Maryland at College Park A James Clark School of Engineering, College Park, United States"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1075-897X","authenticated-orcid":false,"given":"Aviral","family":"Shrivastava","sequence":"additional","affiliation":[{"name":"Arizona State University, Phoenix, United States"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,7,13]]},"reference":[{"key":"e_1_3_2_2_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.robot.2017.10.011"},{"key":"e_1_3_2_3_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2018.07.097"},{"key":"e_1_3_2_4_2","doi-asserted-by":"publisher","DOI":"10.1145\/3407903"},{"key":"e_1_3_2_5_2","doi-asserted-by":"publisher","DOI":"10.1145\/3300184"},{"key":"e_1_3_2_6_2","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC45102.2020.9294437"},{"key":"e_1_3_2_7_2","doi-asserted-by":"publisher","DOI":"10.1145\/3358221"},{"key":"e_1_3_2_8_2","doi-asserted-by":"publisher","DOI":"10.1145\/3364182"},{"key":"e_1_3_2_9_2","doi-asserted-by":"publisher","DOI":"10.1080\/0020717031000079418"},{"key":"e_1_3_2_10_2","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2016.2587582"},{"key":"e_1_3_2_11_2","doi-asserted-by":"publisher","DOI":"10.1145\/3055004.3055028"},{"key":"e_1_3_2_12_2","article-title":"On a formal model of safe and scalable self-driving cars","author":"Shalev-Shwartz Shai","year":"2017","unstructured":"Shai Shalev-Shwartz, Shaked Shammah, and Amnon Shashua. 2017. On a formal model of safe and scalable self-driving cars. arXiv preprint arXiv:1708.06374 (2017).","journal-title":"arXiv preprint arXiv:1708.06374"},{"key":"e_1_3_2_13_2","doi-asserted-by":"publisher","DOI":"10.1109\/TIV.2017.2788209"},{"key":"e_1_3_2_14_2","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2018.2886247"},{"key":"e_1_3_2_15_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS.2014.6843706"},{"key":"e_1_3_2_16_2","doi-asserted-by":"publisher","DOI":"10.1145\/3450267.3450530"},{"key":"e_1_3_2_17_2","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2018.00014"},{"key":"e_1_3_2_18_2","doi-asserted-by":"publisher","DOI":"10.1145\/3061639.3062221"},{"key":"e_1_3_2_19_2","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2017.7995794"},{"key":"e_1_3_2_20_2","volume-title":"Workshop on Autonomous Systems Design (ASD 2019)","author":"Dedinsky Rachel","year":"2019","unstructured":"Rachel Dedinsky, Mohammad Khayatian, Mohammadreza Mehrabian, and Aviral Shrivastava. 2019. A dependable detection mechanism for intersection management of connected autonomous vehicles (interactive presentation). In Workshop on Autonomous Systems Design (ASD 2019). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik."},{"key":"e_1_3_2_21_2","first-page":"292","article-title":"Autonomous vehicle-to-vehicle (v2v) decision making in roundabout using game theory","volume":"7","author":"Banjanovic-Mehmedovic Lejla","year":"2016","unstructured":"Lejla Banjanovic-Mehmedovic et\u00a0al. 2016. Autonomous vehicle-to-vehicle (v2v) decision making in roundabout using game theory. Int. J. Adv. Comput. Sci. Appl 7 (2016), 292\u2013298.","journal-title":"Int. J. Adv. Comput. Sci. Appl"},{"key":"e_1_3_2_22_2","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2018.8500384"},{"key":"e_1_3_2_23_2","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2017.2649567"},{"key":"e_1_3_2_24_2","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2010.5625277"},{"key":"e_1_3_2_25_2","doi-asserted-by":"publisher","DOI":"10.1177\/0361198119847473"},{"key":"e_1_3_2_26_2","doi-asserted-by":"publisher","DOI":"10.1109\/INISTA.2014.6873612"},{"key":"e_1_3_2_27_2","doi-asserted-by":"publisher","DOI":"10.1109\/MITS.2016.2549997"},{"key":"e_1_3_2_28_2","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2020.2969209"},{"key":"e_1_3_2_29_2","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2007.4399520"},{"key":"e_1_3_2_30_2","doi-asserted-by":"publisher","DOI":"10.1177\/0278364905051974"},{"key":"e_1_3_2_31_2","doi-asserted-by":"crossref","unstructured":"Mohammad Hekmatnejad Shakiba Yaghoubi Adel Dokhanchi Heni Ben Amor Aviral Shrivastava Lina Karam and Georgios Fainekos. 2019. Encoding and monitoring responsibility sensitive safety rules for automated vehicles in signal temporal logic. In Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design. 1\u201311.","DOI":"10.1145\/3359986.3361203"},{"key":"e_1_3_2_32_2","doi-asserted-by":"publisher","DOI":"10.1109\/CVPRW50498.2020.00206"},{"key":"e_1_3_2_33_2","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2019.8917473"},{"key":"e_1_3_2_34_2","doi-asserted-by":"publisher","DOI":"10.1109\/CDC40024.2019.9029455"},{"key":"e_1_3_2_35_2","volume-title":"Implementation of the Pure Pursuit Path Tracking Algorithm","author":"Coulter R. Craig","year":"1992","unstructured":"R. Craig Coulter. 1992. Implementation of the Pure Pursuit Path Tracking Algorithm. Technical Report. Carnegie-Mellon University Robotics Institute, Pittsburgh, PA."},{"key":"e_1_3_2_36_2","volume-title":"IPENZ Transportation Group Conference, Rotorua, New Zealand","author":"Ak\u00e7elik Rahmi","year":"2012","unstructured":"Rahmi Ak\u00e7elik, Robin Smit, and Mark Besley. 2012. Calibrating fuel consumption and emission models for modern vehicles. In IPENZ Transportation Group Conference, Rotorua, New Zealand."}],"container-title":["ACM Transactions on Cyber-Physical Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3648004","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3648004","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T23:56:52Z","timestamp":1750291012000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3648004"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7,13]]},"references-count":35,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2024,7,31]]}},"alternative-id":["10.1145\/3648004"],"URL":"https:\/\/doi.org\/10.1145\/3648004","relation":{},"ISSN":["2378-962X","2378-9638"],"issn-type":[{"type":"print","value":"2378-962X"},{"type":"electronic","value":"2378-9638"}],"subject":[],"published":{"date-parts":[[2024,7,13]]},"assertion":[{"value":"2022-04-02","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2024-01-24","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2024-07-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}