Run-Time Assurance and Formal Methods Analysis Nonlinear...

Journal of Aerospace Information Systems 2017 / 04 Vol. 14; Iss. 4

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

Gross, Kerianne H., Clark, Matthew A., Hoffman, Jonathan A., Swenson, Eric D., Fifarek, Aaron W.
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
14
Language:
english
Journal:
Journal of Aerospace Information Systems
DOI:
10.2514/1.I010471
Date:
April, 2017
File:
PDF, 2.14 MB
english, 2017
Conversion to is in progress
Conversion to is failed