/CBFs-for-complex-safety-specs

Matlab codes for safety-critical control based on a single CBF constructed from a complex combination of safety specifications. They contain codes for numerical simulation of three reach-avoid problems with a single obstacle, multiple obstacles and a road network.

Primary LanguageMATLAB

This repository is not active