SAT-Based Diagnosability and Predictability Analysis in Centralized and Distributed Discrete Event Systems. (Analyse à base de SAT de la diagnosticabilité et de la prédictibilité dans les systèmes à événements discrets centralisés et distribués)

Hassan Ibrahim. SAT-Based Diagnosability and Predictability Analysis in Centralized and Distributed Discrete Event Systems. (Analyse à base de SAT de la diagnosticabilité et de la prédictibilité dans les systèmes à événements discrets centralisés et distribués). PhD thesis, University of Paris-Saclay, France, 2016. [doi]