Certified Reachable Sets for Nonlinear Reaction--Diffusion Systems

Mohamed Amine Ouchdiri, Mohamed Maghenem, Saad Benjelloun +1

Reachability analysis for dynamical systems seeks to compute a set containing all reachable states at a given time. Compared to ordinary differential equations (ODEs), the analysis…