{"653758":{"#nid":"653758","#data":{"type":"event","title":"PhD Defense by Corbin Klett","body":[{"value":"\u003Cp\u003E\u003Cstrong\u003ECorbin Klett\u003C\/strong\u003E\u003C\/p\u003E\r\n\r\n\u003Cp\u003E(Advisor: Eric Feron)\u003C\/p\u003E\r\n\r\n\u003Cp\u003E\u0026nbsp;\u003C\/p\u003E\r\n\r\n\u003Cp\u003Ewill defend a doctoral thesis entitled\u003C\/p\u003E\r\n\r\n\u003Cp\u003E\u0026nbsp;\u003C\/p\u003E\r\n\r\n\u003Cp\u003E\u003Cstrong\u003ETowards Tractable Methods for Formal Verification of \u003C\/strong\u003E\u003C\/p\u003E\r\n\r\n\u003Cp\u003E\u003Cstrong\u003EAutonomy in Aerospace Systems\u003C\/strong\u003E\u003C\/p\u003E\r\n\r\n\u003Cp\u003E\u0026nbsp;\u003C\/p\u003E\r\n\r\n\u003Cp\u003Eon\u003C\/p\u003E\r\n\r\n\u003Cp\u003E\u0026nbsp;\u003C\/p\u003E\r\n\r\n\u003Cp\u003E\u003Cstrong\u003EThursday, December 23\u003Csup\u003Erd\u003C\/sup\u003E at 10am\u003C\/strong\u003E\u003C\/p\u003E\r\n\r\n\u003Cp\u003E\u003Cstrong\u003ETSRB 423\u003C\/strong\u003E\u003C\/p\u003E\r\n\r\n\u003Cp\u003E\u003Ca href=\u0022https:\/\/bluejeans.com\/343850193\/7366\u0022\u003E\u003Cstrong\u003Ehttps:\/\/bluejeans.com\/343850193\/7366\u003C\/strong\u003E\u003C\/a\u003E\u003C\/p\u003E\r\n\r\n\u003Cp\u003E\u0026nbsp;\u003C\/p\u003E\r\n\r\n\u003Cp\u003E\u003Cstrong\u003EAbstract\u003C\/strong\u003E\u003C\/p\u003E\r\n\r\n\u003Cp\u003EFormal verification techniques for control systems are developed and applied to real-world aerospace systems, including experimental platforms as well as mathematical models which contain features that closely resemble those found in real systems. Though prolific in academia, these analysis techniques are not prevalent in industry, where system-level requirements are commonly validated by rudimentary measures of system robustness such as gain and phase margin as well as by extensive simulation and testing. Conventional methods have proven their efficacy for the certification of safety-critical systems but are also incapable of exhaustively testing a system\u0026#39;s behaviors. Integrating more advanced mathematical techniques into system design and analysis workflows could enable additional autonomy capabilities, improve safety, and decrease development and certification costs.\u003C\/p\u003E\r\n\r\n\u003Cp\u003E\u0026nbsp;\u003C\/p\u003E\r\n\r\n\u003Cp\u003EThe verification strategies developed and demonstrated in this work rely on key results from nonlinear systems theory, real algebraic geometry, and convex optimization. First, a method for constructing homogeneous polynomial Lyapunov functions is presented for the class of nonlinear systems which can be represented by a linear time-varying or a switched-linear system. Procedures are developed that produce improved certificates of set invariance, bounds on peak norms, and system stability margin. Additionally, an algorithm that uses a Lyapunov function certificate to search for a worst-case trajectory is developed and applied to several aerospace examples, including an attitude-controlled spacecraft. Characterization of the safe operating envelope for this spacecraft is demonstrated with Lyapunov techniques. This result is integrated into a run-time assurance algorithm, which is shown to significantly increase the vehicle\u0026#39;s operational capabilities as demonstrated on an experimental hardware platform. Finally, strategies are proposed for the formal analysis of gas turbine engine control systems which offer advantages over some conventional practices.\u003C\/p\u003E\r\n\r\n\u003Cp\u003E\u0026nbsp;\u003C\/p\u003E\r\n\r\n\u003Cp\u003E\u003Cstrong\u003ECommittee\u003C\/strong\u003E\u003C\/p\u003E\r\n\r\n\u003Cul\u003E\r\n\t\u003Cli\u003EProf. Eric Feron \u0026ndash; \u003Cem\u003EAerospace Engineering\u003C\/em\u003E\u003C\/li\u003E\r\n\t\u003Cli\u003EProf. Yongxin Chen \u0026ndash; \u003Cem\u003EAerospace Engineering\u003C\/em\u003E\u003C\/li\u003E\r\n\t\u003Cli\u003EProf. Kyriakos Vamvoudakis \u0026ndash; \u003Cem\u003EAerospace Engineering\u003C\/em\u003E\u003C\/li\u003E\r\n\t\u003Cli\u003EProf. Sam Coogan \u0026ndash; \u003Cem\u003EElectrical and Computer Engineering, Civil and Environmental Engineering\u003C\/em\u003E\u003C\/li\u003E\r\n\t\u003Cli\u003EProf. Panos Tsiotras \u0026ndash; \u003Cem\u003EAerospace Engineering\u003C\/em\u003E\u003C\/li\u003E\r\n\u003C\/ul\u003E\r\n","summary":null,"format":"limited_html"}],"field_subtitle":"","field_summary":"","field_summary_sentence":[{"value":"Towards Tractable Methods for Formal Verification of  Autonomy in Aerospace Systems"}],"uid":"27707","created_gmt":"2021-12-16 17:45:54","changed_gmt":"2021-12-16 17:45:54","author":"Tatianna Richardson","boilerplate_text":"","field_publication":"","field_article_url":"","field_event_time":{"event_time_start":"2021-12-23T10:00:00-05:00","event_time_end":"2021-12-23T12:00:00-05:00","event_time_end_last":"2021-12-23T12:00:00-05:00","gmt_time_start":"2021-12-23 15:00:00","gmt_time_end":"2021-12-23 17:00:00","gmt_time_end_last":"2021-12-23 17:00:00","rrule":null,"timezone":"America\/New_York"},"extras":[],"groups":[{"id":"221981","name":"Graduate Studies"}],"categories":[],"keywords":[{"id":"100811","name":"Phd Defense"}],"core_research_areas":[],"news_room_topics":[],"event_categories":[{"id":"1788","name":"Other\/Miscellaneous"}],"invited_audience":[{"id":"78761","name":"Faculty\/Staff"},{"id":"78771","name":"Public"},{"id":"78751","name":"Undergraduate students"}],"affiliations":[],"classification":[],"areas_of_expertise":[],"news_and_recent_appearances":[],"phone":[],"contact":[],"email":[],"slides":[],"orientation":[],"userdata":""}}}