压缩包 : 101259358checkmate.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/checkER.m
ACTL/@region/checkEU.m
ACTL/@region/checkEX.m
ACTL/@region/display.m
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/build_ap.m
ACTL/compile_ap.m
ACTL/evaluate.m
ACTL/identerm.m
ACTL/init_states.m
ACTL/match_paren.m
ACTL/model_check.m
ACTL/parse.m
approximation/
approximation/add_region.m
approximation/apply_reset.m
approximation/auto2xsys.m
approximation/bounding_linear_box.m
approximation/bounding_SD_box.m
approximation/cell_ineq.m
approximation/compare_cells.m
approximation/compute_mapping.m
approximation/compute_mapping_DHA.m
approximation/compute_mapping_DHA_VR.m
approximation/compute_mapping_no_SD.m
approximation/compute_mapping_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/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/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/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/piha/
frontend/piha/piha.m
frontend/piha/piha_structure.txt
frontend/scsb_mask_handler.m
frontend/scsb_sfun.c
frontend/scsb_sfun.dll
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.c
polylib/@linearcon/private/cddmex.dll
polylib/@linearcon/private/cddmex.m
polylib/@linearcon/private/intersect.m
polylib/@linearcon/private/subseteq.m
polylib/@linearcon/project.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/average.m
polylib/@vertices/dim.m
polylib/@vertices/display.m
polylib/@vertices/find_index.m
polylib/@vertices/horzcat.m
polylib/@vertices/isempty.m
polylib/@vertices/length.m
polylib/@vertices/minus.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/poly_param.m
readme.txt
tools/
tools/Cells2linearcon.m
tools/check_crossing1.m
tools/clk_flow.m
tools/ColorCells.m
tools/compvec.m
tools/count_st.m
tools/draw.m
tools/explore_svm.m
tools/findstate.m
tools/last.m
tools/newdata.m
tools/php.m
tools/php2.m
tools/plotcells.m
tools/PlotColorLoc.m
tools/plotmap.m
tools/plotpipe.m
tools/plotpoly.m
tools/PlotRegion.m
tools/plot_hyp.m
tools/plot_simula.m
tools/plot_traj.m
tools/print_ga.m
tools/rst_ga.m
tools/spl_sim.m
tools/states_sd.m
tools/states_sd2.m
tools/teste_map.m
tools/test_checkmate.m
tools/tt.m
tools/verify_svm.m