This paper presents TIRA, a Matlab library gathering several methods for the computation of interval over-approximations of the reachable sets for both continuous- and discrete-time nonlinear systems. Unlike other existing tools, the main strength of interval-based reachability analysis is its simplicity and scalability, rather than the accuracy of the over-approximations. The current implementation of TIRA contains four reachability methods covering wide classes of nonlinear systems, handled with recent results relying on contraction/growth bounds and monotonicity concepts. TIRA's architecture features a central function working as a hub between the user-defined reachability problem and the library of available reachability methods. This design choice offers increased extensibility of the library, where users can define their own method in a separate function and add the function call in the hub function.
@article{arxiv.1902.05204,
title = {TIRA: Toolbox for Interval Reachability Analysis},
author = {Pierre-Jean Meyer and Alex Devonport and Murat Arcak},
journal= {arXiv preprint arXiv:1902.05204},
year = {2019}
}