Alors que les systèmes informatiques et industriels deviennent de plus en plus complexes, assurer leur bon fonctionnement devient elle aussi une tâche de plus en plus hardue. Dans cette étude, des techniques basées sur le contrôle automatique de systèmes sont considérées, de façon à assurer le bon comportement de systèmes...