13 citations · 13 across the 2 of their papers we have counts for
2 papers
eess.SY2018
CODEV: Automated Model Predictive Control Design and Formal Verification (Tool Paper)
Nicole Chan, Sayan Mitra
We present CODEV, a Matlab-based tool for verifying systems employing Model Predictive Control (MPC). The MPC solution is computed offline and modeled together with the physical sy…
eess.SY2017★ 13 cited
Verifying safety of an autonomous spacecraft rendezvous mission
Nicole Chan, Sayan Mitra
A fundamental maneuver in autonomous space operations is known as rendezvous, where a spacecraft navigates to and approaches another spacecraft. In this case study, we present line…