{"id":"https://openalex.org/W2606229664","doi":"https://doi.org/10.2514/1.i010471","title":"Run-Time Assurance and Formal Methods Analysis Nonlinear System Applied to Nonlinear System Control","display_name":"Run-Time Assurance and Formal Methods Analysis Nonlinear System Applied to Nonlinear System Control","publication_year":2017,"publication_date":"2017-04-01","ids":{"openalex":"https://openalex.org/W2606229664","doi":"https://doi.org/10.2514/1.i010471","mag":"2606229664"},"language":"en","primary_location":{"id":"doi:10.2514/1.i010471","is_oa":false,"landing_page_url":"https://doi.org/10.2514/1.i010471","pdf_url":null,"source":{"id":"https://openalex.org/S4210240151","display_name":"Journal of Aerospace Information Systems","issn_l":"2327-3097","issn":["2327-3097"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310315709","host_organization_name":"American Institute of Aeronautics and Astronautics","host_organization_lineage":["https://openalex.org/P4310315709"],"host_organization_lineage_names":["American Institute of Aeronautics and Astronautics"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Aerospace Information Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5110333898","display_name":"Kerianne H. Gross","orcid":null},"institutions":[{"id":"https://openalex.org/I1280414376","display_name":"United States Air Force Research Laboratory","ror":"https://ror.org/02e2egq70","country_code":"US","type":"facility","lineage":["https://openalex.org/I1280414376","https://openalex.org/I1330347796","https://openalex.org/I4210102105","https://openalex.org/I4389425425"]},{"id":"https://openalex.org/I2799950915","display_name":"Wright-Patterson Air Force Base","ror":"https://ror.org/0097e1k27","country_code":"US","type":"other","lineage":["https://openalex.org/I1330347796","https://openalex.org/I2799950915","https://openalex.org/I4210089612","https://openalex.org/I4210102105"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Kerianne H. Gross","raw_affiliation_strings":["U.S. Air Force Research Laboratory, Wright\u2013Patterson Air Force Base, Ohio 45433"],"affiliations":[{"raw_affiliation_string":"U.S. Air Force Research Laboratory, Wright\u2013Patterson Air Force Base, Ohio 45433","institution_ids":["https://openalex.org/I2799950915","https://openalex.org/I1280414376"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5083278176","display_name":"Matthew Clark","orcid":"https://orcid.org/0000-0002-9348-3528"},"institutions":[{"id":"https://openalex.org/I2799950915","display_name":"Wright-Patterson Air Force Base","ror":"https://ror.org/0097e1k27","country_code":"US","type":"other","lineage":["https://openalex.org/I1330347796","https://openalex.org/I2799950915","https://openalex.org/I4210089612","https://openalex.org/I4210102105"]},{"id":"https://openalex.org/I1280414376","display_name":"United States Air Force Research Laboratory","ror":"https://ror.org/02e2egq70","country_code":"US","type":"facility","lineage":["https://openalex.org/I1280414376","https://openalex.org/I1330347796","https://openalex.org/I4210102105","https://openalex.org/I4389425425"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Matthew A. Clark","raw_affiliation_strings":["U.S. Air Force Research Laboratory, Wright\u2013Patterson Air Force Base, Ohio 45433"],"affiliations":[{"raw_affiliation_string":"U.S. Air Force Research Laboratory, Wright\u2013Patterson Air Force Base, Ohio 45433","institution_ids":["https://openalex.org/I2799950915","https://openalex.org/I1280414376"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103938426","display_name":"Jonathan Hoffman","orcid":null},"institutions":[{"id":"https://openalex.org/I1280414376","display_name":"United States Air Force Research Laboratory","ror":"https://ror.org/02e2egq70","country_code":"US","type":"facility","lineage":["https://openalex.org/I1280414376","https://openalex.org/I1330347796","https://openalex.org/I4210102105","https://openalex.org/I4389425425"]},{"id":"https://openalex.org/I2799950915","display_name":"Wright-Patterson Air Force Base","ror":"https://ror.org/0097e1k27","country_code":"US","type":"other","lineage":["https://openalex.org/I1330347796","https://openalex.org/I2799950915","https://openalex.org/I4210089612","https://openalex.org/I4210102105"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jonathan A. Hoffman","raw_affiliation_strings":["U.S. Air Force Research Laboratory, Wright\u2013Patterson Air Force Base, Ohio 45433"],"affiliations":[{"raw_affiliation_string":"U.S. Air Force Research Laboratory, Wright\u2013Patterson Air Force Base, Ohio 45433","institution_ids":["https://openalex.org/I2799950915","https://openalex.org/I1280414376"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5047377490","display_name":"Eric Swenson","orcid":null},"institutions":[{"id":"https://openalex.org/I4210089612","display_name":"United States Air Force","ror":"https://ror.org/006gmme17","country_code":"US","type":"funder","lineage":["https://openalex.org/I1330347796","https://openalex.org/I4210089612","https://openalex.org/I4210102105"]},{"id":"https://openalex.org/I55061410","display_name":"U.S. Air Force Institute of Technology","ror":"https://ror.org/03f9f1d95","country_code":"US","type":"education","lineage":["https://openalex.org/I1294991024","https://openalex.org/I1330347796","https://openalex.org/I1330347796","https://openalex.org/I2802362820","https://openalex.org/I4210089612","https://openalex.org/I4210102105","https://openalex.org/I4210102105","https://openalex.org/I55061410"]},{"id":"https://openalex.org/I2799950915","display_name":"Wright-Patterson Air Force Base","ror":"https://ror.org/0097e1k27","country_code":"US","type":"other","lineage":["https://openalex.org/I1330347796","https://openalex.org/I2799950915","https://openalex.org/I4210089612","https://openalex.org/I4210102105"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Eric D. Swenson","raw_affiliation_strings":["U.S. Air Force Institute of Technology, Wright\u2013Patterson Air Force Base, Ohio 45431"],"affiliations":[{"raw_affiliation_string":"U.S. Air Force Institute of Technology, Wright\u2013Patterson Air Force Base, Ohio 45431","institution_ids":["https://openalex.org/I55061410","https://openalex.org/I4210089612","https://openalex.org/I2799950915"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5060222994","display_name":"Aaron W. Fifarek","orcid":null},"institutions":[{"id":"https://openalex.org/I4210117286","display_name":"LinQuest (United States)","ror":"https://ror.org/01nr1y793","country_code":"US","type":"company","lineage":["https://openalex.org/I4210117286"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Aaron W. Fifarek","raw_affiliation_strings":["LinQuest Corporation, Dayton, Ohio 45431"],"affiliations":[{"raw_affiliation_string":"LinQuest Corporation, Dayton, Ohio 45431","institution_ids":["https://openalex.org/I4210117286"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5110333898"],"corresponding_institution_ids":["https://openalex.org/I1280414376","https://openalex.org/I2799950915"],"apc_list":null,"apc_paid":null,"fwci":2.2712,"has_fulltext":false,"cited_by_count":17,"citation_normalized_percentile":{"value":0.89250707,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"14","issue":"4","first_page":"232","last_page":"246"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9973999857902527,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9973999857902527,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9962999820709229,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9944000244140625,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/nonlinear-system","display_name":"Nonlinear system","score":0.7044520974159241},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.49567925930023193},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.46119996905326843},{"id":"https://openalex.org/keywords/control-system","display_name":"Control system","score":0.4598809480667114},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.45420214533805847},{"id":"https://openalex.org/keywords/control-engineering","display_name":"Control engineering","score":0.38512665033340454},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.34844160079956055},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.307795912027359},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.11633899807929993},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.10152384638786316},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.09567618370056152}],"concepts":[{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.7044520974159241},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.49567925930023193},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.46119996905326843},{"id":"https://openalex.org/C17500928","wikidata":"https://www.wikidata.org/wiki/Q959968","display_name":"Control system","level":2,"score":0.4598809480667114},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.45420214533805847},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.38512665033340454},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.34844160079956055},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.307795912027359},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.11633899807929993},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.10152384638786316},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.09567618370056152},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.2514/1.i010471","is_oa":false,"landing_page_url":"https://doi.org/10.2514/1.i010471","pdf_url":null,"source":{"id":"https://openalex.org/S4210240151","display_name":"Journal of Aerospace Information Systems","issn_l":"2327-3097","issn":["2327-3097"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310315709","host_organization_name":"American Institute of Aeronautics and Astronautics","host_organization_lineage":["https://openalex.org/P4310315709"],"host_organization_lineage_names":["American Institute of Aeronautics and Astronautics"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Aerospace Information Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Partnerships for the goals","score":0.4300000071525574,"id":"https://metadata.un.org/sdg/17"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":26,"referenced_works":["https://openalex.org/W224080316","https://openalex.org/W274312291","https://openalex.org/W583109130","https://openalex.org/W1528130211","https://openalex.org/W1967872591","https://openalex.org/W2024716653","https://openalex.org/W2026546032","https://openalex.org/W2041750090","https://openalex.org/W2064041523","https://openalex.org/W2069431083","https://openalex.org/W2071257796","https://openalex.org/W2101623441","https://openalex.org/W2125415493","https://openalex.org/W2156093990","https://openalex.org/W2165367464","https://openalex.org/W2170382708","https://openalex.org/W2187041056","https://openalex.org/W2330398011","https://openalex.org/W2497685081","https://openalex.org/W2497980102","https://openalex.org/W2504649313","https://openalex.org/W2506878453","https://openalex.org/W2895117984","https://openalex.org/W3036837167","https://openalex.org/W4211159904","https://openalex.org/W4299494812"],"related_works":["https://openalex.org/W2615607975","https://openalex.org/W2355865573","https://openalex.org/W2155981143","https://openalex.org/W2155245395","https://openalex.org/W2192101006","https://openalex.org/W2116800748","https://openalex.org/W2638730922","https://openalex.org/W2190465783","https://openalex.org/W2027827693","https://openalex.org/W2381267592"],"abstract_inverted_index":{"Exhaustive":[0],"testing":[1],"of":[2,68,94,116,132],"complex":[3],"and":[4,9,20,125,130],"autonomous":[5,86],"systems":[6],"is":[7,77,106],"intractable":[8],"cost":[10],"prohibitive;":[11],"however,":[12],"design":[13,21,42],"analysis":[14,38,124],"techniques":[15,135],"such":[16,120],"as":[17,52,108,121],"formal":[18,36,122],"methods":[19,37,123],"methodologies,":[22,119],"including":[23],"run-time":[24,75,126],"assurance,":[25],"could":[26],"provide":[27],"supplementary":[28],"certification":[29],"evidence":[30],"early":[31],"in":[32,138],"system":[33,41,62],"design.":[34],"Incorporating":[35],"throughout":[39],"the":[40,60,66,114,133],"process":[43],"provides":[44],"an":[45],"offline":[46],"verification":[47,81,118,134],"method":[48],"to":[49,83,88,112,141],"identify":[50],"faults":[51],"they":[53],"are":[54,136],"introduced,":[55],"which":[56],"may":[57],"drastically":[58],"reduce":[59],"overall":[61],"development":[63],"cost.":[64],"In":[65,97],"event":[67],"a":[69,78,91,100,109],"fault":[70],"not":[71],"identified":[72],"during":[73],"development,":[74],"assurance":[76,127],"proposed":[79],"online":[80],"methodology":[82],"allow":[84],"unproven":[85],"controllers":[87],"perform":[89],"within":[90],"predetermined":[92],"envelope":[93],"acceptable":[95],"behavior.":[96],"this":[98,139],"research,":[99],"six-unit":[101],"CubeSat":[102],"attitude":[103],"control":[104],"subsystem":[105],"used":[107],"challenge":[110],"problem":[111],"evaluate":[113],"application":[115],"nontraditional":[117],"architectures.":[128],"Strengths":[129],"weaknesses":[131],"exposed":[137],"research":[140],"recommend":[142],"capability":[143],"expansions":[144],"for":[145],"further":[146],"development.":[147]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":6},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}