Browse wiki

From MurrayWiki
Jump to: navigation, search
Connected Cruise Control Design Using Probabilistic Model Checking
Abstract In this paper, we synthesize a robust conn …
In this paper, we synthesize a robust connected cruise controller with performance guarantee using probabilis- tic model checking, for a vehicle that receives motion informa- tion 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.
st against imperfections in communication.  +
Authors Jin I. Ge, Gabor Orosz and Richard M. Murray  +
ID 2016f  +
Source Submitted, 2017 American Control Conference (ACC)  +
Tag gom17-acc  +
Title Connected Cruise Control Design Using Probabilistic Model Checking +
Type Conference paper  +
Categories Papers
Modification date
This property is a special property in this wiki.
17 October 2016 15:48:59  +
URL
This property is a special property in this wiki.
http://www.cds.caltech.edu/~murray/preprints/gom17-acc_s.pdf  +
hide properties that link here 
Connected Cruise Control Design Using Probabilistic Model Checking + Title
 

 

Enter the name of the page to start browsing from.