Repository of my work with Hybrid Systems.
This folder holds different simulation methods like Eulers Method, Adams-Bashford Method and RK4 Method.
Uses zero crossing methods (bisection) to find intersection with the waypoint to change modes. Multiple experiments done which can be found in the folder.
Holds one sample program that was used to test three zero crossing methods - bisection, secant and newtons for a simple function.
Holds the code for different types of set representations such as Zonotopes, Startsets etc.
Contains basic codes for things I might have used here and there.
Reachability Analysis of a satellite system (based off the paper: https://arxiv.org/abs/1703.06930)