gtfactslab/Baird_ACC2023 gtfactslab/Baird_ACC2023

  • Stars
    star
    1
  • Language
    Python
  • Created about 2 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
gtfactslab/Baird_ACC2023
github

gtfactslab

Reviews

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

Repository Details

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

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

immrax

Interval Analysis and Mixed Monotone Reachability in JAX
Python
12
star
5

Banks_ICRA_2021

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

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
7

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
8

2020_ContinuousTaskBarriers

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

ExtentCBF

MATLAB
3
star
10

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
11

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
12

MoralesCuadrado_ACC2024

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

Abate_LCSS2021

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

npinterval

Interval Arithmetic in numpy
C
1
star
15

Harapanahalli_WFVML2023

Python
1
star
16

ReachMM

Python
1
star
17

Abate_Thesis

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

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
19

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
20

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
21

Harapanahalli_LCSS2024

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

Llanes_CDC2021

C++
1
star
23

Turtlebot_Barrier_Planning

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

Harapanahalli_CDC2024

Python
1
star
25

Cao_ACC2023

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

JimenezCortes_AIAA2024

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