Concepedia

S. Hashtrudi Zad

SH

9

Publications

652

Citations

9

H-Index

1999

Active since

Affiliations

University of Toronto(Current)

Concordia University

University of Illinois Urbana-Champaign

S. Hashtrudi Zad is an author at University of Toronto specializing in engineering, formal methods, and systems engineering.

Top concepts

EngineeringFormal MethodsSystems EngineeringFormal VerificationReliability EngineeringComputer ScienceDiagnosisFault DiagnosisProcess ControlComputer Engineering

Publications per year

1999–2006

9

Publications

9

Fault diagnosis in discrete-event systems: Framework and model reduction

S. Hashtrudi Zad, R.H. Kwong, W.M. Wonham · IEEE Transactions on Automatic Control · 2003 · 338 citations

Fault Diagnosis, Engineering, Verification +16

Fault diagnosis in discrete-event systems: incorporating timing information

S. Hashtrudi Zad, R.H. Kwong, W.M. Wonham · IEEE Transactions on Automatic Control · 2005 · 95 citations

Fault Diagnosis, Engineering, Verification +16

Fault diagnosis in timed discrete-event systems

S. Hashtrudi Zad, R.H. Kwong, W.M. Wonham · 2003 · 63 citations

Fault Diagnosis, Engineering, Verification +18

Robust nonblocking supervisory control of discrete-event systems under partial observation

Anooshiravan Saboori, S. Hashtrudi Zad · Systems & Control Letters · 2006 · 47 citations

Discrete Event System, State Observer, Robust Control +5

Generic solvability of the failure detection and identification problem

S. Hashtrudi Zad, Mohammad-Ali Massoumnia · Automatica · 1999 · 28 citations

Reliability, Reliability Engineering, Engineering +8

Rows per page

1–5 of 9