검색결과 : 5건
| No. | Article |
|---|---|
| 1 |
An input-output simulation approach to controlling multi-affine systems for linear temporal logic specifications Sun YJ, Lin H, Chen BM International Journal of Control, 85(10), 1464, 2012 |
| 2 |
Linear time logic control of discrete-time linear systems Tabuada P, Pappas GJ IEEE Transactions on Automatic Control, 51(12), 1862, 2006 |
| 3 |
Solve design puzzles with mass integration El-Halwagi MM, Spriggs HD Chemical Engineering Progress, 94(8), 25, 1998 |
| 4 |
Synthesis of Optimal Heat-Induced Separation Networks Elhalwagi MM, Srinivas BK, Dunn RF Chemical Engineering Science, 50(1), 81, 1995 |
| 5 |
Application of the Generalized Stream Structure in Hen Synthesis Chang CT, Chu KK, Hwang JR Computers & Chemical Engineering, 18(4), 345, 1994 |