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)

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]