Training Verified Neural Control Barrier Functions

2025

1. Submitted

   

   CP-NCBF: A conformal prediction-based approach to synthesize verified neural control barrier functions

   Manan Tayal^*, Aditya Singh^*, Pushpak Jagtap, and Shishir Kolathaya

   In Submission, 2025

   arXiv Bib

   @inproceedings{tayal2025cp,
     title = {CP-NCBF: A conformal prediction-based approach to synthesize verified neural control barrier functions},
     author = {Tayal, Manan and Singh, Aditya and Jagtap, Pushpak and Kolathaya, Shishir},
     journal = {arXiv preprint arXiv:2503.17395},
     booktitle = {Submission},
     year = {2025}
   }

2024

1. CDC

   

   Learning a Formally Verified Control Barrier Function in Stochastic Environment

   Manan Tayal, Hongchao Zhang, Pushpak Jagtap, Andrew Clark, and Shishir Kolathaya

   In 2024 IEEE 63rd Conference on Decision and Control (CDC), 2024

   DOI arXiv Bib Code

   @inproceedings{tayal2024learning,
     author = {Tayal, Manan and Zhang, Hongchao and Jagtap, Pushpak and Clark, Andrew and Kolathaya, Shishir},
     booktitle = {2024 IEEE 63rd Conference on Decision and Control (CDC)},
     title = {Learning a Formally Verified Control Barrier Function in Stochastic Environment},
     year = {2024},
     pages = {4098-4104},
     keywords = {Training;Jacobian matrices;Sufficient conditions;Filters;Heuristic algorithms;Neural networks;Control systems;Safety;Collision avoidance;Autonomous vehicles},
     doi = {10.1109/CDC56724.2024.10886052}
   }