IPAB Seminar-14/11/24 Speaker: Ben Wooding Title: Safety Barrier Certificates for Nonlinear Polynomial Systems Abstract: In this presentation I will present some recent work mainly focusing on software tool developments for the design of safety barrier certificates in both model-based and data-driven settings. Safety barrier certificates are an abstraction-free method enabling behavioral guarantees that a system’s dynamics will not evolve into an area determined to be unsafe. I will present PRoTECT, for the parallelized construction of safety barrier certificates (BCs) for nonlinear polynomial systems. This tool employs sum-of-squares (SOS) optimization programs to systematically search for polynomial-type BCs, while aiming to verify safety properties over four classes of dynamical systems: (i) discrete-time stochastic systems, (ii) discrete-time deterministic systems, (iii) continuous-time stochastic systems, and (iv) continuous-time deterministic systems. In particular, PRoTECT is the first software tool that offers stochastic barrier certificates. Additionally, I will present some recent work developing a tool that designs control barrier certificates using only a single trajectory of data, under a particular persistency of excitation condition. Bio: I am an EPSRC Doctoral Prize Fellow in the School of Computing at Newcastle University. I am researching a project titled “Reliable AI-Enabled Design of Cyber-Physical Systems”. My PhD thesis was “Model-Based and Data-Driven Formal Synthesis of Power Systems” supervised by Sadegh Soudjani, funded by an EPSRC Studentship. My research focused on the intersection of formal methods in computer science and control theory, applied to power system primary frequency regulation. You can find my personal website here: https://woodingben.com. Nov 14 2024 13.00 - 14.00 IPAB Seminar-14/11/24 Ben Wooding G.03
IPAB Seminar-14/11/24 Speaker: Ben Wooding Title: Safety Barrier Certificates for Nonlinear Polynomial Systems Abstract: In this presentation I will present some recent work mainly focusing on software tool developments for the design of safety barrier certificates in both model-based and data-driven settings. Safety barrier certificates are an abstraction-free method enabling behavioral guarantees that a system’s dynamics will not evolve into an area determined to be unsafe. I will present PRoTECT, for the parallelized construction of safety barrier certificates (BCs) for nonlinear polynomial systems. This tool employs sum-of-squares (SOS) optimization programs to systematically search for polynomial-type BCs, while aiming to verify safety properties over four classes of dynamical systems: (i) discrete-time stochastic systems, (ii) discrete-time deterministic systems, (iii) continuous-time stochastic systems, and (iv) continuous-time deterministic systems. In particular, PRoTECT is the first software tool that offers stochastic barrier certificates. Additionally, I will present some recent work developing a tool that designs control barrier certificates using only a single trajectory of data, under a particular persistency of excitation condition. Bio: I am an EPSRC Doctoral Prize Fellow in the School of Computing at Newcastle University. I am researching a project titled “Reliable AI-Enabled Design of Cyber-Physical Systems”. My PhD thesis was “Model-Based and Data-Driven Formal Synthesis of Power Systems” supervised by Sadegh Soudjani, funded by an EPSRC Studentship. My research focused on the intersection of formal methods in computer science and control theory, applied to power system primary frequency regulation. You can find my personal website here: https://woodingben.com. Nov 14 2024 13.00 - 14.00 IPAB Seminar-14/11/24 Ben Wooding G.03
