☰

Gary J. Powers - Publications

Affiliations: 
Carnegie Mellon University, Pittsburgh, PA 
Area:
Chemical Engineering, Industrial Engineering
Tree Info Similar researchers PubMed Report error

15 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2002 Turk AL, Powers GJ. Relational modeling of chemical processes for control logic verification Computer-Aided Chemical Engineering. 10: 559-564. DOI: 10.1016/S1570-7946(02)80121-3  0.47
1997 Moon I, Ko D, Probst ST, Powers GJ. A Symbolic Model Verifier for Safe Chemical Process Sequential Control Systems. Journal of Chemical Engineering of Japan. 30: 13-22. DOI: 10.1252/Jcej.30.13  0.554
1997 Probst ST, Powers GJ, Long DE, Moon I. Verification of a logically controlled, solids transport system using symbolic model checking Computers & Chemical Engineering. 21: 417-429. DOI: 10.1016/0098-1354(95)00265-0  0.555
1993 Aelion V, Powers GJ. Risk reduction of operating procedures and process flowsheets Industrial & Engineering Chemistry Research. 32: 82-90. DOI: 10.1021/Ie00013A012  0.426
1992 Aelion V, Kalagnanam J, Powers GJ. Evaluation of operating procedures based on stationary-state stability Industrial & Engineering Chemistry Research. 31: 2532-2538. DOI: 10.1021/Ie00011A018  0.44
1992 Moon I, Powers GJ, Burch JR, Clarke EM. Automatic verification of sequential control systems using temporal logic Aiche Journal. 38: 67-75. DOI: 10.1002/Aic.690380107  0.539
1991 Aelion V, Powers GJ. A unified strategy for the retrofit synthesis of flowsheet structures for attaining or improving operating procedures Computers & Chemical Engineering. 15: 349-360. DOI: 10.1016/0098-1354(91)80008-J  0.433
1988 Fusillo RH, Powers GJ. Operating procedure synthesis using local models and distributed goals Computers & Chemical Engineering. 12: 1023-1034. DOI: 10.1016/0098-1354(88)87024-8  0.432
1988 Fusillo RH, Powers GJ. Computer‐Aided planning of purge operations Aiche Journal. 34: 558-566. DOI: 10.1002/Aic.690340405  0.41
1987 Fusillo RH, Powers GJ. A synthesis method for chemical plant operating procedures Computers & Chemical Engineering. 11: 369-382. DOI: 10.1016/0098-1354(87)85018-4  0.438
1983 Cummings DL, Lapp SA, Powers GJ. Fault Tree Synthesis From a Directed Graph Model for a Power Distribution Network Ieee Transactions On Reliability. 140-149. DOI: 10.1109/Tr.1983.5221512  0.311
1982 Govind R, Powers GJ. Control system synthesis strategies Aiche Journal. 28: 60-73. DOI: 10.1002/Aic.690280110  0.394
1981 Govind R, Powers GJ. Studies in reaction path synthesis Aiche Journal. 27: 429-442. DOI: 10.1002/Aic.690270312  0.33
1979 Lapp SA, Powers GJ. Update of Lapp-Powers Fault-Tree Synthesis Algorithm Ieee Transactions On Reliability. 1: 12-15. DOI: 10.1109/Tr.1979.5220455  0.303
1977 Govind R, Powers GJ. Process modeling for control system synthesis Ieee Transactions On Automatic Control. 14: 1170-1175. DOI: 10.1109/Jacc.1977.4170468  0.385
Show low-probability matches.