Kerianne H. Gross

According to our database, Kerianne H. Gross authored at least 2 papers between 2016 and 2017.

Collaborative distances:

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

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

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