Download PDFOpen PDF in browserHyReach: A Reachability Tool for Linear Hybrid Systems Based on Support Functions12 pages•Published: February 1, 2017AbstractWe present HyReach, a MATLAB-based toolbox for reachabilityanalysis of linear hybrid systems based on support functions. The main goal of HyReach is to provide a single graphical user interface for easily configurable reachability analysis on different systems. HyReach offers a number of known algorithms for the computation of reachable sets within modes. These are combined with various approaches of handling mode invariants, guard intersection computations and transition strategies. Furthermore, plug-ins like the MPT and CVX toolboxes complement the existing MATLAB optimization toolbox to increase the variety of optimization algorithms for the computation of support functions. HyReach supports both textual and graphical inputs and outputs, allowing for flexibility and seamlessness in workflow and processing of data. We illustrate these features with examples in this paper. Keyphrases: hyreach, linear hybrid systems, matlab, reachability, support functions, tool In: Goran Frehse and Matthias Althoff (editors). ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems, vol 43, pages 68-79.
|