gtfactslab/immrax gtfactslab/immrax

  • Stars
    star
    12
  • Rank 1,597,372 (Top 32 %)
  • Language
    Python
  • Created almost 1 year ago
  • Updated 3 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
gtfactslab/immrax
github

gtfactslab

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Interval Analysis and Mixed Monotone Reachability in JAX

More Repositories

1

CrazySim

A Crazyflie simulator for testing CFLib Python code, ROS 2 nodes through Crazyswarm2, custom crazyflie-firmware modules, or perform a flight demo on the crazyflie-python-client.
69
star
2

TRO_CBFs-LTL_Robotarium_Experiment

Control Of Mobile Robotics Using Barrier Functions And Temporal Logic
MATLAB
17
star
3

IROS2020_LearningBarriers

Synthesis of Control Barrier Functions Using a Supervised Machine Learning Approach
MATLAB
12
star
4

Banks_ICRA_2021

This code supplements the ICRA 2021 submission "Physical Human-UAV Interaction via Differentially Flat OutputGeneration using Admittance Control"
MATLAB
6
star
5

stochasticbarrierfunctions

This repository contains the code for the case studies in the paper "Verification and Control for Finite-Time Safety of Stochastic Systems via Barrier Functions" (CCTA 2019) and "A Barrier Function Approach to Finite-Time StochasticSystem Verification and Control" (in submission)
MATLAB
5
star
6

Abate_ACC2021

This code supplements โ€œPerformance Analysis and Non-Quadratic Lyapunov Functions for Linear Time-Varying Systems,โ€œ submitted to American Controls Conference, 2021.
MATLAB
4
star
7

2020_ContinuousTaskBarriers

Continuous Reachability Task Transition using Control Barrier Functions
MATLAB
3
star
8

ExtentCBF

MATLAB
3
star
9

Abate_CDC2020_2

This code supplements "Computing Robustly Forward Invariant Sets for Mixed-Monotone Systems" to appear in 2020 IEEE 59th Conference on Decision and Control (CDC).
MATLAB
3
star
10

Cao_CCTA2021

This code supplements the CCTA 2021 submission "On the Impact of the Capacity Drop Phenomenon for Freeway Traffic Flow Control"
Python
2
star
11

MoralesCuadrado_ACC2024

The code accompanying the ACC2024 Submission "Newton-Raphson Flow for Aggressive Quadrotor Control"
Python
2
star
12

Abate_LCSS2021

This repository accompanies "Decomposition Functions for Interconnected Mixed Monotone Systems," submitted to Control Systems Letters (L-CSS), 2021.
MATLAB
2
star
13

npinterval

Interval Arithmetic in numpy
C
1
star
14

Harapanahalli_WFVML2023

Python
1
star
15

ReachMM

Python
1
star
16

Abate_Thesis

This code supplements Matthew Abate's dissertation, "Mixed Monotonicity for Efficient Reachability with Applications to Robust Safe Autonomy," 2022.
MATLAB
1
star
17

Abate_CDC2020

This code supplements "Enforcing Safety at Runtime for Systems with Disturbances," 2020 IEEE 59th Conference on Decision and Control (CDC), to appear.
MATLAB
1
star
18

Abate_ACC2020

This code supplements "Lyapunov Differential Equation Hierarchy and Polynomial Lyapunov Functions for Switched Linear Systems," to appear in American Controls Conference 2020.
MATLAB
1
star
19

Abate_TAC2021

This code supplements "Computing Robustly Forward Invariant Sets for Mixed-Monotone Systems," submitted to IEEE Transactions on Automatic Control (TAC), 2021.
MATLAB
1
star
20

Harapanahalli_LCSS2024

The code accompanying the L-CSS Submission "Forward Invariance in Neural Network Controlled Systems"
Python
1
star
21

Llanes_CDC2021

C++
1
star
22

Turtlebot_Barrier_Planning

ROS files for Turtlebot (Planning using Barrier Functions)
CMake
1
star
23

Harapanahalli_CDC2024

Python
1
star
24

Cao_ACC2023

This code supplements the ACC submission "Safe Learning-based Predictive Control from Efficient Reachability".
MATLAB
1
star
25

JimenezCortes_AIAA2024

Microsoft Flight Simulator - Simulink code for AIAA 2024 paper example
MATLAB
1
star
26

Baird_ACC2023

Code supporting the paper "Runtime Assurance from Signal Temporal Logic Safety Specifications" by Luke Baird and Samuel Coogan
Python
1
star