LinQuest (United States)

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

Kerianne H. Gross, Aaron W. Fifarek, Jonathan Hoffman · 2016 · 18 citations

Computing, Computer Science, Systems Engineering +16

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

Kerianne H. Gross, Matthew Clark, Jonathan Hoffman et al. · Journal of Aerospace Information Systems · 2017 · 17 citations

Engineering, Autonomous Systems, Systems Engineering +16

A Survey of Tactically Suitable Exterior Gateway Protocols

Terrence Gibbons, Joshua Van Hook, Na Wang et al. · 2013 · 14 citations

Computing, Communication, Information Technology +14

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

Kerianne H. Gross, Matthew Clark, Jonathan Hoffman et al. · AIAA Infotech @ Aerospace · 2016 · 12 citations

Computing, Computer Science, Systems Engineering +17

High throughput Ku-band satellites for aeronautical applications

Chris McLain, Sunil Panthi, Mark A. Sturza et al. · 2012 · 11 citations

Engineering, Aerospace Engineering, Electrical Engineering +7