{"646421":{"#nid":"646421","#data":{"type":"event","title":"PhD Proposal by Corbin Klett","body":[{"value":"\u003Cp\u003E\u003Cstrong\u003ECorbin Klett\u003C\/strong\u003E\u003Cbr \/\u003E\r\n\u003Cem\u003E(Advisor: Prof. Eric Feron)\u003C\/em\u003E\u003C\/p\u003E\r\n\r\n\u003Cp\u003E\u003Cem\u003Ewill propose a doctoral thesis entitled,\u003C\/em\u003E\u003C\/p\u003E\r\n\r\n\u003Cp\u003E\u003Cstrong\u003ETowards Tractable Methods for Formal Verification of Autonomy in Aerospace Systems\u003C\/strong\u003E\u003C\/p\u003E\r\n\r\n\u003Cp\u003E\u003Cem\u003EOn\u003C\/em\u003E\u003C\/p\u003E\r\n\r\n\u003Cp\u003E\u003Cstrong\u003EMonday, May 3rd at 11:00 a.m.\u003Cbr \/\u003E\r\n\u003Cem\u003EMeeting URL:\u003C\/em\u003E\u003C\/strong\u003E\u003Cem\u003E https:\/\/bluejeans.com\/798429224\u003C\/em\u003E\u003C\/p\u003E\r\n\r\n\u003Cp\u003E\u003Cstrong\u003EAbstract\u003C\/strong\u003E\u003Cbr \/\u003E\r\nThe proposed work centers on the development and application of formal verification techniques for real-world aerospace systems. 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. These methods have proven their efficacy for the certification of safety-critical systems but are also incapable of exhaustively testing a system\u0026rsquo;s behaviors. In many cases, these testing-based methodologies are limited by the creativity of the engineer performing the analysis. On the other hand, advanced mathematical techniques which formally characterize system behavior exist and are quite prolific in academic settings. However, they have not often assimilated into the workflow of real aerospace projects due to the complexity of the systems. In other words, the only way that sufficient safety and performance analysis can be done is through simulation and testing.\u003C\/p\u003E\r\n\r\n\u003Cp\u003EThe proposed thesis will present an investigation into the application of formal analysis methods in order to contest or perhaps further support that claim. In addition, several formal analysis techniques will be elegantly reformulated in order to make them more accessible to application-oriented controls engineers. The thesis will look closely at systems with attributes specifically encountered in the aerospace field. Often, the formal analysis techniques investigated in the academic literature are presented in a general form, but such generality is not always necessary when the application of such techniques is focused on specific classes of systems.\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; School of Aerospace Engineering (advisor)\u003C\/li\u003E\r\n\t\u003Cli\u003EProf. Yongxin Chen \u0026ndash; School of Aerospace Engineering\u003C\/li\u003E\r\n\t\u003Cli\u003EProf. Kyriakos Vamvoudakis \u0026ndash; School of Aerospace Engineering\u003C\/li\u003E\r\n\t\u003Cli\u003EProf. Samuel Coogan \u0026ndash; School of Electrical and Computer Engineering, School of Civil and Environmental Engineering\u003C\/li\u003E\r\n\u003C\/ul\u003E\r\n\r\n\u003Cp\u003E\u0026nbsp;\u003C\/p\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-04-13 15:44:28","changed_gmt":"2021-04-13 15:44:50","author":"Tatianna Richardson","boilerplate_text":"","field_publication":"","field_article_url":"","field_event_time":{"event_time_start":"2021-05-03T12:00:00-04:00","event_time_end":"2021-05-03T14:00:00-04:00","event_time_end_last":"2021-05-03T14:00:00-04:00","gmt_time_start":"2021-05-03 16:00:00","gmt_time_end":"2021-05-03 18:00:00","gmt_time_end_last":"2021-05-03 18:00:00","rrule":null,"timezone":"America\/New_York"},"extras":[],"groups":[{"id":"221981","name":"Graduate Studies"}],"categories":[],"keywords":[{"id":"102851","name":"Phd proposal"}],"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":"174045","name":"Graduate students"},{"id":"78751","name":"Undergraduate students"}],"affiliations":[],"classification":[],"areas_of_expertise":[],"news_and_recent_appearances":[],"phone":[],"contact":[],"email":[],"slides":[],"orientation":[],"userdata":""}}}