TuLiP (tulip-control) work for the Resilient Space Systems project (Caltech + NASA JPL + MIT + WHOI)
This repository includes scripts and material used in or related to the AIAA Space 2015 paper "Application of Correct-by-Construction Principles for a Resilient Risk-Aware Architecture" presented in Session IS-4 on 01 Sept. 2015.
Future additions to this repository post-conference will include advanced examples of correct-by-construction symbolic risk-aware action planning using TuLiP, tie-ins to the Resilient Spacecraft Executive implementation currently under development and to-be-released.
(...Stay tuned! :)
--EOF--