safe-control

There are 0 repository under safe-control 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.
safe-reinforcement-learning safe-control safety-critical safety-critical-systems constraint-programming constraint-based-modeling constrained-optimization constrained-reinforcement-learning constrained-learning differentiable-programming safe-planning robotics-control non-convex-optimization constraints safety-critical-learning optimization
Language:Python 62
IBM / vsrl-framework
The Verifiably Safe Reinforcement Learning Framework
reinforcement-learning safety-critical formal-verification formal-methods reinforcement-learning-algorithms reinforcement-learning-environments cyber-physical-systems keymaerax keymaera differential-dynamic-logic pytorch safe-reinforcement-learning safe-control
Language:Python 53
wecacuee / Bayesian_CBF
Code for the paper "Control Barriers in Bayesian Learning of System Dynamics"
control barrier-method gaussian-processes safe-control safety-critical-systems
Language:Jupyter Notebook 21
arlk / SafeFeedbackMotionPlanning.jl
Safe Control for Nonlinear Systems
nonlinear-control adaptive-control safe-control safety-critical
Language:Julia 18
intelligent-control-lab / BIS
Benchmark on interactive safety
human-robot-interaction safety safe-control benchmark
Language:Python 12
labicon / DRCC-MPC
Official code repository for "Integrating Predictive Motion Uncertainties with Distributionally Robust Risk-Aware Control for Safe Robot Navigation in Crowds"
crowd-navigation safe-control trajectory-prediction
Language:Jupyter Notebook 7
MIT-REALM / LLM_gcbfplus
llm multiagent-systems safe-control
Language:Python 2