{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,6]],"date-time":"2025-05-06T02:09:11Z","timestamp":1746497351416},"reference-count":30,"publisher":"American Institute of Aeronautics and Astronautics (AIAA)","issue":"4","content-domain":{"domain":["arc.aiaa.org"],"crossmark-restriction":true},"short-container-title":["Journal of Aerospace Information Systems"],"published-print":{"date-parts":[[2017,4]]},"DOI":"10.2514\/1.i010471","type":"journal-article","created":{"date-parts":[[2017,4,17]],"date-time":"2017-04-17T13:14:46Z","timestamp":1492434886000},"page":"232-246","update-policy":"http:\/\/dx.doi.org\/10.2514\/aiaa_crossmarkpolicy","source":"Crossref","is-referenced-by-count":13,"title":["Run-Time Assurance and Formal Methods Analysis Nonlinear System Applied to Nonlinear System Control"],"prefix":"10.2514","volume":"14","author":[{"given":"Kerianne H.","family":"Gross","sequence":"first","affiliation":[{"name":"U.S. Air Force Research Laboratory, Wright\u2013Patterson Air Force Base, Ohio 45433"}]},{"given":"Matthew A.","family":"Clark","sequence":"additional","affiliation":[{"name":"U.S. Air Force Research Laboratory, Wright\u2013Patterson Air Force Base, Ohio 45433"}]},{"given":"Jonathan A.","family":"Hoffman","sequence":"additional","affiliation":[{"name":"U.S. Air Force Research Laboratory, Wright\u2013Patterson Air Force Base, Ohio 45433"}]},{"given":"Eric D.","family":"Swenson","sequence":"additional","affiliation":[{"name":"U.S. Air Force Institute of Technology, Wright\u2013Patterson Air Force Base, Ohio 45431"}]},{"given":"Aaron W.","family":"Fifarek","sequence":"additional","affiliation":[{"name":"LinQuest Corporation, Dayton, Ohio 45431"}]}],"member":"1387","reference":[{"key":"r1","doi-asserted-by":"publisher","DOI":"10.2514\/4.868832"},{"key":"r3","unstructured":"FeilerP. H. \u201cSupporting the ARP4761 Safety Assessment Process with AADL,\u201d Software Engineering Inst., Carnegie Mellon Univ., Pittsburgh, PA, 2014."},{"key":"r4","unstructured":"\u201cThe Economic Impacts of Inadequate Infrastructure for Software Testing,\u201d National Inst. of Standards and Technology, Planning Rept.\u00a002-3, Gaithersburg, MD, May\u00a02002."},{"key":"r5","doi-asserted-by":"crossref","unstructured":"ClarkM.KearnsK.OverholtJ.GrossK.BarthelemyB.ReedC. \u201cAir Force Research Laboratory Test and Evaluation, Verification and Validation of Autonomous Systems Challenge Exploration,\u201d U.S. Air Force Research Lab., Wright\u2013Patterson AFB, OH, Nov.\u00a02014.","DOI":"10.21236\/ADA614199"},{"key":"r10","doi-asserted-by":"publisher","DOI":"10.1142\/S2301385014300029"},{"key":"r11","doi-asserted-by":"publisher","DOI":"10.2514\/1.I010163"},{"key":"r12","doi-asserted-by":"publisher","DOI":"10.2514\/6.2012-2473"},{"key":"r13","doi-asserted-by":"publisher","DOI":"10.1145\/2038642.2038675"},{"key":"r14","unstructured":"WebsterM.FisherM.JumpM.CameronN. \u201cModel Checking and the Certification of Autonomous Unmanned Aircraft Systems,\u201d Dept. of Computer Science, Univ. of Liverpool, Rept.\u00a0TR-ULCS-11-001, Liverpool, England, U.K. 2011."},{"key":"r15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24270-0_17"},{"key":"r16","doi-asserted-by":"publisher","DOI":"10.2514\/6.2012-2573"},{"key":"r17","doi-asserted-by":"publisher","DOI":"10.1007\/s11334-009-0088-1"},{"key":"r21","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2012.173"},{"key":"r22","doi-asserted-by":"publisher","DOI":"10.1109\/5.97300"},{"key":"r28","unstructured":"RuddL.HechtH. \u201cCertification Techniques for Advanced Flight Critical Systems,\u201d U.S. Air Force, Technical Rept., Wright\u2013Patterson AFB, OH, 2008."},{"key":"r32","doi-asserted-by":"publisher","DOI":"10.1145\/1536616.1536634"},{"key":"r33","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2001.936213"},{"key":"r36","unstructured":"SetoD.FerrieraE.MarzT. \u201cCase Study: Development of a Baseline Controller for Automatic Landing of an F-16 Aircraft Using Linear Matrix Inequalities (LMIs),\u201d Software Engineering Inst., Carnegie Mellon Univ., TR\u00a0CMU\/SEI-99-TR-020, Pittsburgh, PA, 2000, http:\/\/resources.sei.cmu.edu\/library\/asset-view.cfm?AssetID=13489 [retrieved 12 Jan.\u00a02015]."},{"key":"r38","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2008.08.004"},{"key":"r39","doi-asserted-by":"publisher","DOI":"10.2514\/6.2015-3329"},{"key":"r40","doi-asserted-by":"publisher","DOI":"10.1134\/S2075108711020088"},{"key":"r41","unstructured":"GrossK. H. \u201cEvaluation of Verification Approaches Applied to Nonlinear System Control,\u201d M.S. Thesis, Dept. of Aeronautics and Astronautics, Air Force Inst. of Technology, Wright\u2013Patterson AFB, OH, 2016."},{"key":"r44","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-22563-0"},{"key":"r45","volume-title":"Space Mission Engineering: The New SMAD","author":"Wertz J. R.","year":"2011"},{"key":"r46","doi-asserted-by":"publisher","DOI":"10.2514\/4.861796"},{"key":"r47","doi-asserted-by":"publisher","DOI":"10.2514\/4.862403"},{"key":"r48","unstructured":"TibbsM. \u201cDesign and Test of an Attitude Determination and Control System for a 6U CubeSat Using AFIT\u2019s CubeSat Testbed,\u201d M.S. Thesis, Dept. of Aeronautics and Astronautics, Air Force Inst. of Technology, Wright\u2013Patterson AFB, OH, 2015."},{"key":"r49","doi-asserted-by":"publisher","DOI":"10.2514\/4.860119"},{"key":"r50","volume-title":"REBEL RWA Analysis","author":"Swenson E. D.","year":"2015"},{"key":"r52","unstructured":"AlurR., Principles of Cyber-Physical Systems, MIT Press, Cambridge, MA, 2015, pp.\u00a036\u201348."}],"container-title":["Journal of Aerospace Information Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/arc.aiaa.org\/doi\/pdf\/10.2514\/1.I010471","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,3,1]],"date-time":"2021-03-01T07:27:14Z","timestamp":1614583634000},"score":1,"resource":{"primary":{"URL":"https:\/\/arc.aiaa.org\/doi\/10.2514\/1.I010471"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,4]]},"references-count":30,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2017,4]]}},"alternative-id":["10.2514\/1.I010471"],"URL":"https:\/\/doi.org\/10.2514\/1.i010471","relation":{},"ISSN":["2327-3097"],"issn-type":[{"value":"2327-3097","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,4]]},"assertion":[{"value":"2016-05-10","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2017-01-04","order":1,"name":"revised","label":"Revised","group":{"name":"publication_history","label":"Publication History"}},{"value":"2017-03-08","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2017-04-17","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}