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 center is not currently reporting usage information. For information on how your repository can submit usage information, please see our Documentation.
Relation Types Summary
Is supplement to2