Summary
The goals of this project is to develop a rigorous method and toolset for architecting multi-disciplinary (e.g., GN&C, power) autonomous system behavior that can be efficiently implemented, analyzed, and tested (using simulations). The methdology adopts the State Analysis architectural pattern from JPL and formalizes it in OML.
Team
- Maged Elaasar, Ph.D. (PI)
- Nicolas Rouquette, Ph.D.
- Klaus Havelund, Ph.D.
- Martin Feather, Ph.D.
- Saptarshi Bandyodhyay, Ph.D.
- Alberto Garza, Ph.D.