]> 2026-05-16T18:34:16+00:00 Connected Cruise Control Design Using Probabilistic Model Checking 0 en In this paper, we synthesize a robust connected cruise controller with performance guarantee using probabilis- tic model checking, for a vehicle that receives motion informa- tion from several vehicles ahead through wireless vehicle-to- vehicle communication. We model the car-following dynamics of the preceding vehicles as Markov chains and synthesize the connected cruise controller as a Markov decision process. We show through simulations that such a design is robust against imperfections in communication. Jin I. Ge Gabor Orosz and Richard M. Murray 2016f Submitted, 2017 American Control Conference (ACC) gom17-acc Conference paper 2016-10-17T15:48:59Z 2457679.1590162 Connected Cruise Control Design Using Probabilistic Model Checking Title 102 en Title