Jonathan A. Hoffman

Publication Activity (10 Years)

Years Active: 2013-2017
Publications (10 Years): 4

Top Topics

Stochastic Programming

Top Venues

J. Aerosp. Inf. Syst.

Publications

Aaron W. Fifarek, Lucas G. Wagner, Jonathan A. Hoffman, Benjamin D. Rodes, M. Anthony Aiello, Jennifer A. Davis
SpeAR v2.0: Formalized Past LTL Specification and Analysis of Requirements. NFM (2017)
Kerianne H. Gross, Matthew A. Clark, Jonathan A. Hoffman, Eric D. Swenson, Aaron W. Fifarek
Run-Time Assurance and Formal Methods Analysis Nonlinear System Applied to Nonlinear System Control. J. Aerosp. Inf. Syst. 14 (4) (2017)
Kerianne H. Gross, Aaron W. Fifarek, Jonathan A. Hoffman
Incremental Formal Methods Based Design Approach Demonstrated on a Coupled Tanks Control System. HASE (2016)
Kuldip S. Rattan, Matthew A. Clark, Jonathan A. Hoffman
Design and analysis of a multistage fuzzy PID controller. ACC (2015)
Jennifer A. Davis, Matthew A. Clark, Darren D. Cofer, Aaron Fifarek, Jacob Hinchman, Jonathan A. Hoffman, Brian W. Hulbert, Steven P. Miller, Lucas G. Wagner
Study on the Barriers to the Industrial Adoption of Formal Methods. FMICS (2013)