A novel analytical framework for qualitative Model-Based Fault Diagnosis. - Sobhi Baniardalani; J. Askari; Ali Akbar Afzalian (ICCA, 2010)

Event scheduling of timed automata using Dioid Algebra. - Sobhi Baniardalani; J. Askari; Ali Akbar Afzalian (ICCA, 2010)