BEGIN:VCALENDAR VERSION:2.0 PRODID:-//132.216.98.100//NONSGML kigkonsult.se iCalcreator 2.20.4// BEGIN:VEVENT UID:20250725T111706EDT-2996vUUXVG@132.216.98.100 DTSTAMP:20250725T151706Z DESCRIPTION:\n \n ISS Informal Systems Seminar\n Speaker: Matthew M. Peet – Ae rospace Engineering\, Arizona State University\, United States \n \n \n\n\n \n  \n\n \n \n\n In this talk\, we review recent advances in converse Lyapunov theory and its application to the use of Sum-of-Squares (SOS) optimizatio n for analysis and control of nonlinear systems - a topic which includes\, e.g.: Domains of attraction\, maximal invariant sets\, minimal attractor sets\, forward/backward reachable sets and optimal control. In each case\, we review the applicable converse Lyapunov functions and show how these c an be used to refine and accelerate the search for a corresponding Lyapuno v-function-based proof via polynomial optimization methods such as SOS.\n \n \n Biography: Matthew M. Peet received M.S. and Ph.D. degrees in aeronaut ics and astronautics from Stanford University. He was a postdoc at INRIA a nd Asst. Professor at the Illinois Institute of Technology. Currently\, he is an Associate Professor of Aerospace Engineering at Arizona State Unive rsity. His contributions to software development include the SOSTOOLS and PIETOOLS platforms for optimization-based analysis and control of nonlinea r\, delayed\, and PDE systems.\n \n\n DTSTART:20220930T183000Z DTEND:20220930T193000Z LOCATION:CA\, ZOOM SUMMARY:Converse Lyapunov Functions and How to Find Them URL:/cim/channels/event/converse-lyapunov-functions-an d-how-find-them-351662 END:VEVENT END:VCALENDAR