| 1 |
Synthesis of Petri net supervisors for FMS via redundant constraint elimination
Huang B, Zhou MC, Zhang GX
Automatica, 61, 156, 2015 |
| 2 |
Further reduction of minimal first-met bad markings for the computationally efficient synthesis of a maximally permissive controller
Liu GY, Chao DY
International Journal of Control, 88(8), 1423, 2015 |
| 3 |
A parameterized liveness and ratio-enforcing supervisor for a class of generalized Petri nets
Liu D, Li ZW, Zhou MC
Automatica, 49(11), 3167, 2013 |
| 4 |
On structural minimality of optimal supervisors for flexible manufacturing systems
Chen YF, Li ZW
Automatica, 48(10), 2647, 2012 |
| 5 |
Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems
Chen YF, Li ZW
Automatica, 47(5), 1028, 2011 |
| 6 |
Liveness of an extended (SPR)-P-3
Liu D, Li ZW, Zhou MC
Automatica, 46(6), 1008, 2010 |
| 7 |
Matrix approach to deadlock-free dispatching in multi-class finite buffer flowlines
Gurel A, Bogdan S, Lewis FL
IEEE Transactions on Automatic Control, 45(11), 2086, 2000 |
| 8 |
Optimal service control of a serial production line with unreliable workstations and random demand
Song DP, Sun YX
Automatica, 34(9), 1047, 1998 |
| 9 |
Optimal release times in a single server : An optimal control perspective
Gazarik M, Wardi Y
IEEE Transactions on Automatic Control, 43(7), 998, 1998 |
| 10 |
One-machine n-part-tytpe optimal setup scheduling : Analytical characterization of switching surfaces
Khmelnitsky E, Caramanis M
IEEE Transactions on Automatic Control, 43(11), 1584, 1998 |
