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
![]() |
PDF
- Submitted Version
See Usage Policy. 4MB |
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: |
| ||||||||
DOI: | 10.23919/ACC.2017.7963724 | ||||||||
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: | 15 Nov 2021 17:43 |
Repository Staff Only: item control page