MathematicalSystems.jl
MathematicalSystems.jl copied to clipboard
JuliaReach
Systems definitions in Julia
There are combinations of systems that are not available; my favorite example is a [ConstrainedLinearControlContinuousSystem]( https://juliareach.github.io/MathematicalSystems.jl/latest/lib/types/#MathematicalSystems.ConstrainedLinearControlContinuousSystem) where the input is constrained but the state set is unconstrained. Here are three...
See https://docs.julialang.org/en/v1/devdocs/boundscheck/#Eliding-bounds-checks-1.
In #15 we implement either constant or varying input iterators. An abstraction of an infinitely periodic input could be useful, and maybe it can be implemented by combining `Base.IsInfinite()` with...
I could be a useful feature to have a `linearize` method for black-box systems which does compute the linearization at a certain point `(x,u,w)` for an arbitrary function `f(x,u,w)`. Using...
As mentioned in this comment [here]( https://github.com/JuliaReach/MathematicalSystems.jl/pull/122#issuecomment-578580717), using dispatch on the system type would increase the performance and the extendability of the `discretize` method.
https://github.com/JuliaReach/MathematicalSystems.jl/pull/122#issuecomment-570776436 The current implementation #122 of the exact discretization of an affine system does throw an error if the state matrix is singular. Here is an algorithm for this special...
See [this comment](https://github.com/JuliaReach/MathematicalSystems.jl/pull/111#pullrequestreview-330580127).
The `src/maps.jl` defines a bunch of structures that subtype `AbstractMap`. As you can see in the table below, we are missing several combinations. | Type | Constrains state | Constrains...
A possible improvement of `apply(m::AbstractMap, args...)` is wrapping the state and input in a struct instead of relying on the order of the arguments. Outsource from [this comment](https://github.com/JuliaReach/MathematicalSystems.jl/pull/57#pullrequestreview-199352264).