Modéliser un système dynamique avec contraintes