文件名称:checkmate
介绍说明－－下载内容均来自于网络，请自行研究使用
CheckMate is a MATLAB-based tool for modeling, simulating and investigating properties of hybrid dynamic systems. Hybrid systems are modeled using the Simulink graphical user interface (GUI). Parameters and specifications are entered using both the Simulink GUI and user-defined m-files. CheckMate commands are entered in the MATLAB command window. -CheckMate is a MATLAB-based tool for modeling, simulating and investigating properties of hybrid dynamic systems. Hybrid systems are modeled using the Simulink graphical user interface (GUI). Parameters and specifications are entered using both the Simulink GUI and user-defined m-files . CheckMate commands are entered in the MATLAB command window.
(系统自动生成,下载前可以参看下载内容)
下载文件列表
ACTL
....\@region
....\.......\and.m
....\.......\checkAF.m
....\.......\checkAG.m
....\.......\checkAR.m
....\.......\checkAU.m
....\.......\checkAX.m
....\.......\checkEF.m
....\.......\checkEG.m
....\.......\checkEG.m~
....\.......\checkER.m
....\.......\checkEU.m
....\.......\checkEX.m
....\.......\display.m
....\.......\findSCCf.asv
....\.......\findSCCf.m
....\.......\get_region_param.m
....\.......\isempty.m
....\.......\isinregion.m
....\.......\isuniverse.m
....\.......\not.m
....\.......\or.m
....\.......\reach.m
....\.......\region.m
....\.......\set_state.m
....\apply_production.m
....\build_ap.m
....\build_fsm_ap.m
....\build_poly_ap.m
....\compile_ap.m
....\Contents.m
....\create_production.m
....\evaluate.m
....\eval_strong_negate.m
....\find_key_symbol.m
....\identerm.m
....\init_states.m
....\match_paren.m
....\match_production.m
....\model_check.m
....\parse.m
....\print_nodes.m
....\revtran.m
....\visit.m
approximation
.............\add_region.m
.............\apply_reset.m
.............\auto2xsys.m
.............\cell_ineq.m
.............\compare_cells.m
.............\compute_mapping.m
.............\compute_mapping_no_SD.m
.............\document.m
.............\find_children.m
.............\find_location.m
.............\flowpipe
.............\........\clock
.............\........\.....\clk_map.m
.............\........\.....\clk_rch.m
.............\........\dha
.............\........\...\one_step_of_controller.m
.............\........\...\overall_system_ode_for_DHA.m
.............\........\...\seg_approx_DHA_ode.m
.............\........\...\seg_approx_VRClock.m
.............\........\...\stretch_func_ode_for_DHA.m
.............\........\linear
.............\........\......\affine.m
.............\........\......\fs_lin_map.m
.............\........\......\fs_lin_map.m~
.............\........\......\psim_lin.m
.............\........\......\seg_approx_lin.m
.............\........\......\step_response.m
.............\........\......\stretch_func_lin.m
.............\........\nonlinear
.............\........\.........\fs_nonlin_map.m
.............\........\.........\hyperrectangle.m
.............\........\.........\psim_ode.m
.............\........\.........\seg_approx_ode.m
.............\........\.........\seg_approx_SD_ode.m
.............\........\.........\stretch_const_fmincon.m
.............\........\.........\stretch_func_fmincon.m
.............\........\.........\stretch_func_ode.m
.............\flow_reach.m
.............\get_auto_state.m
.............\get_cell_face.m
.............\global_var.m
.............\grow_polytope.m
.............\grow_polytope_for_iautobuild.m
.............\grow_polytope_for_iautopart.m
.............\iauto_build.m
.............\iauto_part.m
.............\ineq2cell.m
.............\isequivalent.m
.............\isneighbor.m
.............\load_parameters.m
.............\make_decision.m
.............\param.m
.............\parameters.m
.............\partition
....\@region
....\.......\and.m
....\.......\checkAF.m
....\.......\checkAG.m
....\.......\checkAR.m
....\.......\checkAU.m
....\.......\checkAX.m
....\.......\checkEF.m
....\.......\checkEG.m
....\.......\checkEG.m~
....\.......\checkER.m
....\.......\checkEU.m
....\.......\checkEX.m
....\.......\display.m
....\.......\findSCCf.asv
....\.......\findSCCf.m
....\.......\get_region_param.m
....\.......\isempty.m
....\.......\isinregion.m
....\.......\isuniverse.m
....\.......\not.m
....\.......\or.m
....\.......\reach.m
....\.......\region.m
....\.......\set_state.m
....\apply_production.m
....\build_ap.m
....\build_fsm_ap.m
....\build_poly_ap.m
....\compile_ap.m
....\Contents.m
....\create_production.m
....\evaluate.m
....\eval_strong_negate.m
....\find_key_symbol.m
....\identerm.m
....\init_states.m
....\match_paren.m
....\match_production.m
....\model_check.m
....\parse.m
....\print_nodes.m
....\revtran.m
....\visit.m
approximation
.............\add_region.m
.............\apply_reset.m
.............\auto2xsys.m
.............\cell_ineq.m
.............\compare_cells.m
.............\compute_mapping.m
.............\compute_mapping_no_SD.m
.............\document.m
.............\find_children.m
.............\find_location.m
.............\flowpipe
.............\........\clock
.............\........\.....\clk_map.m
.............\........\.....\clk_rch.m
.............\........\dha
.............\........\...\one_step_of_controller.m
.............\........\...\overall_system_ode_for_DHA.m
.............\........\...\seg_approx_DHA_ode.m
.............\........\...\seg_approx_VRClock.m
.............\........\...\stretch_func_ode_for_DHA.m
.............\........\linear
.............\........\......\affine.m
.............\........\......\fs_lin_map.m
.............\........\......\fs_lin_map.m~
.............\........\......\psim_lin.m
.............\........\......\seg_approx_lin.m
.............\........\......\step_response.m
.............\........\......\stretch_func_lin.m
.............\........\nonlinear
.............\........\.........\fs_nonlin_map.m
.............\........\.........\hyperrectangle.m
.............\........\.........\psim_ode.m
.............\........\.........\seg_approx_ode.m
.............\........\.........\seg_approx_SD_ode.m
.............\........\.........\stretch_const_fmincon.m
.............\........\.........\stretch_func_fmincon.m
.............\........\.........\stretch_func_ode.m
.............\flow_reach.m
.............\get_auto_state.m
.............\get_cell_face.m
.............\global_var.m
.............\grow_polytope.m
.............\grow_polytope_for_iautobuild.m
.............\grow_polytope_for_iautopart.m
.............\iauto_build.m
.............\iauto_part.m
.............\ineq2cell.m
.............\isequivalent.m
.............\isneighbor.m
.............\load_parameters.m
.............\make_decision.m
.............\param.m
.............\parameters.m
.............\partition