Welcome to the new version of CaltechAUTHORS. Login is currently restricted to library staff. If you notice any issues, please email coda@library.caltech.edu
Published May 2017 | Submitted
Book Section - Chapter Open

Connected cruise control design using probabilistic model checking


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.

Additional Information

© 2017 IEEE. This work is supported by NSF grant 135145.

Attached Files

Submitted - gom17-acc_s.pdf


Files (4.4 MB)
Name Size Download all
4.4 MB Preview Download

Additional details

August 19, 2023
October 26, 2023