1. How to install Coho-Reach
`sh install.sh`
2. How to use Coho-Reach, small example
```
cra_open;
% Tell Coho-Reach what's the dynamics
% The function must accept a LP input and returns a LDI models
cra_cfg('set','modelFunc' <function handle>);
% Create the init projectagon.
ph = ph_create(dim,planes,hulls....); % see Projectagon packages
% Advance the projectagon
fwdPh = ph_advance(ph);
% Show the results
ph_display(fwdPh);
cra_close;
```
3. Any more examples ?
```
./example/
./Projectagon/test/
```
4. More documents
`./doc`
forked from coho-tools/cra
CohoReach: Coho Reachability Analysis Tool
License
where-is-paul/cra
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
Repository files navigation
About
CohoReach: Coho Reachability Analysis Tool
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published
Languages
- Java 61.0%
- MATLAB 32.5%
- C 5.0%
- C++ 1.0%
- Shell 0.4%
- Makefile 0.1%