CORA

버전 1.0.3 (212 MB) 작성자: Matthias Althoff
Toolbox for Reachability Analysis
4.5
(2)
다운로드 수: 1.5K
업데이트 날짜: 2024/7/26
GitHub에서 라이선스 보기
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.

인용 양식

Matthias Althoff (2024). CORA (https://github.com/TUMcps/CORA), GitHub. 검색됨 .

MATLAB 릴리스 호환 정보
개발 환경: R2021a
R2017b에서 R2021a까지의 릴리스와 호환
플랫폼 호환성
Windows macOS Linux
카테고리
Help Center 및 MATLAB Answers에서 Digital Filter Analysis에 대해 자세히 알아보기
도움

줌: AROC

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

data/matlab

data/matlab/scripts

data/matlab/scripts/continuous-systems

data/matlab/scripts/geometric-sets

data/matlab/scripts/geometric-sets/operations

data/matlab/scripts/hybrid-dynamics

data/matlab/scripts/neural-networks

GitHub 디폴트 브랜치를 사용하는 버전은 다운로드할 수 없음

버전 게시됨 릴리스 정보
1.0.3

Release version 2021
1.0.2

Update toolbox logo
1.0.1

Update toolbox logo
1.0.0

이 GitHub 애드온의 문제를 보거나 보고하려면 GitHub 리포지토리로 가십시오.
이 GitHub 애드온의 문제를 보거나 보고하려면 GitHub 리포지토리로 가십시오.