Cette thèse est centrée sur l'optimisation de systèmes dynamiques a événements discrets sur un domaine fini. Deux approches fondamentales de l'optimisation sont considérées : le principe du minimum et la programmation dynamique. Dans chaque cas une méthode de calcul formel est développée pour l'optimisation d'une forme polynomiale sur un domaine de définition fini. Le résultat de l'approche basée sur le principe du minimum est établi sons la forme d'un théorème dans lequel la condition (nécessaire) d'optimalité est définie en terme d'une inégalité variationnelle sons une forme séparable par rapport aux étapes (instants). Celle-ci est explicitement fonction de la variable de commande à linstant courant, (commande courante), de la forme paramétrée de celle-ci et de l'état du système auquel peuvent s'ajouter des paramètres exogènes impliqués dans le modèle d'évolution. La résolution de cette inégalité variationnelle paramétrique est développée selon une procédure de type Min-Max avec une minimisation par rapport aux commandes courantes et une maximisation par rapport aux autres commandes. L'algorithme correspondant est désigné par le symbole SCDO (Symbolic Computation for Discrete Optimisation). L'approche basée sur la programmation dynamique exploite le caractère paramétrique de cette méthode de décomposition. L'intégration de l'algorithme SCDO dans les deux phases de ce processus d'optimisation permet ici encore d'exprimer la séquence de commandes optimales sous une forme explicite de l'état du système et des autres paramètres exogènes. Dans ce mémoire, nous considérons également le principe de relaxation pour transformer le problème discret en un problème continu de résolution classique. Ainsi, pour une famille particulière de processus discrets linéaires par rapport à l'état et de fonction de coût concave, nous obtenons une condition de type principe du minimum, équivalente pour l'optimum relaxé et l'optimum de problème original. Dans le cas de fonctions de coût linéaires, la condition obtenue est celle du principe du minimum classique.