SURF 2015: Improved State Estimation and Control of a Pioneer 3-DX for a Resilient Spacecraft Executive: Difference between revisions
From Murray Wiki
Jump to navigationJump to search
(Created page with "'''2015 SURF project description''' * Mentor: Richard Murray * Co-mentor: Catharine McGhan frame|Fig. 1. ???. [[File:SURF15_???.png...") |
No edit summary |
||
Line 17: | Line 17: | ||
All software produced as a result of this project will be integrated with ???. | 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++. | '''Required Skills:''' This project requires programming experience, ideally in Python and C++. <FONT color=red>''??? Familiarity with, and an interest in, applied automata theory and formal methods such as model checking and logic synthesis is desired. ???''</FONT> | ||
=== References === | === References === |
Revision as of 23:12, 11 December 2014
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:
- ???
- ???
- ???
- ???
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] ???