gtfactslab/Harapanahalli_LCSS2024 gtfactslab/Harapanahalli_LCSS2024

  • Stars
    star
    1
  • Language
    Python
  • Created about 1 year ago
  • Updated about 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
gtfactslab/Harapanahalli_LCSS2024
github

gtfactslab

Reviews

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

Repository Details

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

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

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