Biblio

Filters: Author is Hussien, Omar  [Clear All Filters]
2018-05-27
Nilsson, Petter, Hussien, Omar, Balkan, Ayca, Chen, Yuxiao, Ames, Aaron D, Grizzle, Jessy W, Ozay, Necmiye, Peng, Huei, Tabuada, Paulo.  2016.  Correct-by-construction adaptive cruise control: Two approaches. IEEE Transactions on Control Systems Technology. 24:1294–1307.
Nilsson, Petter, Hussien, Omar, Chen, Yuxiao, Balkan, Ayca, Rungger, Matthias, Ames, Aaron D, Grizzle, Jessy, Ozay, Necmiye, Peng, Huei, Tabuada, Paulo.  2014.  Preliminary results on correct-by-construction control software synthesis for adaptive cruise control. Decision and Control (CDC), 2014 IEEE 53rd Annual Conference on. :816–823.