{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T00:14:58Z","timestamp":1725408898959},"reference-count":0,"publisher":"EasyChair","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"abstract":"<jats:p>We present HyReach, a MATLAB-based toolbox for reachability<\/jats:p><jats:p>analysis of linear hybrid systems based on support functions. The<\/jats:p><jats:p>main goal of HyReach is to provide a single graphical user interface for<\/jats:p><jats:p>easily configurable reachability analysis on different systems. HyReach<\/jats:p><jats:p>offers a number of known algorithms for the computation of reachable<\/jats:p><jats:p>sets within modes. These are combined with various approaches of handling<\/jats:p><jats:p>mode invariants, guard intersection computations and transition<\/jats:p><jats:p>strategies. Furthermore, plug-ins like the MPT and CVX toolboxes complement<\/jats:p><jats:p>the existing MATLAB optimization toolbox to increase the variety<\/jats:p><jats:p>of optimization algorithms for the computation of support functions.<\/jats:p><jats:p>HyReach supports both textual and graphical inputs and outputs, allowing<\/jats:p><jats:p>for flexibility and seamlessness in workflow and processing of data.<\/jats:p><jats:p>We illustrate these features with examples in this paper.<\/jats:p>","DOI":"10.29007\/7ncn","type":"proceedings-article","created":{"date-parts":[[2018,1,23]],"date-time":"2018-01-23T18:04:26Z","timestamp":1516730666000},"page":"68-55","source":"Crossref","is-referenced-by-count":0,"title":["HyReach: A Reachability Tool for Linear Hybrid Systems Based on Support Functions"],"prefix":"10.29007","volume":"43","author":[{"given":"Ibtissem","family":"Ben Makhlouf","sequence":"first","affiliation":[]},{"given":"Norman","family":"Hansen","sequence":"additional","affiliation":[]},{"given":"Stefan","family":"Kowalewski","sequence":"additional","affiliation":[]}],"member":"11545","event":{"name":"ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems"},"container-title":["EPiC Series in Computing"],"original-title":[],"deposited":{"date-parts":[[2018,1,23]],"date-time":"2018-01-23T18:04:31Z","timestamp":1516730671000},"score":1,"resource":{"primary":{"URL":"https:\/\/easychair.org\/publications\/paper\/lH4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":0,"URL":"https:\/\/doi.org\/10.29007\/7ncn","relation":{},"ISSN":["2398-7340"],"issn-type":[{"type":"print","value":"2398-7340"}],"subject":[]}}