English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

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.

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