Gary J. Powers

发表

Risk reduction of operating procedures and process flowsheets

Vital Aelion, Gary J. Powers, G. Powers, 1993 .

Relational modeling of chemical processes for control logic verification

Adam L. Turk, Gary J. Powers, G. Powers, 2002 .

Update of Lapp-Powers Fault-Tree Synthesis Algorithm

Gary J. Powers, Steven A. Lapp, 1979, IEEE Transactions on Reliability.

Verification of Real Time Chemical Processing Systems

Adam L. Turk, Gary J. Powers, Scott T. Probst, 1997, HART.

SYNTHESIS AND VERIFICATION OF HIGH INTEGRITY OPERATING PROCEDURES

Gary J. Powers, S. T. Probst, V. Aelion, 1996 .

Synthesis of Process Control Systems

Gary J. Powers, Rakesh Govind, 1978, IEEE Transactions on Systems, Man, and Cybernetics.

Verification of a Chemical Process Leak Test Procedure

Adam L. Turk, Gary J. Powers, Scott T. Probst, 1997, CAV.

Operating procedure synthesis : a tutorial

Gary J. Powers, Robert H. Fusillo, 1987 .

Operating procedure synthesis using local models and distributed goals

Gary J. Powers, R. H. Fusillo, 1988 .

A unified strategy for the retrofit synthesis of flowsheet structures for attaining or improving operating procedures

Vital Aelion, Gary J. Powers, G. Powers, 1991 .

Input variable expansion : a formal innovative design generation technique

Jonathan Cagan, Vital Aelion, Gary J. Powers, 1991 .

Diagnosis procedures from fault trees

Gary J. Powers, Thomas L. Teague, G. Powers, 1979 .

Fault tree synthesis for chemical processes

Gary J. Powers, Frederick C. Tompkins, G. Powers, 1974 .

On the computational technique of optimal synthesis problem using structure parameters.

Gary J. Powers, Naonori Nishida, N. Nishida, 1978 .

A representation for algorithmic expansion of engineering designs

Jonathan Cagan, Vital Aelion, Gary J. Powers, 1992 .

Problem Based Learning In A Chemical Engineering Undergraduate Laboratory

Gary J. Powers, Matthew J. Cline, 1998 .

On-line hazard aversion and fault diagnosis in chemical processes: the digraph+fault-tree method

Gary J. Powers, N. H. Ulerich, G. Powers, 1988 .

Process modeling for control system synthesis

Gary J. Powers, Rakesh Govind, 1977 .

Evaluation of stationary state stability for the synthesis of operating procedures

Vital Aelion, Gary J. Powers, Jayant Kalagnanam, 1991 .

Fault TreesߞA State of the Art Discussion

Gary J. Powers, R. G. Bennetts, J. B. Fussell, 1974 .

Verification of a logically controlled, solids transport system using symbolic model checking

Gary J. Powers, Il Moon, D. E. Long, 1997 .

Automatic verification of sequential control systems using temporal logic

Edmund M. Clarke, Jerry R. Burch, Gary J. Powers, 1992 .

A synthesis method for chemical plant operating procedures

Gary J. Powers, R. H. Fusillo, 1987 .

Computer-aided Synthesis of Fault-trees

Gary J. Powers, Steven A. Lapp, S. A. Lapp, 1977, IEEE Transactions on Reliability.

Safety Versus Availability

Gary J. Powers, G. Powers, 1975 .

Symbolic model verifier for formal testing of discrete process control systems

Gary J. Powers, Il Moon, 1992 .

Computer-Aided Synthesis of Fault Trees for Complex Processing Systems

Gary J. Powers, Frederick C. Tompkins, G. Powers, 1976 .

Modelling Discrete Adaptive Behavior in the Chemical Process Industries

Gary J. Powers, 1975 .

Synthesis strategies for multicomponent separation systems with energy integration

Gary J. Powers, G. Powers, Ram N. S. Rathore, 1974 .

THE SYNTHESIS OF FAULT TREES

Gary J. Powers, Steven A. Lapp, S. A. Lapp, 1978 .

Evaluation of operating procedures based on stationary-state stability

Vital Aelion, Gary J. Powers, Jayant Kalagnanam, 1992 .

A Symbolic Model Verifier for Safe Chemical Process Sequential Control Systems.

Gary J. Powers, Daeho Ko, Scott T. Probst, 1997 .

Design of a Catalytic Reactor-Separator System with Uncertainty in Catalyst Activity and Selectivity

Gary J. Powers, G. Powers, Jerald F. Mayer, 1975 .

Synthesis of distillation systems with energy integration

Gary J. Powers, Ram N. S. Rathore, Kenneth A. Vanwormer, 1974 .

Input Variable Expansion: An algorithmic design generation technique

Jonathan Cagan, Vital Aelion, Gary J. Powers, 1992 .

Fault Tree Analysis of Sequential Systems

Gary J. Powers, Steven A. Lapp, Joseph A. Shaeiwitz, 1977 .

A Forward Branching Scheme for the Synthesis of Energy Recovery Systems

Gary J. Powers, G. Powers, Ram N. S. Rathore, 1975 .

Fault Tree Synthesis From a Directed Graph Model for a Power Distribution Network

Gary J. Powers, Steven A. Lapp, S. A. Lapp, 1983, IEEE Transactions on Reliability.

Inducing optimally directed innovative designs from chemical engineering first principles

Jonathan Cagan, Vital Aelion, Gary J. Powers, 1991 .