- TIRA_user_manual.pdf: the user manual of the toolbox detailing the installation instructions, toolbox architecture, an overview of the implemented reachability methods and their requirements, as well as guidelines for three types of use of the toolbox (testing it on pre-defined examples; calling implemented reachability methods on your own system; adding new reachability methods to the toolbox).
- HSCC2019_paper.pdf: tool-paper at HSCC19 describing the toolbox architecture and the theory of the 5 main over-approximation methods implemented in version 1 of TIRA (2019-02-19).
- Springer2021_partial_preprint.pdf: partial preprint of the book Interval Reachability Analysis: Bounding Trajectories of Uncertain Systems with Boxes for Control and Verification containing a thourough tutorial-like presentation of all 7 reachability methods implemented in version 2 of TIRA (2021-12-03). The uploaded partial preprint contains the preface, table of content, and Appendix B related to TIRA). If you are interested in this book, feel free to contact the authors directly.
Version 2 - 2021-12-03
- 2 new reachability methods: Quasi-Monte Carlo and Monte Carlo
- 1 new submethod for Sampled-data mixed-monotonicity, using second-order sensitivity
- Reworked logger for cleaner console outputs (error, warning, info, runtime)
- Folder Test_suite calling all methods and submethods to check that future changes of the toolbox do not break anything
- Tighter method for over-approximation of interval matrix exponential using Horner formulation and Scaling and squaring
- Option to pick or define the ODE solver used in continuous-time methods that need one
- Improved and more thourough user manual in folder Documentation
Version 1 - 2019-02-19
- Unified framework for interval reachability analysis of continuous-time and discrete-time systems
- 5 main reachability methods: Continuous-time monotonicity, Growth-bound and contraction analysis of continuous-time systems, Continuous-time mixed-monotonicity, Sampled-data mixed-monotonicity (with 2 submethods: Interval arithmetics, Sampling and falsification), Discrete-time mixed-monotonicity
- Folder Examples containing 12 pre-defined example systems
- Pierre-Jean Meyer, COSYS-ESTAS, Univ Gustave Eiffel, Lille. Email @univ-eiffel.fr : pierre-jean.meyer
- Alex Devonport, EECS, UC Berkeley. Email @berkeley.edu : alex_devonport
- Neelay Junnarkar, EECS, UC Berkeley
- Murat Arcak, EECS, UC Berkeley. Email @berkeley.edu : arcak
Pierre-Jean Meyer, Alex Devonport and Murat Arcak, "TIRA: Toolbox for Interval Reachability Analysis". Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, pp. 224-229, 2019. DOI: 10.1145/3302504.3311808
MATLAB Release Compatibility
Platform CompatibilityWindows macOS Linux
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!Start Hunting!