GitHub - bolyachevets/ReachabilityAnalysisForManeuverPrimitives: This is an attempt at implementation of algoirthm for steering initial set of states (described as a zonotope) into a smaller reachable set (to allow combination of primitive maneuvers) from Schurmann and Althoff, 2017c. The code requires installation of CORA (for reachability analysis) and CVX (for convex optimization) toolboxes. Algorithm is applied to quadrotor longitudinal dynamics from Mitchell et al, 2016.

This repository was archived by the owner on Jan 26, 2024. It is now read-only.

Name		Name	Last commit message	Last commit date
Latest commit History 28 Commits
LinearAnalysis		LinearAnalysis
NonlinearAnalysis		NonlinearAnalysis
.gitattributes		.gitattributes
.gitignore		.gitignore

About

This is an attempt at implementation of algoirthm for steering initial set of states (described as a zonotope) into a smaller reachable set (to allow combination of primitive maneuvers) from Schurmann and Althoff, 2017c. The code requires installation of CORA (for reachability analysis) and CVX (for convex optimization) toolboxes. Algorithm is a…