Paul Cazenave. Synthèse de contrôleurs pour des classes de réseau de Petri à contrôlabilité et observabilité partielles: application au contrôle automatisé des trains. (Synthesis of controllers for Petri net classes with partial controllability and observability: application to automated train control). PhD thesis, École centrale de Lille, Villeneuve-d'Ascq, France, 2020. [doi]
@phdthesis{hal-15554,
title = {Synthèse de contrôleurs pour des classes de réseau de Petri à contrôlabilité et observabilité partielles: application au contrôle automatisé des trains. (Synthesis of controllers for Petri net classes with partial controllability and observability: application to automated train control)},
author = {Paul Cazenave},
year = {2020},
url = {https://tel.archives-ouvertes.fr/tel-03164847},
researchr = {https://researchr.org/publication/hal-15554},
cites = {0},
citedby = {0},
school = {École centrale de Lille, Villeneuve-d'Ascq, France},
}