HyReach

HyReach

Description: HyReach is a MATLAB-based tool for the reachability analysis of linear hybrid systems. It represents reachable sets using support functions and is based on the principles presented in "Reachability Analysis of Hybrid Systems Using Support Functions" (Colas Le Guernic and Antoine Girard). In comparison to other available tools, HyReach integrates a variety of different algorithms and procedures for separate tasks performed by the reachability analyses. Hence, it allows the user to directly specify which algorithms will be used during the analysis. The provided GUI enables the user to easily choose between the provided algorithms and visualize the analysis results as graphical output. Moreover, the tool supports the concept of time- and fixpoint-triggered transitions within hybrid automata, which could be taken if a certain time has been reached or if a fixpoint has been found.

HyReach consists of two main components - the GUI and the computation core. The GUI component allows for the specification of user parameters such as the algorithms to be used, initial and input sets, settings related to the support function representation, general options and the input file defining the hybrid automaton. This information is passed to the computation core which performs the reachability analysis and returns its results to the GUI which can than be used to generate plots of different dimensions. The computation core itself consists of implementations of different algorithms for flowpipe construction, computation of guard intersections, overapproximations of the initial set and strategies to pick between multiple possible transitions. Some of these algorithms have been implemented within the HyReach tool, others were imported and require the availability of certain plug-ins, e.g. the MATLAB optimization toolbox, the CVX toolbox or the MPT toolbox.

VO Integration: No

Active: Yes

Available Benchmarks: Yes

Website: https://embedded.rwth-aachen.de/doku.php?id=en:tools:hyreach

Download: User must contact authors to access toolbox.

Documentation: User Guide and example input models.

Contact: Link to list of contributors.

Excerpt and graphics from: https://embedded.rwth-aachen.de/doku.php?id=en:tools:hyreach