Explore l'équation de Hamilton-Jacobi en mécanique analytique, en se concentrant sur les valeurs propres, les constantes de mouvement et la prévisibilité du système.
Se penche sur la représentation symbolique des espaces d'état à l'aide de diagrammes de décision pour les réseaux Petri de haut niveau, présentant des techniques d'encodage efficaces et des résultats de référence.
Couvre le projet Turbulence, analyse des données expérimentales et étudie le chaos dans les systèmes déterministes, dans le but de simuler des scénarios de recherche réels.
