Thèse, LaHDAK, Computer Science, Systèmes et contrôle, Systems and Control

SAT-Based Diagnosability and Predictability Analysis in Centralized and Distributed Discrete Event Systems

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⟩

Published on