A Caltech Library Service

Connected cruise control design using probabilistic model checking

Ge, Jin I. and Orosz, Gábor and Murray, Richard M. (2017) Connected cruise control design using probabilistic model checking. In: 2017 American Control Conference. IEEE , Piscataway, NJ, pp. 4964-4970. ISBN 978-1-5090-5992-8.

[img] PDF - Submitted Version
See Usage Policy.


Use this Persistent URL to link to this item:


In this paper, we synthesize a connected cruise controller with performance guarantee using probabilistic model checking, for a vehicle that receives motion information 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.

Item Type:Book Section
Related URLs:
URLURL TypeDescription
Ge, Jin I.0000-0001-6429-9337
Orosz, Gábor0000-0002-9000-3736
Murray, Richard M.0000-0002-5785-7481
Additional Information:© 2017 IEEE. This work is supported by NSF grant 135145.
Funding AgencyGrant Number
Record Number:CaltechAUTHORS:20170705-155806564
Persistent URL:
Official Citation:J. I. Ge, G. Orosz and R. M. Murray, "Connected cruise control design using probabilistic model checking," 2017 American Control Conference (ACC), Seattle, WA, USA, 2017, pp. 4964-4970. doi: 10.23919/ACC.2017.7963724
Usage Policy:No commercial reproduction, distribution, display or performance rights in this work are provided.
ID Code:78779
Deposited By: Kristin Buxton
Deposited On:06 Jul 2017 21:38
Last Modified:15 Nov 2021 17:43

Repository Staff Only: item control page