文件名称:checkmate

  • 所属分类:
  • 压缩解压
  • 资源属性:
  • [Matlab] [源码]
  • 上传时间:
  • 2008-10-13
  • 文件大小:
  • 1.14mb
  • 下载次数:
  • 0次
  • 提 供 者:
  • 孙***
  • 相关连接:
  • 下载说明:
  • 别用迅雷下载,失败请重下,重下不扣分!

介绍说明--下载内容均来自于网络,请自行研究使用

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.
(系统自动生成,下载前可以参看下载内容)

下载文件列表

压缩包 : 15883842checkmate.zip 列表
ACTL/
ACTL/@region/
ACTL/@region/and.m
ACTL/@region/checkAF.m
ACTL/@region/checkAG.m
ACTL/@region/checkAR.m
ACTL/@region/checkAU.m
ACTL/@region/checkAX.m
ACTL/@region/checkEF.m
ACTL/@region/checkEG.m
ACTL/@region/checkEG.m~
ACTL/@region/checkER.m
ACTL/@region/checkEU.m
ACTL/@region/checkEX.m
ACTL/@region/display.m
ACTL/@region/findSCCf.asv
ACTL/@region/findSCCf.m
ACTL/@region/get_region_param.m
ACTL/@region/isempty.m
ACTL/@region/isinregion.m
ACTL/@region/isuniverse.m
ACTL/@region/not.m
ACTL/@region/or.m
ACTL/@region/reach.m
ACTL/@region/region.m
ACTL/@region/set_state.m
ACTL/apply_production.m
ACTL/build_ap.m
ACTL/build_fsm_ap.m
ACTL/build_poly_ap.m
ACTL/compile_ap.m
ACTL/Contents.m
ACTL/create_production.m
ACTL/evaluate.m
ACTL/eval_strong_negate.m
ACTL/find_key_symbol.m
ACTL/identerm.m
ACTL/init_states.m
ACTL/match_paren.m
ACTL/match_production.m
ACTL/model_check.m
ACTL/parse.m
ACTL/print_nodes.m
ACTL/revtran.m
ACTL/visit.m
approximation/
approximation/add_region.m
approximation/apply_reset.m
approximation/auto2xsys.m
approximation/cell_ineq.m
approximation/compare_cells.m
approximation/compute_mapping.m
approximation/compute_mapping_no_SD.m
approximation/document.m
approximation/find_children.m
approximation/find_location.m
approximation/flowpipe/
approximation/flowpipe/clock/
approximation/flowpipe/clock/clk_map.m
approximation/flowpipe/clock/clk_rch.m
approximation/flowpipe/dha/
approximation/flowpipe/dha/one_step_of_controller.m
approximation/flowpipe/dha/overall_system_ode_for_DHA.m
approximation/flowpipe/dha/seg_approx_DHA_ode.m
approximation/flowpipe/dha/seg_approx_VRClock.m
approximation/flowpipe/dha/stretch_func_ode_for_DHA.m
approximation/flowpipe/linear/
approximation/flowpipe/linear/affine.m
approximation/flowpipe/linear/fs_lin_map.m
approximation/flowpipe/linear/fs_lin_map.m~
approximation/flowpipe/linear/psim_lin.m
approximation/flowpipe/linear/seg_approx_lin.m
approximation/flowpipe/linear/step_response.m
approximation/flowpipe/linear/stretch_func_lin.m
approximation/flowpipe/nonlinear/
approximation/flowpipe/nonlinear/fs_nonlin_map.m
approximation/flowpipe/nonlinear/hyperrectangle.m
approximation/flowpipe/nonlinear/psim_ode.m
approximation/flowpipe/nonlinear/seg_approx_ode.m
approximation/flowpipe/nonlinear/seg_approx_SD_ode.m
approximation/flowpipe/nonlinear/stretch_const_fmincon.m
approximation/flowpipe/nonlinear/stretch_func_fmincon.m
approximation/flowpipe/nonlinear/stretch_func_ode.m
approximation/flow_reach.m
approximation/get_auto_state.m
approximation/get_cell_face.m
approximation/global_var.m
approximation/grow_polytope.m
approximation/grow_polytope_for_iautobuild.m
approximation/grow_polytope_for_iautopart.m
approximation/iauto_build.m
approximation/iauto_part.m
approximation/ineq2cell.m
approximation/isequivalent.m
approximation/isneighbor.m
approximation/load_parameters.m
approximation/make_decision.m
approximation/param.m
approximation/parameters.m
approximation/partition/
approximation/partition/clock_partition.m
approximation/partition/linear_partition.m
approximation/partition/nonlinear_partition.m
approximation/rauto_ischild.m
approximation/rauto_mapping.m
approximation/rauto_tran.m
approximation/refine_auto.m
approximation/remove_unreachables.m
approximation/return_cell_invariant.m
approximation/return_invariant.m
approximation/return_parameter_cons.m
approximation/set_auto_state.m
approximation/simulate_points.m
approximation/stretch_func_ode_equal.m
approximation/update.txt
approximation/util/
approximation/util/append_array.m
approximation/util/check_overall_dynamics.m
approximation/util/get_fsm_state.m
approximation/util/inc_auto_idx.m
approximation/util/inc_new_auto_idx.m
approximation/util/is_valid_auto_idx.m
approximation/util/is_valid_new_auto_idx.m
approximation/util/location_invariant.m
approximation/util/overall_system_clock.m
approximation/util/overall_system_matrix.m
approximation/util/overall_system_ode.m
approximation/util/overall_system_reset.m
approximation/util/plot_location_part.m
approximation/util/plot_mapping.m
approximation/util/revtran.m
approximation/util/split_polytope.m
approximation/util/total_auto_states.m
approximation/util/total_new_auto_states.m
approximation/verify.m
disclaim.txt
exploration/
exploration/build_trace_ap.m
exploration/compile_sys_info.m
exploration/explore.m
exploration/extract_trace.m
frontend/
frontend/AboutCheckMate.m
frontend/align_figure.m
frontend/clock1.jpg
frontend/cmexplore.jpg
frontend/cmhelp.m
frontend/cmlib.mdl
frontend/cmnew.m
frontend/cm_about_gui.fig
frontend/gettingstarted.txt
frontend/gui/
frontend/gui/camera_callback.m
frontend/gui/camera_control.m
frontend/gui/cmbrowse.m
frontend/gui/sf_tool.m
frontend/gui/sf_tool_callback.m
frontend/icon/
frontend/icon/poly_icon.m
frontend/icon/scsb_icon.m
frontend/icon/scsb_icon_gen.m
frontend/icon/vzoh_icon.m
frontend/partition_ss.m
frontend/partition_ss.m~
frontend/piha/
frontend/piha/clean_transition.m
frontend/piha/clean_up_boundary.m
frontend/piha/create_guard.m
frontend/piha/create_hyperplanes.m
frontend/piha/create_locations.m
frontend/piha/find_chart_id.m
frontend/piha/find_cond_expr.m
frontend/piha/find_initial_cells.m
frontend/piha/find_initial_conditions.m
frontend/piha/get_analysis_region.m
frontend/piha/get_initial_continuous_set.m
frontend/piha/get_labeled_state.m
frontend/piha/get_machine_id.m
frontend/piha/get_state_number.m
frontend/piha/intersect_complements.m
frontend/piha/is_repeat.m
frontend/piha/is_terminal_state.m
frontend/piha/move_initial_location.m
frontend/piha/piha.m
frontend/piha/piha.m~
frontend/piha/piha_structure.txt
frontend/piha/process_label_string.m
frontend/piha/process_sf_data.m
frontend/piha/test.m~
frontend/scsb_mask_handler.m
frontend/scsb_sfun.c
frontend/scsb_sfun.c~
frontend/scsb_sfun.dll
frontend/scsb_sfun.mexa64
frontend/scsb_wrapper.m
frontend/slblocks.m
frontend/slutil/
frontend/slutil/augment_poly_constraints.m
frontend/slutil/block_logic.m
frontend/slutil/check_model_syntax.m
frontend/slutil/copy_model.m
frontend/slutil/find_dst_port.m
frontend/slutil/find_line_dst.m
frontend/slutil/find_masked_blocks.m
frontend/slutil/find_src_port.m
frontend/slutil/get_root_system.m
frontend/slutil/matrix2evalstr.m
frontend/slutil/number_sf_chart.m
frontend/slutil/sf_input_expression.m
frontend/slutil/str2cell.m
frontend/slutil/trace_mux_network.m
frontend/slutil/trace_pthb_input.m
frontend/slutil/trace_scsb_input.m
frontend/template.mdl
install instructions.txt
install.m
polylib/
polylib/@linearcon/
polylib/@linearcon/and.m
polylib/@linearcon/clean_up.m
polylib/@linearcon/dim.m
polylib/@linearcon/display.m
polylib/@linearcon/feasible_point.m
polylib/@linearcon/get_linearcon_param.m
polylib/@linearcon/isempty.m
polylib/@linearcon/isfeasible.m
polylib/@linearcon/issubset.m
polylib/@linearcon/linearcon.m
polylib/@linearcon/linearcon_data.m
polylib/@linearcon/minus.m
polylib/@linearcon/number_of_faces.m
polylib/@linearcon/plot.m
polylib/@linearcon/poly_face.m
polylib/@linearcon/private/
polylib/@linearcon/private/cddmex.m
polylib/@linearcon/private/cddmex.mexa64
polylib/@linearcon/private/cddmex.mexw32
polylib/@linearcon/private/feasible.m
polylib/@linearcon/private/intersect.m
polylib/@linearcon/private/intersect2.m
polylib/@linearcon/private/intersect_old.m
polylib/@linearcon/private/remove_implicit_linear.m
polylib/@linearcon/private/subseteq.m
polylib/@linearcon/project.m
polylib/@linearcon/remove_repeat_hyp.m
polylib/@linearcon/transform.m
polylib/@linearcon/vertices.m
polylib/@linearcon/volume.m
polylib/@polyhedron/
polylib/@polyhedron/dim.m
polylib/@polyhedron/display.m
polylib/@polyhedron/get_param.m
polylib/@polyhedron/isempty.m
polylib/@polyhedron/linearcon.m
polylib/@polyhedron/plot.m
polylib/@polyhedron/plus.m
polylib/@polyhedron/polyhedron.m
polylib/@polyhedron/private/
polylib/@polyhedron/private/con2poly.m
polylib/@polyhedron/private/convex_hull.m
polylib/@polyhedron/private/rect_hull.m
polylib/@polyhedron/transform.m
polylib/@polyhedron/vertices.m
polylib/@polyhedron/volume.m
polylib/@vertices/
polylib/@vertices/and.m
polylib/@vertices/and.m~
polylib/@vertices/average.m
polylib/@vertices/dim.m
polylib/@vertices/display.m
polylib/@vertices/find_index.m
polylib/@vertices/find_index.m~
polylib/@vertices/horzcat.m
polylib/@vertices/isempty.m
polylib/@vertices/isempty.m~
polylib/@vertices/length.m
polylib/@vertices/minus.m
polylib/@vertices/or.m
polylib/@vertices/or.m~
polylib/@vertices/plus.m
polylib/@vertices/subsref.m
polylib/@vertices/transform.m
polylib/@vertices/uminus.m
polylib/@vertices/unique.m
polylib/@vertices/vertices.m
polylib/@vertices/vertices.m~
polylib/src/
polylib/src/cdd.h
polylib/src/cddcore.c
polylib/src/cddio.c
polylib/src/cddlib.c
polylib/src/cddlp.c
polylib/src/cddlp.c~
polylib/src/cddmex.c
polylib/src/cddmex.ilk
polylib/src/cddmex.mexa64
polylib/src/cddmex.mexw32
polylib/src/cddmex.mexw32.pdb
polylib/src/cddmp.c
polylib/src/cddmp.h
polylib/src/cddproj.c
polylib/src/cddtypes.h
polylib/src/compilecdd.m
polylib/src/compilecdd.m~
polylib/src/setoper.c
polylib/src/setoper.h
polylib/src/TAGS
readme.txt
runtest.m

相关说明

  • 本站资源为会员上传分享交流与学习,如有侵犯您的权益,请联系我们删除.
  • 本站是交换下载平台,提供交流渠道,下载内容来自于网络,除下载问题外,其它问题请自行百度更多...
  • 请直接用浏览器下载本站内容,不要使用迅雷之类的下载软件,用WinRAR最新版进行解压.
  • 如果您发现内容无法下载,请稍后再次尝试;或者到消费记录里找到下载记录反馈给我们.
  • 下载后发现下载的内容跟说明不相乎,请到消费记录里找到下载记录反馈给我们,经确认后退回积分.
  • 如下载前有疑问,可以通过点击"提供者"的名字,查看对方的联系方式,联系对方咨询.

相关评论

暂无评论内容.

发表评论

*主  题:
*内  容:
*验 证 码:

源码中国 www.ymcn.org