1 Correctness Guarantees for the Composition of Lane Keeping and Adaptive Cruise Control Xiangru Xu, Member, IEEE, Jessy W. Grizzle, Fellow, IEEE, Paulo Tabuada, Senior Member, IEEE, Aaron D. Ames, Member, IEEE

First Page		Document Content
Date: 2016-08-04 10:26:22		1 Correctness Guarantees for the Composition of Lane Keeping and Adaptive Cruise Control Xiangru Xu, Member, IEEE, Jessy W. Grizzle, Fellow, IEEE, Paulo Tabuada, Senior Member, IEEE, Aaron D. Ames, Member, IEEE Add to Reading List Source URL: web.eecs.umich.edu Download Document from Source Website File Size: 859,10 KB Share Document on Facebook