E. Gazi

Verification of controllers in the presence of uncertainty : Application to styrene polymerization

Lyle H. Ungar, Warren D. Seider, E. Gazi, 1996 .

Automatic analysis of Monte-Carlo simulations of dynamic chemical plants

Lyle H. Ungar, Warren D. Seider, E. Gazi, 1996 .

Controller Verification Under Non-Parametric Uncertainty

Lyle H. Ungar, E. Gazi, Warren D. Seider, 1994 .

CONTROLLER VERIFICATION FOR POLYMERIZATION REACTORS

Lyle H. Ungar, Warren D. Seider, E. Gazi, 1996 .

CONTROLLER VERIFICATION USING QUALITATIVE REASONING

Lyle H. Ungar, E. Gazi, Warren D. Seider, 1994 .

Control of nonlinear processes using qualitative reasoning

E. Gazi, Warren D. Seider, Lyle H. Ungar, 1994 .