Alessandro Cimatti

New methods enhance understanding of Max-Plus Linear systems in various applications.

This paper examines invariant checking in systems with infinite states using two algorithms.

A look into monitoring techniques for reliable real-time system performance.