State Set Representations and Their Usage in the Reachability Analysis of Hybrid Systems
This work presents results obtained in the field of safety verification for linear hybrid systems via flow pipe construction-based reachability analysis.
This work presents results obtained in the field of safety verification for linear hybrid systems via flow pipe construction-based reachability analysis.