Control design for timed Petri nets based on LMIs and structure expansion. - Alioune Mbaye; Dimitri Lefebvre; Francesco Basile (ETFA, 2018)