@INPROCEEDINGS{ACC-MillerPM24,
  author={Miller, Kristina and Phillips, Sean and Mitra, Sayan},
  booktitle={2024 American Control Conference (ACC)}, 
  title={Guaranteed Safe Satellite Guidance and Navigation Using Reachability Based Switching Controllers}, 
  year={2024},
  volume={},
  number={},
  pages={2298-2303},
  keywords={Satellites;Runtime;Switches;Control systems;Satellite navigation systems;Stability analysis;Safety},
  doi={10.23919/ACC60939.2024.10644961}}