Biblio

Export 3 results:
Author Title [ Type(Asc)] Year
Filters: Author is Ibrahim, Hassan  [Clear All Filters]
Conference Paper
H. Ibrahim, Dague, P., and Simon, L., “SAT-Based Testing of Diagnosability and Predictability of Centralized and Distributed Discrete Event Systems”, in {8th International Conference on Advances in System Testing and Validation Lifecycle VALID'16}, Rome, Italy, 2016.
H. Ibrahim, Dague, P., Grastien, A., Ye, L., and Simon, L., “Diagnosability Planning for Controllable Discrete Event Systems”, in {31st National Conference on Artificial Intelligence AAAI-17}, San Francisco, United States, 2017.
H. Ibrahim, Dague, P., Grastien, A., Ye, L., and Simon, L., “Diagnosability Planning for Controllable Discrete Event Systems”, in {27th International Workshop on Principles of Diagnosis DX'16}, Denver, United States, 2016.