Formally verified run time assurance architecture of a 6U cubesat attitude control system

Kerianne H. Gross, Matthew A. Clark, Jonathan A. Hoffman, Aaron W. Fifarek, Kuldip S. Rattan, Eric D. Swenson, Michael W. Whalen, Lucas Wagner

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Scopus citations

Fingerprint

Dive into the research topics of 'Formally verified run time assurance architecture of a 6U cubesat attitude control system'. Together they form a unique fingerprint.

Keyphrases

Computer Science

Engineering

Chemical Engineering