Concepedia

Aaron W. Fifarek

AW

Statistics

Publications

3

Citations

47

H-Index

3

Active since

2016

Affiliations

United States Air Force Research Laboratory(Current)

LinQuest (United States)

Aaron W. Fifarek is an author at United States Air Force Research Laboratory specializing in formal methods, control system design, and verification.

Publications per year

2016–2017

3

Publications

3

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

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

, , +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

, , +16

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

, , +17

1–3 of 3