safe-control

Here are 9 public repositories matching this topic...

wanxinjin / Safe-PDP

Safe Pontryagin Differentiable Programming (Safe PDP) is a new theoretical and algorithmic safe differentiable framework to solve a broad class of safety-critical learning and control tasks.

optimization constraints constrained-optimization constraint-programming robotics-control constraint-based-modeling safety-critical safety-critical-systems differentiable-programming non-convex-optimization safe-reinforcement-learning constrained-learning safe-control constrained-reinforcement-learning safe-planning safety-critical-learning

Updated Jul 23, 2022
Python

IBM / vsrl-framework

Star

The Verifiably Safe Reinforcement Learning Framework

reinforcement-learning pytorch reinforcement-learning-algorithms formal-methods formal-verification keymaerax safety-critical cyber-physical-systems differential-dynamic-logic keymaera safe-reinforcement-learning reinforcement-learning-environments safe-control

Updated Jul 22, 2021
Python

wecacuee / Bayesian_CBF

Star

Code for the paper "Control Barriers in Bayesian Learning of System Dynamics"

control gaussian-processes safety-critical-systems barrier-method safe-control

Updated Oct 18, 2022
Jupyter Notebook

labicon / DRCC-MPC

Star

Official code repository for "Integrating Predictive Motion Uncertainties with Distributionally Robust Risk-Aware Control for Safe Robot Navigation in Crowds"

trajectory-prediction crowd-navigation safe-control