Synthesizing flight software (FSW) discrete controllers from formal specifications

From Murray Wiki
Revision as of 17:22, 11 January 2017 by Murray (talk | contribs)
Jump to navigationJump to search

Project description (typically about a paragraph)

Current participants:

Additional participants:

Collaborators:

Past participants:

Objectives

TuLiP-SCA.png

Description of the main objectives of the project

References

None to date

  • Agency: JPL
  • Grant number: IAMS100322
  • Start date: 1 Jan 2017
  • End date: 30 Sep 2017
  • Support: Partial postdoc
  • Reporting: Final report
Retrieved from "https://murray.cds.caltech.edu/index.php?title=Synthesizing_flight_software_(FSW)_discrete_controllers_from_formal_specifications&oldid=21094"