Design of observations graphs for partially observed Petri nets: Application to the diagnosability analysis of DES1

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]

Authors

Dimitri Lefebvre

This author has not been identified. Look up 'Dimitri Lefebvre' in Google

Edouard Leclercq

This author has not been identified. Look up 'Edouard Leclercq' in Google

François Guerin

This author has not been identified. Look up 'François Guerin' in Google