projects Filter-Based Estimation for Clearpath Jackal UGV Extended Kalman filter on Rugged Terrain and Indoor Localization with Particle Filter, with ROS 2/Gazebo. Region of Attraction Estimation for Polynomial Systems ROA inner-approximation via SOS with bilinear alternation (S-procedure + Lyapunov).