文件名称:checkmate
下载
别用迅雷、360浏览器下载。
如迅雷强制弹出，可右键点击选“另存为”。
失败请重下，重下不扣分。
如迅雷强制弹出，可右键点击选“另存为”。
失败请重下，重下不扣分。
介绍说明－－下载内容均来自于网络，请自行研究使用
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