Skip to main content

2 Result(s)

within Zachary Luppen Remove this filter

and

  1. No Access

    Chapter and Conference Paper

    Elucidation and Analysis of Specification Patterns in Aerospace System Telemetry

    Experimental aerospace projects often require flight vehicle platforms for testing, such as high-altitude balloons, sounding rockets, unmanned aerial systems (UAS), and CubeSats. The system telemetry transmitt...

    Zachary Luppen, Michael Jacks, Nathan Baughman, Muhamed Stilic… in NASA Formal Methods (2022)

  2. No Access

    Chapter and Conference Paper

    Integrating Runtime Verification into a Sounding Rocket Control System

    An actuation fault in the aerobraking control system (ACS) took down Iowa State’s Nova Somnium rocket during the 2019 Spaceport America Cup competition, prematurely ending the team’s participation. The ACS engage...

    Benjamin Hertz, Zachary Luppen, Kristin Yvonne Rozier in NASA Formal Methods (2021)