Correct-By-Construction Design of Adaptive Cruise Control with Control Barrier Functions Under Safety and Regulatory Constraints

Muhammad Waqas, Muhammad Ali Murtaza, Pierluigi Nuzzo, Petros Ioannou. Correct-By-Construction Design of Adaptive Cruise Control with Control Barrier Functions Under Safety and Regulatory Constraints. In American Control Conference, ACC 2022, Atlanta, GA, USA, June 8-10, 2022. pages 5140-5146, IEEE, 2022. [doi]

@inproceedings{WaqasMNI22,
  title = {Correct-By-Construction Design of Adaptive Cruise Control with Control Barrier Functions Under Safety and Regulatory Constraints},
  author = {Muhammad Waqas and Muhammad Ali Murtaza and Pierluigi Nuzzo and Petros Ioannou},
  year = {2022},
  doi = {10.23919/ACC53348.2022.9867464},
  url = {https://doi.org/10.23919/ACC53348.2022.9867464},
  researchr = {https://researchr.org/publication/WaqasMNI22},
  cites = {0},
  citedby = {0},
  pages = {5140-5146},
  booktitle = {American Control Conference, ACC 2022, Atlanta, GA, USA, June 8-10, 2022},
  publisher = {IEEE},
  isbn = {978-1-6654-5196-3},
}