2025conference

Feasible Space Monitoring for Multiple Control Barrier Functions with application to Large Scale Indoor Navigation

Hardik Parwana, Mitchell Black, Bardh Hoxha, Hideki Okamoto, Georgios Fainekos, Danil Prokhorov, Dimitra Panagou

IEEE Conference on Control Technology and Applications (CCTA), 2025

Topics: Runtime Verification and Monitoring; Optimal Planning and Safe Control

Citation

@inproceedings{parwana2025feasible,
  title = {Feasible Space Monitoring for Multiple Control Barrier Functions with application to Large Scale Indoor Navigation},
  author = {Parwana, Hardik and Black, Mitchell and Hoxha, Bardh and Okamoto, Hideki and Fainekos, Georgios and Prokhorov, Danil and Panagou, Dimitra},
  booktitle = {IEEE Conference on Control Technology and Applications (CCTA), 2025},
  year = {2025},
  pages = {171--178},
  url = {https://ar5iv.org/pdf/2312.07803.pdf},
  keywords = {Runtime Verification and Monitoring, Optimal Planning and Safe Control}
}