{"payload":{"pageCount":2,"repositories":[{"type":"Public","name":"Kasmalkar_RAL2024","owner":"gtfactslab","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-15T22:11:29.579Z"}},{"type":"Public","name":"CrazySim","owner":"gtfactslab","isFork":false,"description":"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.","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":1,"starsCount":59,"forksCount":5,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-15T08:50:52.656Z"}},{"type":"Public","name":"immrax","owner":"gtfactslab","isFork":false,"description":"Interval Analysis and Mixed Monotone Reachability in JAX","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":7,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-08T12:37:57.143Z"}},{"type":"Public","name":"Baird_CDC2024","owner":"gtfactslab","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-25T18:08:48.875Z"}},{"type":"Public","name":"Baird_LCSS2024","owner":"gtfactslab","isFork":false,"description":"Code for reproducing the examples in the paper \"Interval Signal Temporal Logic from Natural Inclusion Functions\"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-05T23:10:53.254Z"}},{"type":"Public","name":"JimenezCortes_AIAA2024","owner":"gtfactslab","isFork":false,"description":"Microsoft Flight Simulator - Simulink code for AIAA 2024 paper example","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"MATLAB","color":"#e16737"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-11-30T15:48:59.522Z"}},{"type":"Public","name":"MoralesCuadrado_ACC2024","owner":"gtfactslab","isFork":false,"description":"The code accompanying the ACC2024 Submission \"Newton-Raphson Flow for Aggressive Quadrotor Control\"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":1,"starsCount":2,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-09-29T13:27:10.415Z"}},{"type":"Public","name":"npinterval","owner":"gtfactslab","isFork":false,"description":"Interval Arithmetic in numpy","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-09-27T11:07:32.179Z"}},{"type":"Public","name":"Harapanahalli_LCSS2024","owner":"gtfactslab","isFork":false,"description":"The code accompanying the L-CSS Submission \"Forward Invariance in Neural Network Controlled Systems\"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-09-19T11:29:42.718Z"}},{"type":"Public","name":"ReachMM","owner":"gtfactslab","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-08-24T17:46:45.819Z"}},{"type":"Public","name":"ReachMM_CDC2023","owner":"gtfactslab","isFork":true,"description":"Code Supplementing CDC 2023 Submission Titled \"Contraction-Guided Adaptive Partitioning for Reachability Analysis of Neural Network Controlled Systems\"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-08-11T22:54:33.819Z"}},{"type":"Public","name":"ReachMM_TAC2023","owner":"gtfactslab","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-07-02T00:22:40.696Z"}},{"type":"Public","name":"Harapanahalli_WFVML2023","owner":"gtfactslab","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-06-21T11:13:13.392Z"}},{"type":"Public","name":"Baird_ACC2023","owner":"gtfactslab","isFork":false,"description":"Code supporting the paper \"Runtime Assurance from Signal Temporal Logic Safety Specifications\" by Luke Baird and Samuel Coogan","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-05-24T21:25:15.807Z"}},{"type":"Public","name":"Llanes_MECC2023","owner":"gtfactslab","isFork":false,"description":"The code that accompanies the MECC 2023 submission titled \"Experimental Validation on Aerial Vehicles of Real-Time Motion Planning with Continuous-Time Q-Learning\"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-04-25T23:48:39.951Z"}},{"type":"Public","name":"Jiang_OJ-CSYS_2023","owner":"gtfactslab","isFork":false,"description":"This code supplements the OJ-CSYS 2023 Special Section submission ,\"Abstraction-based Planning for Uncertainty-aware Legged Navigation.\"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-04-04T17:43:01.967Z"}},{"type":"Public","name":"L4DC2023_NNControllerReachability","owner":"gtfactslab","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-02-02T22:20:35.200Z"}},{"type":"Public","name":"Cao_ACC2023","owner":"gtfactslab","isFork":false,"description":"This code supplements the ACC submission \"Safe Learning-based Predictive Control from Efficient Reachability\".","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"MATLAB","color":"#e16737"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-09-16T17:16:02.224Z"}},{"type":"Public","name":"Cao_OJCSYS2022","owner":"gtfactslab","isFork":false,"description":"This code supplements the OJ-CSYS 2022 Special Section submission \"Efficient Learning of Hyperrectangular Invariant Sets using Gaussian Processes\".","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"MATLAB","color":"#e16737"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-08-31T19:48:45.005Z"}},{"type":"Public","name":"Abate_Thesis","owner":"gtfactslab","isFork":false,"description":"This code supplements Matthew Abate's dissertation, \"Mixed Monotonicity for Efficient Reachability with Applications to Robust Safe Autonomy,\" 2022.","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"MATLAB","color":"#e16737"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-07-26T06:17:09.080Z"}},{"type":"Public","name":"Llanes_AIAA2023","owner":"gtfactslab","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-06-01T15:35:48.934Z"}},{"type":"Public","name":"Wei_NecSys22","owner":"gtfactslab","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"MATLAB","color":"#e16737"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-05-19T01:49:45.017Z"}},{"type":"Public","name":"Wei_TCNS_ScheduleVerification","owner":"gtfactslab","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"MATLAB","color":"#e16737"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-03-08T03:01:53.621Z"}},{"type":"Public","name":"Llanes_ICCPS2022","owner":"gtfactslab","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-02-08T19:29:37.349Z"}},{"type":"Public","name":"evcharging_sensitivity","owner":"gtfactslab","isFork":false,"description":"This repo contains the code for the submission titled \"Sensitivity to User Mischaracterizations in Electric Vehicle Charging\" submitted to Systems & Control Letters","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Jupyter Notebook","color":"#DA5B0B"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-11-24T18:24:21.741Z"}},{"type":"Public","name":"Abate_LCSS2021","owner":"gtfactslab","isFork":false,"description":"This repository accompanies \"Decomposition Functions for Interconnected Mixed Monotone Systems,\" submitted to Control Systems Letters (L-CSS), 2021.","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"MATLAB","color":"#e16737"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-11-14T18:13:53.499Z"}},{"type":"Public","name":"Abate_TAC2021","owner":"gtfactslab","isFork":false,"description":"This code supplements \"Computing Robustly Forward Invariant Sets for Mixed-Monotone Systems,\" submitted to IEEE Transactions on Automatic Control (TAC), 2021.","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"MATLAB","color":"#e16737"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-09-10T00:02:30.573Z"}},{"type":"Public","name":"setchargingparameters","owner":"gtfactslab","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"MATLAB","color":"#e16737"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-07-12T17:00:57.113Z"}},{"type":"Public","name":"Llanes_CDC2021","owner":"gtfactslab","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-03-26T17:27:17.552Z"}},{"type":"Public","name":"cdc2021_evcharging_sensitivity","owner":"gtfactslab","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Jupyter Notebook","color":"#DA5B0B"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-03-25T19:21:55.509Z"}}],"repositoryCount":54,"userInfo":null,"searchable":true,"definitions":[],"typeFilters":[{"id":"all","text":"All"},{"id":"public","text":"Public"},{"id":"source","text":"Sources"},{"id":"fork","text":"Forks"},{"id":"archived","text":"Archived"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"Repositories"}