| Title | Correct-by-Construction Adaptive Cruise Control: Two Approaches |
| Publication Type | Journal Article |
| Year of Publication | 2015 |
| Authors | P. Nilsson, O. Hussien, A. Balkan, Y. Chen, A. D. Ames, J. W. Grizzle, N. Ozay, H. Peng, P. Tabuada |
| Journal | IEEE Transactions on Control Systems Technology |
| Volume | PP |
| Pagination | 1-14 |
| ISSN | 1063-6536 |
| Keywords | 1552668, Acceleration, Adaptive cruise control (ACC), automotive safety, Computational modeling, correct-by-construction, Cruise control, formal methods, Lead, Safety, Software, supervisory control., Vehicles |
| URL | http://web.eecs.umich.edu/ necmiye/pubs/Nilsson+_tcst16.pdf |
| DOI | 10.1109/TCST.2015.2501351 |
| Citation Key | 7349170 |
Correct-by-Construction Adaptive Cruise Control: Two Approaches