FACTSLAB

2020_ContinuousTaskBarriers

Continuous Reachability Task Transition using Control Barrier Functions

Abate_ACC2021

This code supplements “Performance Analysis and Non-Quadratic Lyapunov Functions for Linear Time-Varying Systems,“ submitted to American Controls Conference, 2021.

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).

Banks_ICRA_2021

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

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.

ExtentCBF

immrax

Interval Analysis and Mixed Monotone Reachability in JAX

IROS2020_LearningBarriers

Synthesis of Control Barrier Functions Using a Supervised Machine Learning Approach

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)

TRO_CBFs-LTL_Robotarium_Experiment

Control Of Mobile Robotics Using Barrier Functions And Temporal Logic

gtfactslab/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.

gtfactslab/immrax

Interval Analysis and Mixed Monotone Reachability in JAX

gtfactslab/Abate_LCSS2021

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

gtfactslab/Harapanahalli_CDC2024

gtfactslab/MoralesCuadrado_ACC2024

The code accompanying the ACC2024 Submission "Newton-Raphson Flow for Aggressive Quadrotor Control"

gtfactslab/Abate_TAC2021

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

gtfactslab/Abate_Thesis

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

gtfactslab/Baird_ACC2023

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

gtfactslab/Cao_ACC2023

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

gtfactslab/Harapanahalli_LCSS2024

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

gtfactslab/Harapanahalli_WFVML2023

gtfactslab/JimenezCortes_AIAA2024

Microsoft Flight Simulator - Simulink code for AIAA 2024 paper example

gtfactslab/npinterval

Interval Arithmetic in numpy

gtfactslab/ReachMM

gtfactslab/evcharging_sensitivity

This repo contains the code for the submission titled "Sensitivity to User Mischaracterizations in Electric Vehicle Charging" submitted to Systems & Control Letters

gtfactslab/setchargingparameters

gtfactslab/Baird_CDC2024

gtfactslab/Baird_LCSS2024

Code for reproducing the examples in the paper "Interval Signal Temporal Logic from Natural Inclusion Functions"

gtfactslab/Cao_OJCSYS2022

This code supplements the OJ-CSYS 2022 Special Section submission "Efficient Learning of Hyperrectangular Invariant Sets using Gaussian Processes".

gtfactslab/Jiang_OJ-CSYS_2023

This code supplements the OJ-CSYS 2023 Special Section submission ,"Abstraction-based Planning for Uncertainty-aware Legged Navigation."

gtfactslab/Kasmalkar_RAL2024

gtfactslab/L4DC2023_NNControllerReachability

gtfactslab/Llanes_AIAA2023

gtfactslab/Llanes_ICCPS2022

gtfactslab/Llanes_MECC2023

The code that accompanies the MECC 2023 submission titled "Experimental Validation on Aerial Vehicles of Real-Time Motion Planning with Continuous-Time Q-Learning"

gtfactslab/Polytope-Training

gtfactslab/ReachMM_CDC2023

Code Supplementing CDC 2023 Submission Titled "Contraction-Guided Adaptive Partitioning for Reachability Analysis of Neural Network Controlled Systems"

gtfactslab/ReachMM_TAC2023

gtfactslab/Wei_NecSys22

gtfactslab/Wei_TCNS_ScheduleVerification