gtfactslab Goto Github PK

2020_continuoustaskbarriers

Continuous Reachability Task Transition using Control Barrier Functions

abate_acc2020

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

abate_acc2021

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

abate_acc2021_2

This code supplements "Improving the Fidelity of Mixed-Monotone Reachable Set Approximations via State Transformations," submitted to American Controls Conference, 2021.

abate_cdc2019

abate_cdc2020

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

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

abate_hscc2021

This code supplements "Verification and Runtime Assurance for Dynamical Systems with Uncertainty,” submitted to 24th ACM International Conference on Hybrid Systems: Computation and Control (HSCC).

abate_lcss2020

This code supplements "Tight Decomposition Functions for Continuous-Time Mixed-Monotone Systems with Disturbances," to appear in IEEE Control Systems Letters.

abate_lcss2021

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

abate_tac2021

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

abate_thesis

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

acc2019mixedautonomy

accbarrier

asif_quadcopter

automatica_charging_facility

baird_acc2023

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

baird_cdc2024

baird_lcss2024

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

banks_icra_2021

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

cao_acc2023

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

cao_ccta2021

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

cao_ojcsys2022

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

ccta19_psantc

Provably Safe Autonomous Navigation of Traffic Circles - CCTA 2019

cdc2021_evcharging_sensitivity

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.

evcharging_sensitivity

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

extentcbf

harapanahalli_lcss2024

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

harapanahalli_wfvml2023