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. http://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: http://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: | http://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: | 06 Jul 2017 21:38 |
Repository Staff Only: item control page
