SReachTools: Controller synthesis for safe spacecraft rendezvous under uncertainty

Abraham P. Vinod, Joseph Gleason & Meeko Oishi
This Code Ocean capsule synthesizes controllers for the spacecraft rendezvous problem --- the problem of driving a spacecraft to meet another spacecraft in space while satisfying line-of-sight cone constraints as well as hard actuation limits. SReachTools provide multiple ways to generate lower bounds on probability of achieving this specification as well as controllers to obtain these guarantees.
This data repository is not currently reporting usage information. For information on how your repository can submit usage information, please see our documentation.