All Stories

  1. Formal Verification of System States for Spacecraft Automatic Maneuvering

    Article • January 2019, American Institute of Aeronautics and Astronautics (AIAA)

    Kerianne Gross

  2. Early Safety Analysis of Manned-Unmanned Team System

    Article • January 2018, American Institute of Aeronautics and Astronautics (AIAA)

    Kerianne Gross

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

    Article • Journal of Aerospace Computing Information and Communication, April 2017, American Institute of Aeronautics and Astronautics (AIAA)

    Kerianne Gross

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

    Article • January 2016, American Institute of Aeronautics and Astronautics (AIAA)

    Kerianne Gross

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

    Article • January 2016, American Institute of Aeronautics and Astronautics (AIAA)

    Kerianne Gross