From a38e72e4f17ec8ecd11b04c755049b375f311ef2 Mon Sep 17 00:00:00 2001 From: schillic Date: Thu, 19 Sep 2019 16:50:33 +0200 Subject: [PATCH] typos --- src/ReachSets/ContinuousPost/BFFPSV18/BFFPSV18.jl | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/ReachSets/ContinuousPost/BFFPSV18/BFFPSV18.jl b/src/ReachSets/ContinuousPost/BFFPSV18/BFFPSV18.jl index 92d584a6..424893db 100644 --- a/src/ReachSets/ContinuousPost/BFFPSV18/BFFPSV18.jl +++ b/src/ReachSets/ContinuousPost/BFFPSV18/BFFPSV18.jl @@ -275,14 +275,14 @@ since one can choose different partitions and different set representations. These notes illustrate the options that can be passed to the solver. We begin by explaining the default options used by the algorithm. Then we show how to -specify the computation of a subset of the reachpipe, which helps to improve +specify the computation of a subset of the flowpipe, which helps to improve performance, specially for large systems. -We continue to show some lower-level options such has how to specify a custom +We continue to show some lower-level options such as how to specify a custom block decomposition (the set types used and the sizes of the blocks). We conclude showing that there are two different *modes* of operation: -reachpipe computation and safety property checking, and examples of use. +flowpipe computation and safety property checking, and examples of use. #### Running example and default options