The COntinuous Reachability Analyzer (CORA) is a collection of MATLAB classes for the formal verification of cyber-physical systems using reachability analysis. CORA 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 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. From Release 2018 on, the direct import of SpaceEx models into CORA is also supported.

References in zbMATH (referenced in 15 articles )

Showing results 1 to 15 of 15.
Sorted by year (citations)

  1. Raghuraman, Vignesh; Koeln, Justin P.: Set operations and order reductions for constrained zonotopes (2022)
  2. Verdier, Cees Ferdinand; Kochdumper, Niklas; Althoff, Matthias; Mazo, Manuel: Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications (2022)
  3. Althoff, Matthias; Rath, Jagat Jyoti: Comparison of guaranteed state estimators for linear time-invariant systems (2021)
  4. Cattaruzza, Dario; Abate, Alessandro; Schrammel, Peter; Kroening, Daniel: Unbounded-time safety verification of guarded LTI models with inputs by abstract acceleration (2021)
  5. Kulmburg, Adrian; Althoff, Matthias: On the co-NP-completeness of the zonotope containment problem (2021)
  6. Serry, Mohamed: Convergent under-approximations of reachable sets and tubes: a piecewise constant approach (2021)
  7. Shen, Kai; Robertson, Dillard L.; Scott, Joseph K.: Tight reachability bounds for constrained nonlinear systems using mean value differential inequalities (2021)
  8. Hoang-Dung Tran, Xiaodong Yang, Diego Manzanas Lopez, Patrick Musau, Luan Viet Nguyen, Weiming Xiang, Stanley Bak, Taylor T. Johnson: NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems (2020) arXiv
  9. Schürmann, Bastian; Vignali, Riccardo; Prandini, Maria; Althoff, Matthias: Set-based control for disturbed piecewise affine systems with state and actuation constraints (2020)
  10. Villegas Pico, Hugo Nestor; Aliprantis, Dionysios C.: Reachability analysis of linear dynamic systems with constant, arbitrary, and Lipschitz continuous inputs (2018)
  11. Yang, Xuejiao; Scott, Joseph K.: A comparison of zonotope order reduction techniques (2018)
  12. Bak, Stanley; Bogomolov, Sergiy; Althoff, Matthias: Time-triggered conversion of guards for reachability analysis of hybrid automata (2017)
  13. Bak, Stanley; Duggirala, Parasara Sridhar: Rigorous simulation-based analysis of linear hybrid systems (2017)
  14. Schürmann, Bastian; Althoff, Matthias: Convex interpolation control with formal guarantees for disturbed and constrained nonlinear systems (2017)
  15. Roehm, Hendrik; Oehlerking, Jens; Woehrle, Matthias; Althoff, Matthias: Reachset conformance testing of hybrid automata (2016)