The current folder contains examples to run parameter synthesis for hybrid systems.

README: this file.
param.cmd: script file to run parameter synthesis
fischer_timed_sv_2.hydi: a sample file

Example to run parameter synthesis:
../../hycomp -pre cpp -source param.cmd fischer_timed_sv_2.hydi


NOTE:
The scripts run parameter synthesis for the first property (-n 0) and the parameters "delta_guard" and "delta_invar".
- To change property, use the options -n, -N or -P (type "hycomp_synth_param -h" on the hycomp shell to get a description of the parameters)
- To change the list of parameters, supply the name of the parameter using the option -a <param_name>
- The command can print the synthetized region on a file with -o <file_name>


References:
Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta: Parameter Synthesis with IC3. FMCAD 2013

