Technische Universität München Robotics and Embedded Systems
 

Continuous Reachability Analyzer (CORA)

 

Description

The COntinuous Reachability Analyzer (CORA) is a collection of MATLAB classes for the formal verification of cyber-physical systems using reachability analysis. The toolbox integrates various vector and matrix set representations and operations on them as well as reachability algorithms of various dynamic system classes. The software is designed such that set representations can be exchanged without having to modify the code for reachability analysis. CORA has a modular design, making it possible to use the capabilities of the various set representations for other purposes besides reachability analysis. The toolbox is designed using the object oriented paradigm, such that users can safely use methods without concerning themselves with detailed information hidden inside the object. Since the toolbox is written in MATLAB, the installation and use is platform independent.

People

Matthias Althoff

Manual

Manual CORA 2016

Manual CORA 2015

Downloads

CORA 2016

CORA 2015

CORA 2012

Publications

[1] M. Althoff and D. Grebenyuk. Implementation of interval arithmetic in CORA 2016. In Proc. of the 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems, pages 91-105, 2016. [ .bib | .pdf ]
[2] M. Althoff. An introduction to CORA 2015. In Proc. of the Workshop on Applied Verification for Continuous and Hybrid Systems, pages 120-151, 2015. [ .bib | .pdf ]