Controllers Synthesis for Max-Plus Linear Systems under State Constraints. - Gabriel Santos Pereira; Laurent Hardouin; Bertrand Cottenceau; Carlos Andrey Maia (CDC, 2025)