Correct-by-Construction Adaptive Cruise Control: Two Approaches
Nilsson, Petter, Hussien, Omar, Balkan, Ayca, Chen, Yuxiao, Ames, Aaron D., Grizzle, Jessy W., Ozay, Necmiye, Peng, Huei, Tabuada, PauloYear:
2015
Language:
english
Journal:
IEEE Transactions on Control Systems Technology
DOI:
10.1109/TCST.2015.2501351
File:
PDF, 6.84 MB
english, 2015