Skip to content

Commit

Permalink
typos
Browse files Browse the repository at this point in the history
  • Loading branch information
schillic committed Sep 19, 2019
1 parent c113b47 commit a38e72e
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions src/ReachSets/ContinuousPost/BFFPSV18/BFFPSV18.jl
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit a38e72e

Please sign in to comment.