Center of Autonomy and AI, Center for Cyber-Physical Systems and the Internet of Things, and Ming Hsieh Institute Seminar Series
Wed, Sep 21, 2022 @ 02:00 PM - 03:00 PM
Ming Hsieh Department of Electrical and Computer Engineering
Conferences, Lectures, & Seminars
Speaker: Luca Geretti, Computer Science Department at the University of Verona (Italy)
Talk Title: High-Order Differential Inclusions for Continuous Decomposition of Nonlinear Dynamical Systems
Series: Center for Cyber-Physical Systems and Internet of Things
Abstract: Formal verification of nonlinear dynamical systems particularly suffers the curse of dimensionality. While linear systems of tens of variables can be successfully analyzed, it is not the case of systems where symbolic methods are generally infeasible. A numerical approach to the problem would require decoupling the system in order to reduce the dimensions of each subsystem and consequently mitigate the problem. In this lecture we propose a solution based on high-order differential inclusions, which can be used to replace coupling variables with bounded input noises. The formulation for differential inclusions for nonlinear systems is provided, along with a discussion on its implementation in the Ariadne library for rigorous numerics. We also compare the performance and scalability with the current state-of-the-art on tools for the analysis of nonlinear open dynamical systems.
Biography: Luca Geretti is currently a research associate at the Computer Science department of the University of Verona (Italy). He obtained his master\'s degree in Electronics Engineering at the University of Udine (Italy) with a thesis on \"Design and FPGA implementation of stochastic feed-forward neural networks\" and his PhD degree in Computer Engineering from the same institute, while switching his focus to \"Autonomy and collaboration in ad-hoc mobile networks\". He then moved to Verona to work on formal verification of nonlinear hybrid systems. He currently leads the Nonlinear group for the yearly ARCH competition of formal verification tools, where he also participates with the Ariadne software of which is the main engineer. From October 2022 he will be a research scholar at the University of Southern California.
Host: Pierluigi Nuzzo, email@example.com
Audiences: Everyone Is Invited
Contact: Talyia White