Alessandro Cimatti

De nouvelles méthodes améliorent la compréhension des systèmes linéaires Max-Plus dans diverses applications.

Ce papier examine le contrôle d'invariants dans des systèmes avec des états infinis en utilisant deux algorithmes.

Un aperçu des techniques de surveillance pour un bon perf' des systèmes en temps réel.