压缩包 : 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