Dimitri Lefebvre, Edouard Leclercq, François Guerin. Design of observations graphs for partially observed Petri nets: Application to the diagnosability analysis of DES1. In Proceedings of the 52nd IEEE Conference on Decision and Control, CDC 2013, December 10-13, 2013, Firenze, Italy. pages 6329-6334, IEEE, 2013. [doi]
Abstract is missing.