Thèse, LaHDAK, Informatique, Systèmes et contrôle

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. Artificial Intelligence [cs.AI]. Université Paris-Saclay, 2016. English. ⟨NNT : ⟩. ⟨tel-01486738⟩

Publié le