Abstract FR:

Cette thèse présente une étude de faisabilité de la validation, par simulation de l'ensemble (processus, commande), du cahier des charges du système de commande d'un processus dynamique hybride, après sa formalisation. Elle détaille le problème de la précision de détection des événements, propose une solution et donne les résultats obtenus