CaltechAUTHORS
  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. https://resolver.caltech.edu/CaltechAUTHORS:20170705-155806564

Full text is not posted in this repository. Consult Related URLs below.

Use this Persistent URL to link to this item: https://resolver.caltech.edu/CaltechAUTHORS:20170705-155806564

Abstract

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
https://doi.org/10.23919/ACC.2017.7963724DOIArticle
http://ieeexplore.ieee.org/document/7963724/PublisherArticle
ORCID:
AuthorORCID
Murray, Richard M.0000-0002-5785-7481
Additional Information:© 2017 IEEE. This work is supported by NSF grant 135145.
Funders:
Funding AgencyGrant Number
NSFDMS-135145
Record Number:CaltechAUTHORS:20170705-155806564
Persistent URL:https://resolver.caltech.edu/CaltechAUTHORS:20170705-155806564
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
Collection:CaltechAUTHORS
Deposited By: Kristin Buxton
Deposited On:06 Jul 2017 21:38
Last Modified:03 Oct 2019 18:12

Repository Staff Only: item control page