From 3000a515c8a4ae9d42ca67735bb1252b379bfa32 Mon Sep 17 00:00:00 2001 From: Christian Schilling Date: Wed, 16 Jan 2019 17:00:13 -0300 Subject: [PATCH] Update src/Approximations/overapproximate.jl Co-Authored-By: mforets --- src/Approximations/overapproximate.jl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Approximations/overapproximate.jl b/src/Approximations/overapproximate.jl index 3e3ec4b9a8..82660a65b9 100644 --- a/src/Approximations/overapproximate.jl +++ b/src/Approximations/overapproximate.jl @@ -151,7 +151,7 @@ A hyperrectangle. This function implements the method in [Section 5.1.2, 1]. A zonotope ``Z = ⟨c, G⟩`` can be overapproximated tightly by an axis-aligned box -(i.e. an `Hyperrectangle`) such that its center is ``c`` and the radius along +(i.e. a `Hyperrectangle`) such that its center is ``c`` and the radius along dimension ``i`` is the column-sum of the absolute values of the ``i``-th row of ``G`` for ``i = 1,…, p``, where ``p`` is the number of generators of ``Z``.