Logic based modeling and optimization of discrete continuous dynamic systemsJan OldenburgÉpuisé4,3Prévenez-moi