Modeling, Translation, and Analysis of Different examples using Simulink, Stateflow, SpaceEx, and FlowStar

Yogesh Gajula, Ravi Varma Lingala

This report details the translation and testing of multiple benchmarks, including the Six Vehicle Platoon, Two Bouncing Ball, Three Tank System, and Four-Dimensional Linear Switchi…