cmcghan / tulip-rss

TuLiP (tulip-control) work for the Resilient Space Systems project (Caltech + NASA JPL + MIT + WHOI)

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

tulip-rss

TuLiP (tulip-control) work for the Resilient Space Systems project (Caltech + NASA JPL + MIT + WHOI)

Description

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

About

TuLiP (tulip-control) work for the Resilient Space Systems project (Caltech + NASA JPL + MIT + WHOI)

License:Other


Languages

Language:Python 100.0%