Surveillance des processus contraints : approche à horizon mobile | Synapse