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++. {{ ??? 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] ???