camlspotter / HybridLearner

HybridLearner: A tool to learn Hybrid Systems for Cyber Physical Systems
GNU General Public License v3.0
0 stars 0 forks source link

HybridLearner uses `--lmm-step-size5 --constant-value` options for `run.py` but they are not recoginized. #6

Open camlspotter opened 1 month ago

camlspotter commented 1 month ago
$ ./run_main_HybridLearner.sh 
usage: run.py [-h] -i INPUT_FILENAME [-o OUTPUT_FILENAME] [-c {1,2,3}] [-d ODE_DEGREE] [-m MODES] [-b GUARD_DEGREE]
              [--segmentation-error-tol SEGMENTATION_ERROR_TOL]
              [--segmentation-fine-error-tol SEGMENTATION_FINE_ERROR_TOL] [--threshold-distance THRESHOLD_DISTANCE]
              [--threshold-correlation THRESHOLD_CORRELATION] [--dbscan-eps-dist DBSCAN_EPS_DIST]
              [--dbscan-min-samples DBSCAN_MIN_SAMPLES] --size-input-variable SIZE_INPUT_VARIABLE
              --size-output-variable SIZE_OUTPUT_VARIABLE [--variable-types VARIABLE_TYPES] [--pool-values POOL_VALUES]
              [--ode-speedup ODE_SPEEDUP] [--is-invariant {0,1,2}] [--stepsize STEPSIZE] [--filter-last-segment {0,1}]
run.py: error: unrecognized arguments: --lmm-step-size 5 --constant-value
cp: cannot stat '../src/learnHA/oscillator_64.txt': No such file or directory
cp: cannot stat '/home/jun/hal/HybridLearner/src/learnHA/oscillator_64.txt': No such file or directory
terminate called after throwing an instance of 'std::exception*'
./run_results_main_learn_models.sh: line 19: 2419798 Aborted                 (core dumped) ./HybridLearner --simulink-mod\
el-file ../src/test_cases/engine/learn_ha_loop/oscillator.slx --engine learn-ha-loop --variable-category 'x:output, y:out\
put' --output-file oscillator_64.txt --simu-init-size 64 --initial-value 'x>=0.01 & x<=0.09 & y>=0.01 & y<=0.09' --time-h\
orizon 10 --sampling-time 0.01 --modes 4 --degree 1 --boundary-degree 1 --segment-relative-error 0.1 --segment-relative-f\
ine-error 0.01 --precision-equivalence 100.0 --max-traces 3 --max-stoptime 20 --invariant 2 --cluster-algo dtw --correlat\
ion-threshold 0.89 --distance-threshold 1.0 --max-generate-trace-size 1024 --ode-speedup 50 --filter-last-segment 1 --sol\
ver-type fixed --ode-solver FixedStepAuto > ../results/outputOsci_withoutType.txt
camlspotter commented 1 month ago

Old commits of learnHA contains strings --lmm-step-size:

$ git grep lmm-step-size $(git rev-list --all)
c3edcf31abc6837c01816aeda08c63225ee91b98:utils/commandline_parser.py:    parser.add_argument('--lmm-step-size',
c3edcf31abc6837c01816aeda08c63225ee91b98:utils/commandline_parser.py:    print("lmm-step-size =", args['lmm_step_size'])
7dd8caea9c01a3c590c086e8774deb270abcb005:utils/commandline_parser.py:    parser.add_argument('--lmm-step-size',
7dd8caea9c01a3c590c086e8774deb270abcb005:utils/commandline_parser.py:    print("lmm-step-size =", args['lmm_step_size'])
d2c181311f80f1d562ce0d472b39e06846d9356b:utils/commandline_parser.py:    parser.add_argument('--lmm-step-size',
d2c181311f80f1d562ce0d472b39e06846d9356b:utils/commandline_parser.py:    print("lmm-step-size =", args['lmm_step_size'])
eeea280130c391bf74ea4b9fcc31fe370a661a97:utils/commandline_parser.py:    parser.add_argument('--lmm-step-size',
eeea280130c391bf74ea4b9fcc31fe370a661a97:utils/commandline_parser.py:    print("lmm-step-size =", args['lmm_step_size'])
a967827fadd211abbe59981964c8c3dfb873e0e0:utils/commandline_parser.py:    parser.add_argument('--lmm-step-size',
a967827fadd211abbe59981964c8c3dfb873e0e0:utils/commandline_parser.py:    print("lmm-step-size =", args['lmm_step_size'])
11f1c75625a6d5c058302d66aaa816b4d7558946:utils/commandline_parser.py:    parser.add_argument('--lmm-step-size',
11f1c75625a6d5c058302d66aaa816b4d7558946:utils/commandline_parser.py:    print("lmm-step-size =", args['lmm_step_size'])
camlspotter commented 1 month ago

The submodule commit of learnHA is NOT the latest:

$ git submodule status
 a98e2f3343e85da5a5ae0f530bc837a8ccfb4cfb src/learnHA (a98e2f3)

a98e2f3343 lacks the option --lmm-step-size. On the other hand, the latest main, c3edcf31abc6837c01816aeda08c63225ee91b98, has it: