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: |
| |||||||||
ORCID: |
| |||||||||
Additional Information: | © 2017 IEEE. This work is supported by NSF grant 135145. | |||||||||
Funders: |
| |||||||||
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