Skip to content

Commit

Permalink
fix typo 'homogenization'
Browse files Browse the repository at this point in the history
  • Loading branch information
schillic committed Jan 10, 2025
1 parent 112ea82 commit 480c2e8
Show file tree
Hide file tree
Showing 4 changed files with 7 additions and 7 deletions.
2 changes: 1 addition & 1 deletion docs/src/lib/systems.md
Original file line number Diff line number Diff line change
Expand Up @@ -24,7 +24,7 @@ normalize(::InitialValueProblem)
ReachabilityAnalysis.add_dimension
```

## Homogeneization
## Homogenization

```@docs
homogenize
Expand Down
2 changes: 1 addition & 1 deletion docs/src/man/systems.md
Original file line number Diff line number Diff line change
Expand Up @@ -74,7 +74,7 @@ in `MathematicalSystems.jl` for additional details in second order ODEs types.

## Normalization

## Homogeneization
## Homogenization

## Nonlinear systems

Expand Down
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
# ====================================================
# Homogeneization of linear systems
# Homogenization of linear systems
# ====================================================

# no-op
Expand All @@ -9,7 +9,7 @@ homogenize(sys::LCS{N,MT}) where {N,MT<:AbstractMatrix{N}} = sys
"""
homogenize(ivp::IVP{CLCCS{N,MT,IdentityMultiple{N},XT,ConstantInput{SI}},ST}) where {N, MT<:AbstractMatrix{N}, XT<:LazySet{N}, SI<:Singleton{N}, ST<:LazySet{N}}
Transform an inhomogeneous linear initial-value problem into an homogeneous one
Transform an inhomogeneous linear initial-value problem into a homogeneous one
by introducing auxiliary state variables.
### Input
Expand All @@ -23,7 +23,7 @@ Homogeneous initial-value problem.
### Notes
This function transforms the canonical initial-value problem ``x' = Ax + u``,
``x ∈ X`` with ``u(0) ∈ U = {u}`` (a singleton) into an homogeneous problem
``x ∈ X`` with ``u(0) ∈ U = {u}`` (a singleton) into a homogeneous problem
without inputs ``y' = Â * y``, ``y ∈ Y``.
"""
function homogenize(ivp::IVP{CLCCS{N,MT,IdentityMultiple{N},XT,ConstantInput{SI}},ST}) where {N,
Expand All @@ -49,7 +49,7 @@ end
"""
homogenize(sys::SOACS)
Transform an inhomogeneous second order system into an homogeneous one
Transform an inhomogeneous second order system into a homogeneous one
by introducing auxiliary state variables.
### Input
Expand Down
2 changes: 1 addition & 1 deletion src/ReachabilityAnalysis.jl
Original file line number Diff line number Diff line change
Expand Up @@ -27,7 +27,7 @@ include("Flowpipes/solutions.jl")
# ===========================================================
include("Continuous/fields.jl")
include("Continuous/normalization.jl")
include("Continuous/homogeneization.jl")
include("Continuous/homogenization.jl")
include("Continuous/linearization.jl")

# ===========================================================
Expand Down

0 comments on commit 480c2e8

Please sign in to comment.