The goal of this project is to implement a bounded horizon Taylor expansion based reachability analysis for non-linear continuous systems. We've chosen to implement this method in python using sympy for the symbolic calculations, numpy for numerical applications, pyinterval for interval arithmetic, and finally matplotlib for plotting the results.
-
Notifications
You must be signed in to change notification settings - Fork 0
Bounded horizon Taylor expansion based reachability analysis for non-linear continuous systems
License
Joe-Khawand/Reachability-Analysis
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Bounded horizon Taylor expansion based reachability analysis for non-linear continuous systems
Topics
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published