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

> Research article (Journal of Aerospace Information Systems, 2017) · cited 17× · AI/ML

**Wikidata**: [openalex:W2606229664](https://www.wikidata.org/wiki/openalex:W2606229664)  
**Source**: https://4ort.xyz/entity/run-time-assurance-and-formal-methods-analysis-nonlinear-system-applied-to-nonlinear-system-control