Jonathan A. Hoffman

According to our database, Jonathan A. Hoffman authored at least 5 papers between 2013 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

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

Kerianne H. Gross, Matthew A. Clark, Jonathan A. Hoffman, Eric D. Swenson, Aaron W. Fifarek

J. Aerosp. Inf. Syst., 2017

SpeAR v2.0: Formalized Past LTL Specification and Analysis of Requirements.

Aaron W. Fifarek, Lucas G. Wagner, Jonathan A. Hoffman, Benjamin D. Rodes, M. Anthony Aiello, Jennifer A. Davis

Proceedings of the NASA Formal Methods - 9th International Symposium, 2017

2016

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

Kerianne H. Gross, Aaron W. Fifarek, Jonathan A. Hoffman

Proceedings of the 17th IEEE International Symposium on High Assurance Systems Engineering, 2016

2015

Design and analysis of a multistage fuzzy PID controller.

Kuldip S. Rattan, Matthew A. Clark, Jonathan A. Hoffman

Proceedings of the American Control Conference, 2015

2013

Study on the Barriers to the Industrial Adoption of Formal Methods.

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

Proceedings of the Formal Methods for Industrial Critical Systems, 2013