{"id":"arxiv/2606.24500","url":"https://arxiv.org/abs/2606.24500","tags":["math.NA","math.OC"],"score":0,"title":"Certified Reachable Sets for Nonlinear Reaction--Diffusion Systems","domain":"math.NA","source":"arxiv","authors":["Mohamed Amine Ouchdiri","Mohamed Maghenem","Saad Benjelloun","Adnane Saoud"],"reviews":0,"subject":"math.NA","summary":"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 of nonlinear reaction--diffusion PDEs with parametric uncertainties remains largely underexplored, due to the infinite-dimensional state space and the variety of solutions under different parameters. We address this through a three-step procedure: 1) Finite Element Methods (FEM)s to discretise the space and generate a finite-dimensional FEM-based model, 2) Proper Orthogonal Decomposition (POD) to build a…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-23","reactions":{}}