1. On K-diagnosability of Petri nets via integer linear programming;Basile;Automatica,2012
2. Sensors selection for K-diagnosability of Petri nets via Integer Linear Programming;Basile,2015
3. Efficient diagnosability assessment via ILP optimization: a railway benchmark;Basile,2018
4. Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches;Boussif;Discrete Event Dynamic Systems,2020
5. A semi-symbolic diagnoser for fault diagnosis of bounded labeled Petri nets;Boussif;Asian Journal of Control,2020