From e4a52635d0f252764525e2bf268d9dcdc4a4ab62 Mon Sep 17 00:00:00 2001 From: Marcelo Forets Date: Fri, 24 Nov 2023 14:14:54 +0000 Subject: [PATCH 1/3] Update discrete_time.md --- docs/src/tutorials/linear_methods/discrete_time.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/src/tutorials/linear_methods/discrete_time.md b/docs/src/tutorials/linear_methods/discrete_time.md index 1df979f64c..d5bfeaa108 100644 --- a/docs/src/tutorials/linear_methods/discrete_time.md +++ b/docs/src/tutorials/linear_methods/discrete_time.md @@ -24,8 +24,8 @@ The matrix $M(\theta)$ rotates points in the xy-plane clockwise through an angle To gain some intuition let's build the matrix and apply it to some points. ```@example discrete_propagation -using ReachabilityAnalysis # hide -using ReachabilityAnalysis: center # hide +using ReachabilityAnalysis +using ReachabilityAnalysis: center import Plots: plot, plot!, xlims!, ylims! # hide From 4d8a2873ce956fcaaf733a3d9313300a0375f252 Mon Sep 17 00:00:00 2001 From: Marcelo Forets Date: Fri, 24 Nov 2023 14:15:30 +0000 Subject: [PATCH 2/3] Update dense_time.md --- docs/src/tutorials/linear_methods/dense_time.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/src/tutorials/linear_methods/dense_time.md b/docs/src/tutorials/linear_methods/dense_time.md index a8997f3269..ca08162f60 100644 --- a/docs/src/tutorials/linear_methods/dense_time.md +++ b/docs/src/tutorials/linear_methods/dense_time.md @@ -36,8 +36,8 @@ Define the invariant $G: \{(x, y) \in \mathbb{R}^2: x ≥ 1.3 \}$. ```@example dense_propagation -using ReachabilityAnalysis # hide -using ReachabilityAnalysis: center # hide +using ReachabilityAnalysis +using ReachabilityAnalysis: center import Plots: plot, plot!, xlims!, ylims! # hide From c4f1a94d8441c0acbebf88c324bdb075d44ca62a Mon Sep 17 00:00:00 2001 From: schillic Date: Fri, 24 Nov 2023 16:13:48 +0100 Subject: [PATCH 3/3] show Plots commands --- docs/src/tutorials/linear_methods/dense_time.md | 3 +-- docs/src/tutorials/linear_methods/discrete_time.md | 6 ++---- 2 files changed, 3 insertions(+), 6 deletions(-) diff --git a/docs/src/tutorials/linear_methods/dense_time.md b/docs/src/tutorials/linear_methods/dense_time.md index ca08162f60..06972c8b47 100644 --- a/docs/src/tutorials/linear_methods/dense_time.md +++ b/docs/src/tutorials/linear_methods/dense_time.md @@ -36,10 +36,9 @@ Define the invariant $G: \{(x, y) \in \mathbb{R}^2: x ≥ 1.3 \}$. ```@example dense_propagation -using ReachabilityAnalysis +using ReachabilityAnalysis, Plots using ReachabilityAnalysis: center -import Plots: plot, plot!, xlims!, ylims! # hide import Random # hide Random.seed!(1117) # hide diff --git a/docs/src/tutorials/linear_methods/discrete_time.md b/docs/src/tutorials/linear_methods/discrete_time.md index d5bfeaa108..f410cc5e10 100644 --- a/docs/src/tutorials/linear_methods/discrete_time.md +++ b/docs/src/tutorials/linear_methods/discrete_time.md @@ -21,14 +21,12 @@ The matrix $M(\theta)$ rotates points in the xy-plane clockwise through an angle ### Propagating point clouds -To gain some intuition let's build the matrix and apply it to some points. +To gain some intuition, let's build the matrix and apply it to some points. ```@example discrete_propagation -using ReachabilityAnalysis +using ReachabilityAnalysis, Plots using ReachabilityAnalysis: center -import Plots: plot, plot!, xlims!, ylims! # hide - # initial set X0 = BallInf(ones(2), 0.2)