Download PDFOpen PDF in browser

HyReach: A Reachability Tool for Linear Hybrid Systems Based on Support Functions

12 pagesPublished: February 1, 2017

Abstract

We present HyReach, a MATLAB-based toolbox for reachability
analysis 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.

BibTeX entry
@inproceedings{ARCH16:HyReach_Reachability_Tool_Linear,
  author    = {Ibtissem Ben Makhlouf and Norman Hansen and Stefan Kowalewski},
  title     = {HyReach: A Reachability Tool for Linear Hybrid Systems Based on Support Functions},
  booktitle = {ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems},
  editor    = {Goran Frehse and Matthias Althoff},
  series    = {EPiC Series in Computing},
  volume    = {43},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/lH4},
  doi       = {10.29007/7ncn},
  pages     = {68-79},
  year      = {2017}}
Download PDFOpen PDF in browser