7 results found Sort:

PKU-Alignment
safety-gymnasium PKU-Alignment
53
410
apache-2.0
10
NeurIPS 2023: Safety-Gymnasium: A Unified Safe Reinforcement Learning Benchmark
constraint-rl safety-critical reinforcement-learning safety-critical-systems safe-policy-optimization safe-reinforcement-learning constraint-satisfaction-problem safe-reinforcement-learning-environments
Created 2023-01-27
70 commits to main branch, last one 7 months ago
pavel-kirienko
o1heap pavel-kirienko
31
256
mit
14
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...
heap misra malloc memory avionics embedded realtime allocator real-time worst-case constant-time hard-realtime hard-real-time high-integrity safety-critical embedded-systems high-reliability memory-allocator memory-management safety-critical-systems
Created 2020-01-22
81 commits to master branch, last one 8 months ago
HybridRobotics
NMPC-DCLF-DCBF HybridRobotics
46
237
mit
8
A collection of work using nonlinear model predictive control (NMPC) with discrete-time control Lyapunov functions (CLFs) and control barrier functions (CBFs)
ipopt matlab mpc-control quadratic-programming nonlinear-optimization safety-critical-systems model-predictive-control control-barrier-functions control-lyapunov-functions obstacle-avoidance-algorithm
Created 2021-06-09
23 commits to master branch, last one about a year ago
Weixy21
BarrierNet Weixy21
18
78
mit
4
Safe robot learning
robot-learning visual-servoing end-to-end-learning safety-critical-systems control-barrier-functions differentiable-optimization
Created 2021-12-03
31 commits to main branch, last one about a month ago
wanxinjin
Safe-PDP wanxinjin
7
71
mit
3
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.
constraints optimization safe-control safe-planning safety-critical robotics-control constrained-learning constraint-programming non-convex-optimization safety-critical-systems constrained-optimization safety-critical-learning constraint-based-modeling differentiable-programming safe-reinforcement-learning constrained-reinforcement-learning
Created 2021-05-31
10 commits to main branch, last one 2 years ago
PKU-Alignment
SafeDreamer PKU-Alignment
7
51
apache-2.0
5
ICLR 2024: SafeDreamer: Safe Reinforcement Learning with World Models
constraint-rl reinforcement-learning safety-critical-systems safe-policy-optimization safe-reinforcement-learning constraint-satisfaction-problem
Created 2024-01-17
5 commits to main branch, last one 8 months ago
tokiwa-software
fuzion tokiwa-software
11
50
gpl-3.0
3
The Fuzion Language Implementation
fuzion compiler static-analysis programming-language functional-programming safety-critical-systems object-oriented-programming
Created 2020-12-27
11,096 commits to main branch, last one 2 days ago