From 644a488f29379cad93aef72f3c7fa21d6e60f643 Mon Sep 17 00:00:00 2001 From: danielzhuang11 Date: Sat, 25 Jan 2025 00:06:32 -0600 Subject: [PATCH] update troubleshooting --- docs/source/figs/{console.png => console1.png} | Bin docs/source/figs/{rect2.png => rect.png} | Bin docs/source/figs/{vehicle1.png => vehicle.png} | Bin docs/source/troubleshooting.md | 8 ++++---- 4 files changed, 4 insertions(+), 4 deletions(-) rename docs/source/figs/{console.png => console1.png} (100%) rename docs/source/figs/{rect2.png => rect.png} (100%) rename docs/source/figs/{vehicle1.png => vehicle.png} (100%) diff --git a/docs/source/figs/console.png b/docs/source/figs/console1.png similarity index 100% rename from docs/source/figs/console.png rename to docs/source/figs/console1.png diff --git a/docs/source/figs/rect2.png b/docs/source/figs/rect.png similarity index 100% rename from docs/source/figs/rect2.png rename to docs/source/figs/rect.png diff --git a/docs/source/figs/vehicle1.png b/docs/source/figs/vehicle.png similarity index 100% rename from docs/source/figs/vehicle1.png rename to docs/source/figs/vehicle.png diff --git a/docs/source/troubleshooting.md b/docs/source/troubleshooting.md index 1584a5ce..f2f68075 100644 --- a/docs/source/troubleshooting.md +++ b/docs/source/troubleshooting.md @@ -49,7 +49,7 @@ Verse builds a tree where each node stores the trace/reachable set after each mo Whenever a transition has occured, a console message will appear. -![](figs/console.png) +![](figs/console1.png) The node number is the id of the node in order of when it was first added to the processing queue. @@ -127,7 +127,7 @@ if ego.x > 50 and ego.mode != M: ``` -![](figs/vehicle1.png) +![](figs/vehicle.png) Vehicle state is single point with negative velocity and mode M. This means it is moving to the left. The colored regions (loosely) represent the guard/transition region where a transition can happen @@ -156,7 +156,7 @@ Solution: Make guard region boundaries further apart -![](figs/rect2.png) +![](figs/rect.png) ```python @@ -167,7 +167,7 @@ if ego.x > 50 and ego.mode != M: next.mode = M ``` -OR, use verify_refine() function which will repeatedly partition the initial set into smaller and smaller chunks until all of the initial set is safe. +If you are doing 484 MP0, you may also use the verify_refine() function which will repeatedly partition the initial set into smaller and smaller chunks until all of the initial set is safe. ![](figs/refine.png)