SURF 2015: Improved State Estimation and Control of a Pioneer 3-DX for a Resilient Spacecraft Executive

2015 SURF project description

• Mentor: Richard Murray
• Co-mentor: Catharine McGhan

File:SURF15 ???.png

Fig. 1. ???.

File:SURF15 ???.png

Fig. 2. ???.

Overview: ???

Goals: ??? Open research questions include:

1. ???
2. ???
   • ???
   • ???

All software produced as a result of this project will be integrated with ???.

Required Skills: This project requires programming experience, ideally in Python and C++. ??? Familiarity with, and an interest in, applied automata theory and formal methods such as model checking and logic synthesis is desired. ???

References

[1] ???

[2] ???

[3] ???