{"_id":"zm9qY5ceK8CoepjWG","bibbaseid":"gross-clark-hoffman-swenson-fifarek-runtimeassuranceandformalmethodsanalysisnonlinearsystemappliedtononlinearsystemcontrol-2017","author_short":["Gross, K. H.","Clark, M. A.","Hoffman, J. A.","Swenson, E. D.","Fifarek, A. W."],"bibdata":{"bibtype":"article","type":"article","title":"Run-time assurance and formal methods analysis nonlinear system applied to nonlinear system control","volume":"14","doi":"10/ghv3v9","number":"4","journal":"Journal of Aerospace Information Systems","author":[{"propositions":[],"lastnames":["Gross"],"firstnames":["Kerianne","H."],"suffixes":[]},{"propositions":[],"lastnames":["Clark"],"firstnames":["Matthew","A."],"suffixes":[]},{"propositions":[],"lastnames":["Hoffman"],"firstnames":["Jonathan","A."],"suffixes":[]},{"propositions":[],"lastnames":["Swenson"],"firstnames":["Eric","D."],"suffixes":[]},{"propositions":[],"lastnames":["Fifarek"],"firstnames":["Aaron","W."],"suffixes":[]}],"year":"2017","note":"tex.ids= grossRuntimeAssuranceFormal2017a, grossRuntimeAssuranceFormal2017b, grossRuntimeAssuranceFormal2017c publisher: American Institute of Aeronautics and Astronautics","pages":"232–246","bibtex":"@article{gross_run-time_2017,\n\ttitle = {Run-time assurance and formal methods analysis nonlinear system applied to nonlinear system control},\n\tvolume = {14},\n\tdoi = {10/ghv3v9},\n\tnumber = {4},\n\tjournal = {Journal of Aerospace Information Systems},\n\tauthor = {Gross, Kerianne H. and Clark, Matthew A. and Hoffman, Jonathan A. and Swenson, Eric D. and Fifarek, Aaron W.},\n\tyear = {2017},\n\tnote = {tex.ids= grossRuntimeAssuranceFormal2017a, grossRuntimeAssuranceFormal2017b, grossRuntimeAssuranceFormal2017c\npublisher: American Institute of Aeronautics and Astronautics},\n\tpages = {232--246},\n}\n\n","author_short":["Gross, K. H.","Clark, M. A.","Hoffman, J. A.","Swenson, E. D.","Fifarek, A. W."],"key":"gross_run-time_2017","id":"gross_run-time_2017","bibbaseid":"gross-clark-hoffman-swenson-fifarek-runtimeassuranceandformalmethodsanalysisnonlinearsystemappliedtononlinearsystemcontrol-2017","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"article","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":[],"search_terms":["run","time","assurance","formal","methods","analysis","nonlinear","system","applied","nonlinear","system","control","gross","clark","hoffman","swenson","fifarek"],"title":"Run-time assurance and formal methods analysis nonlinear system applied to nonlinear system control","year":2017}