Computation of the Transient in Max-Plus Linear Systems via SMT-Solving.

Alessandro Abate Alessandro Cimatti Andrea Micheli Muhammad Syifa'ul Mufid

Published in: CoRR (2020)

Keyphrases

linear systems
sparse linear systems
sufficient conditions
dynamical systems
linear equations
coefficient matrix
real time
neural network
steady state
data fusion
interior point methods
preconditioned conjugate gradient method