My main focus has been on the project HyPro and its development. Projects here in my repository represent smaller works, some based on HyPro.
- Munich
- stefanschupp.de
Block or Report
Block or report modass
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned Loading
-
linearization
linearization PublicLinearization of non-linear dynamic systems for reachability analysis
C++ 1
-
hypro/hypro
hypro/hypro PublicHyPro: A C++ state set representation library for the analysis of hybrid systems
-
-
simplex-architectures
simplex-architectures PublicSimplex-architectures prototype
Jupyter Notebook 1
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.