S. Hashtrudi Zad

9 papers and 339 indexed citations i.

S. Hashtrudi Zad has authored 9 papers that have received a total of 339 indexed citations. This includes 8 papers in Computational Theory and Mathematics, 5 papers in Control and Systems Engineering and 2 papers in Industrial and Manufacturing Engineering. The topics of these papers are Petri Nets in System Modeling (8 papers), Formal Methods in Verification (7 papers) and Fault Detection and Control Systems (5 papers). S. Hashtrudi Zad is often cited by papers focused on Petri Nets in System Modeling (8 papers), Formal Methods in Verification (7 papers) and Fault Detection and Control Systems (5 papers) and collaborates with scholars based in Canada, United States and Iran. S. Hashtrudi Zad's co-authors include W.M. Wonham, R.H. Kwong, W. M. Wonham, Anooshiravan Saboori and Mohammad-Ali Massoumnia and has published in prestigious journals such as IEEE Transactions on Automatic Control, Automatica and Systems & Control Letters