Run-time assurance and formal methods analysis nonlinear system applied to nonlinear system control
Document Type
Article
Publication Date
4-2017
Abstract
Exhaustive testing of complex and autonomous systems is intractable and cost prohibitive; however, design analysis techniques such as formal methods and design methodologies, including run-time assurance, could provide supplementary certification evidence early in system design. Incorporating formal methods analysis throughout the system design process provides an offline verification method to identify faults as they are introduced, which may drastically reduce the overall system development cost. In the event of a fault not identified during development, run-time assurance is a proposed online verification methodology to allow unproven autonomous controllers to perform within a predetermined envelope of acceptable behavior. In this research, a six-unit CubeSat attitude control subsystem is used as a challenge problem to evaluate the application of nontraditional verification methodologies, such as formal methods analysis and run-time assurance architectures. Strengths and weaknesses of the verification techniques are exposed in this research to recommend capability expansions for further development.
Source Publication
Journal of Aerospace Information Systems (eISSN 2327-3097)
Recommended Citation
Gross, K. H., Clark, M. A., Hoffman, J. A., Swenson, E. D., & Fifarek, A. W. (2017). Run-time assurance and formal methods analysis nonlinear system applied to nonlinear system control. Journal of Aerospace Information Systems, 14 (4), 232–246. https://doi.org/10.2514/1.I010471
Comments
The full-text of this article is available from AIAA via subscription or purchase, using the DOI link below.