safety-critical-systems topic

Constant-complexity deterministic memory allocator (heap) for hard real-time high-integrity embedded systems. There is very little activity because the project is finished and does not require further...

pavel-kirienko

A collection of work using nonlinear model predictive control (NMPC) with discrete-time control Lyapunov functions (CLFs) and control barrier functions (CBFs)

HybridRobotics

"Safety-Critical Model Predictive Control with Discrete-Time Control Barrier Function" by J. Zeng, B. Zhang and K. Sreenath https://arxiv.org/abs/2007.11718

HybridRobotics

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.

wanxinjin

The Fuzion Language Implementation

tokiwa-software

NeurIPS 2023: Safety-Gymnasium: A Unified Safe Reinforcement Learning Benchmark

PKU-Alignment

Safe robot learning

Weixy21

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

wecacuee

"Safety-Critical Control using Optimal-decay Control Barrier Functions with Guaranteed Point-wise Feasibility" by J. Zeng, B. Zhang, Z. Li and K. Sreenath https://arxiv.org/pdf/2103.12375.pdf

HybridRobotics

ICLR 2024: SafeDreamer: Safe Reinforcement Learning with World Models

PKU-Alignment