JuliaReach/Reachability.jl

Discretize using matrix interval remainder for scalar matrix

mforets opened this issue · 0 comments

In #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.