Ali Saadatpoor

State based control of timed discrete event systems using binary decision diagrams

W. M. Wonham, Ali Saadatpoor, W. Wonham, 2007, Syst. Control. Lett..

Timed State Tree Structures: Supervisory Control and Fault Diagnosis

Ali Saadatpoor, A. Saadatpoor, 2010 .