| 2002 | |
| [2] | Checking Redundancies in Supervisory Control. A Complexity Result (), In IFAC Proceedings Volumes, volume 35, 2002, 15th Triennial World Congress of the International Federation of Automatic Control (IFAC). |
| 2010 | |
| [1] | An algorithm to compute the minimal siphons in S$^4$PR nets (), In 10th International Workshop on Discrete Event Systems, WODES 2010, Berlin, Germany, August 30 - September 01, 2010. (Jörg Raisch, Alessandro Giua, Stéphane Lafortune, Thomas Moor, eds.), International Federation of Automatic Control, volume 43, 2010, [10th IFAC Workshop on Discrete Event Systems]. |