Kerianne H. Gross

Formal specification and analysis approaches for spacecraft attitude control requirements

Kerianne H. Gross, 2017, 2017 IEEE Aerospace Conference.

Formally Verified Run Time Assurance Architecture of a 6U CubeSat Attitude Control System

Kuldip S. Rattan, Michael W. Whalen, Eric D. Swenson, 2016 .

Optimal Attitude Control of a 6U CubeSat with a Four-Wheel Pyramid Reaction Wheel Array and Magnetic Torque Coils

Eric D. Swenson, Jeremy S. Agte, Ryan Patrick, 2016 .

Run-Time Assurance and Formal Methods Analysis Nonlinear System Applied to Nonlinear System Control

Matthew A. Clark, Eric D. Swenson, Kerianne H. Gross, 2017, J. Aerosp. Inf. Syst..

Incremental Formal Methods Based Design Approach Demonstrated on a Coupled Tanks Control System

Kerianne H. Gross, Jonathan A. Hoffman, Aaron W. Fifarek, 2016, 2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE).

Autonomy Community of Interest (COI) Test and Evaluation, Verification and Validation (TEVV) Working Group: Technology Investment Strategy 2015-2018

Barry A. Bodt, Eric Hansen, Michael Corey, 2015 .

Air Force Research Laboratory Test and Evaluation, Verification and Validation of Autonomous Systems Challenge Exploration

Cheryl Reed, Matthew Clark, Kerianne H. Gross, 2014 .

Evaluation of Verification Approaches Applied to a Nonlinear Control System

Kerianne H. Gross, K. Gross, 2016 .

Evaluation of formal methods tools applied to a 6U CubeSat attitude control system

Michael W. Whalen, Richard G. Cobb, Eric D. Swenson, 2015 .