AROC

Toolbox for Automated Controller Synthesis

https://aroc.in.tum.de

버전 1.0.0 (5.27 MB)
다운로드 수: 186
(0)
2024/1/20

이 제출물을 팔로우합니다

The Automated Reachset Optimal Control (AROC) toolbox automatically constructs formally verified controllers for solving reach-avoid problems using reachability analysis. The toolbox considers general nonlinear systems with disturbances and input constraints.

인용 양식

N. Kochdumper and et. al. AROC: A Toolbox for Automated Reachset Optimal Controller Synthesis

도움

도움 받은 파일: CORA

일반 정보

MATLAB 릴리스 호환 정보

  • 모든 릴리스와 호환

플랫폼 호환성

  • Windows
  • macOS
  • Linux
새 탭에서 열기

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

버전 퍼블리시됨 릴리스 정보
1.0.0

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