search

JuliaReach / Reachability.jl

Reachability and Safety of Nondeterministic Dynamical Systems
MIT License
50 stars 4 forks source link

Discretize using matrix interval remainder for scalar matrix #675

Open mforets opened 4 years ago

mforets commented 4 years ago

In https://github.com/JuliaReach/Reachability.jl/issues/516 we added discretization of a linear system using the matrix interval remainder for the case when A is an interval matrix. The same method applies if A is a scalar matrix, only minor modifications should be needed.

ref: Algorithm 1 in Reachability Analysis for Linear Systems with Uncertain Parameters and Inputs, M. Althoff, O. Stursberg, M. Buss.