ACTL

....\@region

....\.......\and.m

....\.......\checkAF.m

....\.......\checkAG.m

....\.......\checkAR.m

....\.......\checkAU.m

....\.......\checkAX.m

....\.......\checkEF.m

....\.......\checkEG.m

....\.......\checkER.m

....\.......\checkEU.m

....\.......\checkEX.m

....\.......\display.m

....\.......\findSCCf.m

....\.......\get_region_param.m

....\.......\isempty.m

....\.......\isinregion.m

....\.......\isuniverse.m

....\.......\not.m

....\.......\or.m

....\.......\reach.m

....\.......\region.m

....\.......\set_state.m

....\build_ap.m

....\compile_ap.m

....\evaluate.m

....\identerm.m

....\init_states.m

....\match_paren.m

....\model_check.m

....\parse.m

approximation

.............\add_region.m

.............\apply_reset.m

.............\auto2xsys.m

.............\bounding_linear_box.m

.............\bounding_SD_box.m

.............\cell_ineq.m

.............\compare_cells.m

.............\compute_mapping.m

.............\compute_mapping_DHA.m

.............\compute_mapping_DHA_VR.m

.............\compute_mapping_no_SD.m

.............\compute_mapping_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

.............\........\......\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

.............\parameters.m

.............\partition

.............\.........\clock_partition.m

.............\.........\linear_partition.m

.............\.........\nonlinear_partition.m

.............\rauto_ischild.m

.............\rauto_mapping.m

.............\rauto_tran.m

.............\refine_auto.m

.............\remove_unreachables.m

.............\return_cell_invariant.m

.............\return_invariant.m

.............\return_parameter_cons.m