☰

Gary J. Powers

Affiliations: 
Carnegie Mellon University, Pittsburgh, PA 
Area:
Chemical Engineering, Industrial Engineering
Google:
"Gary Powers"
Tree Publications Similar researchers PubMed Report error

Parents

Sign in to add mentor
Dale F. Rudd grad student 1971 UW Madison

Children

Sign in to add trainee
Il Moon grad student 1992 Carnegie Mellon (Chemistry Tree)
Daniel P. Margolis grad student 2003 Carnegie Mellon
Daniel E. Milam grad student 2003 Carnegie Mellon

Collaborators

Sign in to add collaborator
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Turk AL, Powers GJ. (2002) Relational modeling of chemical processes for control logic verification Computer-Aided Chemical Engineering. 10: 559-564
Moon I, Ko D, Probst ST, et al. (1997) A Symbolic Model Verifier for Safe Chemical Process Sequential Control Systems. Journal of Chemical Engineering of Japan. 30: 13-22
Probst ST, Powers GJ, Long DE, et al. (1997) Verification of a logically controlled, solids transport system using symbolic model checking Computers & Chemical Engineering. 21: 417-429
Aelion V, Powers GJ. (1993) Risk reduction of operating procedures and process flowsheets Industrial & Engineering Chemistry Research. 32: 82-90
Aelion V, Kalagnanam J, Powers GJ. (1992) Evaluation of operating procedures based on stationary-state stability Industrial & Engineering Chemistry Research. 31: 2532-2538
Moon I, Powers GJ, Burch JR, et al. (1992) Automatic verification of sequential control systems using temporal logic Aiche Journal. 38: 67-75
Aelion V, Powers GJ. (1991) A unified strategy for the retrofit synthesis of flowsheet structures for attaining or improving operating procedures Computers & Chemical Engineering. 15: 349-360
Fusillo RH, Powers GJ. (1988) Operating procedure synthesis using local models and distributed goals Computers & Chemical Engineering. 12: 1023-1034
Fusillo RH, Powers GJ. (1988) Computer‐Aided planning of purge operations Aiche Journal. 34: 558-566
Fusillo RH, Powers GJ. (1987) A synthesis method for chemical plant operating procedures Computers & Chemical Engineering. 11: 369-382
See more...