Formal Analysis and Verification of Max-Plus Linear Systems.

Muhammad Syifa'ul Mufid Andrea Micheli Alessandro Abate Alessandro Cimatti

Published in: CoRR (2023)

Keyphrases

formal analysis
linear systems
sufficient conditions
formal methods
dynamical systems
linear equations
coefficient matrix
sparse linear systems
agent model
pid controller
artificial neural networks
state space
fuzzy sets
interior point methods
ban logic