Skip to content

where-is-paul/cra

 
 

Repository files navigation

Coho-Reach: Coho Reachability Analysis Tool

FAQ:

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`

About

CohoReach: Coho Reachability Analysis Tool

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • Java 61.0%
  • MATLAB 32.5%
  • C 5.0%
  • C++ 1.0%
  • Shell 0.4%
  • Makefile 0.1%