changed folder name to reduce reusing fixed_points name

AutoVerse-ai · Jun 27, 2024 · 2c10b87 · 2c10b87
1 parent 3626fff
commit 2c10b87
Show file tree

Hide file tree

Showing 24 changed files with 6 additions and 10 deletions.
diff --git a/demo/fixed_points/__init__.py → demo/fp_demos/__init__.py b/demo/fixed_points/__init__.py → demo/fp_demos/__init__.py
diff --git a/demo/fixed_points/ball_controller.py → demo/fp_demos/ball_controller.py b/demo/fixed_points/ball_controller.py → demo/fp_demos/ball_controller.py
diff --git a/demo/fixed_points/ball_scenario_branch.py → demo/fp_demos/ball_scenario_branch.py b/demo/fixed_points/ball_scenario_branch.py → demo/fp_demos/ball_scenario_branch.py
diff --git a/demo/fixed_points/ball_scenario_branch_nt.py → demo/fp_demos/ball_scenario_branch_nt.py b/demo/fixed_points/ball_scenario_branch_nt.py → demo/fp_demos/ball_scenario_branch_nt.py
diff --git a/demo/fixed_points/ball_scenario_copy.py → demo/fp_demos/ball_scenario_copy.py b/demo/fixed_points/ball_scenario_copy.py → demo/fp_demos/ball_scenario_copy.py
diff --git a/demo/fixed_points/bouncing_ball.py → demo/fp_demos/bouncing_ball.py b/demo/fixed_points/bouncing_ball.py → demo/fp_demos/bouncing_ball.py
diff --git a/demo/fixed_points/bouncing_ball_scenario.py → demo/fp_demos/bouncing_ball_scenario.py b/demo/fixed_points/bouncing_ball_scenario.py → demo/fp_demos/bouncing_ball_scenario.py
diff --git a/demo/fixed_points/brusselator.py → demo/fp_demos/brusselator.py b/demo/fixed_points/brusselator.py → demo/fp_demos/brusselator.py
diff --git a/demo/fixed_points/buckling_col.py → demo/fp_demos/buckling_col.py b/demo/fixed_points/buckling_col.py → demo/fp_demos/buckling_col.py
diff --git a/demo/fixed_points/cardiac_cell_agent.py → demo/fp_demos/cardiac_cell_agent.py b/demo/fixed_points/cardiac_cell_agent.py → demo/fp_demos/cardiac_cell_agent.py
diff --git a/demo/fixed_points/cardiac_cell_controller.py → demo/fp_demos/cardiac_cell_controller.py b/demo/fixed_points/cardiac_cell_controller.py → demo/fp_demos/cardiac_cell_controller.py
diff --git a/demo/fixed_points/cardiac_cell_demo.py → demo/fp_demos/cardiac_cell_demo.py b/demo/fixed_points/cardiac_cell_demo.py → demo/fp_demos/cardiac_cell_demo.py
@@ -32,14 +32,14 @@
         'cell', init_cell,(CellMode.On,)
     )
 
-    trace = scenario.verify(10, 0.01)
-    sim = scenario.simulate(10, 0.01)
-    pp_fix(reach_at_fix(trace, 0, 10))
-    print(f'Fixed points exists? {fixed_points_fix(trace, 15, 0.01)}')
+    trace = scenario.verify(30, 0.01)
+    # sim = scenario.simulate(10, 0.01)
+    # pp_fix(reach_at_fix(trace, 0, 10))
+    print(f'Fixed points exists? {fixed_points_fix(trace, 30, 0.01)}')
 
     fig = go.Figure()
     fig = reachtube_tree(trace, None, fig, 0, 1, [0, 1], "fill", "trace")
-    fig = reachtube_tree(trace, None, fig, 0, 1, [0, 1], "fill", "trace")
+    # fig = reachtube_tree(trace, None, fig, 0, 1, [0, 1], "fill", "trace")
 
     # fig = simulation_tree(trace, None, fig, 1, 2, [1, 2], "fill", "trace")
     fig.show()
diff --git a/demo/fixed_points/helicopter.py → demo/fp_demos/helicopter.py b/demo/fixed_points/helicopter.py → demo/fp_demos/helicopter.py
diff --git a/demo/fixed_points/jet_engine.py → demo/fp_demos/jet_engine.py b/demo/fixed_points/jet_engine.py → demo/fp_demos/jet_engine.py
diff --git a/demo/fixed_points/lin_thermo.py → demo/fp_demos/lin_thermo.py b/demo/fixed_points/lin_thermo.py → demo/fp_demos/lin_thermo.py
diff --git a/demo/fixed_points/mp4_p2.py → demo/fp_demos/mp4_p2.py b/demo/fixed_points/mp4_p2.py → demo/fp_demos/mp4_p2.py
diff --git a/demo/fixed_points/nav_sys.py → demo/fp_demos/nav_sys.py b/demo/fixed_points/nav_sys.py → demo/fp_demos/nav_sys.py
diff --git a/demo/fixed_points/power_train.py → demo/fp_demos/power_train.py b/demo/fixed_points/power_train.py → demo/fp_demos/power_train.py
diff --git a/demo/fixed_points/reachtube_copy.py → demo/fp_demos/reachtube_copy.py b/demo/fixed_points/reachtube_copy.py → demo/fp_demos/reachtube_copy.py
diff --git a/demo/fixed_points/robot.py → demo/fp_demos/robot.py b/demo/fixed_points/robot.py → demo/fp_demos/robot.py
diff --git a/demo/fixed_points/total_motion.py → demo/fp_demos/total_motion.py b/demo/fixed_points/total_motion.py → demo/fp_demos/total_motion.py
diff --git a/demo/fixed_points/traffic_controller.py → demo/fp_demos/traffic_controller.py b/demo/fixed_points/traffic_controller.py → demo/fp_demos/traffic_controller.py
diff --git a/demo/fixed_points/traffic_signal_scenario.py → demo/fp_demos/traffic_signal_scenario.py b/demo/fixed_points/traffic_signal_scenario.py → demo/fp_demos/traffic_signal_scenario.py
@@ -122,11 +122,7 @@
     fig = reachtube_tree_slice(trace, None, fig, 1, 2, [1, 2], "fill", "trace", plot_color=colors[1:])
     fig = simulation_tree(sim, None, fig, 1, 2, [1, 2], "fill", "trace", plot_color=colors[2:])
     fig.show()
-    # print(f'Do there exist fixed points? {fixed_points(ball_scenario, "red-ball", t=80)}')
-    # print(f'Do there exist fixed points? {fixed_points_aa_branching(ball_scenario, t=80)}')
-    # print(f'Do there exist fixed points? {fixed_points_aa_branching(ball_scenario_branch, t=80)}')
-    # print(f'Do there exist fixed points? {fixed_points_aa_branching_composed(ball_scenario_branch, t=80)}')
-    # print(f'Do there exist fixed points? {fixed_points_aa_branching(ball_scenario_branch_nt, t=40)}')
+
     ###
     # -----------------------------------------
 

diff --git a/demo/fixed_points/vehicle_controller.py → demo/fp_demos/vehicle_controller.py b/demo/fixed_points/vehicle_controller.py → demo/fp_demos/vehicle_controller.py