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

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...")
 
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++. {{ ??? Familiarity with, and an interest in, applied automata theory and formal methods such as model checking and logic synthesis is desired. ??? }}
+
'''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:

  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] ???