Huang P.-YLiu K.-WLi Z.-LPark SAndert ECHUNG-WEI LINShrivastava A.2023-06-092023-06-092022https://www.scopus.com/inward/record.uri?eid=2-s2.0-85130854123&doi=10.23919%2fDATE54114.2022.9774616&partnerID=40&md5=87447b5438ac691764b58af68af2521dhttps://scholars.lib.ntu.edu.tw/handle/123456789/632554Different types of lane-changing assistance systems are usually developed separately by different automotive makers or suppliers. A lane-changing model can meet its own requirements, but it may be incompatible with another lane-changing model. In this paper, we verify if two lane-changing models are compatible so that the two corresponding vehicles on different lanes can exchange their lanes successfully. We propose a methodology and an algorithm to perform the verification on the combinations of four lane-changing models. Experimental results demonstrate the compatibility (or incompatibility) between the models. The verification results can be utilized during runtime to prevent incompatible vehicles from entering a lane-changing road segment. To the best of our knowledge, this is the first work considering the compatibility issue for lane-changing models. © 2022 EDAA.Automotives; Lane changing; Lane changing assistance system; Lane changing models; Road segments; Runtimes; Two-lane; Verification resultsconference paper10.23919/DATE54114.2022.97746162-s2.0-85130854123