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

Engineering, Verification, Software Engineering +27

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, Capability Expansions, Verification +22

A Survey of Tactically Suitable Exterior Gateway Protocols

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

Tactical Edge, Engineering, Wireless Routing +11

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

Artificial Intelligence, Real-time Control, Engineering +16

High throughput Ku-band satellites for aeronautical applications

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

Small Satellite, Spot Beams, Engineering +13