Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices
- Submitting institution
-
University of Newcastle upon Tyne
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 271825-266709-1292
- Type
- E - Conference contribution
- DOI
-
10.1145/3178126.3178128
- Title of conference / published proceedings
- HSCC '18: Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control
- First page
- 41
- Volume
- -
- Issue
- -
- ISSN
- -
- Open access status
- -
- Month of publication
- April
- Year of publication
- 2018
- URL
-
https://doi.org/10.1145/3178126.3178128
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
5
- Research group(s)
-
A - Advanced Model-Based Engineering and Reasoning (AMBER)
- Citation count
- 7
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- The paper presents a novel compositional technique for reachability analysis of dynamical systems expressed in terms of linear differential equations, which enables verification of systems which are roughly two orders of magnitude larger than those amenable to the analysis using previous approaches. This is an important outcome of a US Air Force Office of Scientific Research grant (USD275K, FA2386-17-1-4065). The results of the paper provided the foundation of the tool JuliaReach which won the ARCH’18 “Best Friendly Competition Result” award. An extended version of this paper is under review at the IFAC journal Nonlinear Analysis: Hybrid Systems.
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -