| 1 |
A Polynomial-Time Algorithm for Computing Finite-Makespan Controllable Sublanguages
Su R
IEEE Transactions on Automatic Control, 60(2), 534, 2015 |
| 2 |
A Graph-based Ant Colony Optimization Approach for Integrated Process Planning and Scheduling
Wang JF, Fan XL, Zhang CW, Wan ST
Chinese Journal of Chemical Engineering, 22(7), 748, 2014 |
| 3 |
The Synthesis of Time Optimal Supervisors by Using Heaps-of-Pieces
Su R, van Schuppen JH, Rooda JE
IEEE Transactions on Automatic Control, 57(1), 105, 2012 |
| 4 |
Error-free scheduling for batch processes using symbolic model verifier
Kim J, Kim J, Moon I
Journal of Loss Prevention in The Process Industries, 22(4), 367, 2009 |
| 5 |
Scheduling multistage, multiproduct batch plants with nonidentical parallel units and unlimited intermediate storage
Liu Y, Karimi IA
Chemical Engineering Science, 62(6), 1549, 2007 |
| 6 |
Novel continuous-time formulations for scheduling multi-stage batch plants with identical parallel units
Liu Y, Karimi IA
Computers & Chemical Engineering, 31(12), 1671, 2007 |
| 7 |
Review, extensions and computational comparison of MILP formulations for scheduling of batch processes
Burkard RE, Hatzl J
Computers & Chemical Engineering, 29(8), 1752, 2005 |
| 8 |
Optimal resource allocation in new product development projects: A control-theoretic approach
Wang YF, Perkins JR, Khurana A
IEEE Transactions on Automatic Control, 47(8), 1267, 2002 |
| 9 |
Synthesis of safe operating procedure for multi-purpose batch processes using SMV
Kim J, Moon I
Computers & Chemical Engineering, 24(2-7), 385, 2000 |
| 10 |
Intermediate storage tank operation strategies in the production scheduling of multi-product batch processes
Ha JK, Chang HK, Lee ES, Lee IB, Lee BS, Yi GB
Computers & Chemical Engineering, 24(2-7), 1633, 2000 |
