safety-critical-control
Python library for Barrier States (BaS) safe control and safety-embedded systems.