Publications on Smart Manufacturing System Research

Publications

Journal Papers

  1. W. Wang, R. Su, L. Lin., (2019). “Deadlock and blocking in isomorphic module systems.” IEEE Transactions on Automatic Control, accepted, April 2018.

  2. Su, R.*, Wonham, W. M., (2018). “What information really matters in supervisor reduction.” Automatica, accepted, April 2018.

  3. Su, R.*, (2018). “Supervisor synthesis to thwart cyber attack with bounded sensor reading alterations.” Automatica, PII: S0005109818301912, March 2018, Accepted.

  4. L. Lin, W. M. Wonham, R. Su, “Timed discrete-event systems are synchronous product structures. ” Systems and Control Letters, under review, 2018.

  5. L. Lin, T. Masopust, W. M. Wonham, R. Su, “Automatic Generation of Optimal Reductions of Distributions.”IEEE Transactions on Automatic Control, Accepted, 2018.

  6. L. Lin, A. Stefanescu, W. Wang, R. Su, W. M. Wonham, “Symbolic reachability analysis and maximally permissive entrance control of globally synchronized templates.” Automatica, 87: 290-300, Accepted, 2018.

  7. Ware, Simon and Su, Rong, “Time Optimal Synthesis Based Upon Sequential Abstraction and Its Application to Cluster Tools.” IEEE Transactions on Automation Science and Engineering. Volume: 14, Issue: 2, pages: 772-784, Accepted, April 2017.

  8. Ware, S.*, Su, R., (2017). Incremental scheduling of discrete event systems. Automatica, under review, January 2017.

  9. F. J. Yang, N. Q. Wu, Y. Qiao, R. Su, “Polynomial Approach to Optimal One-wafer Cyclic Scheduling of Treelike Hybrid Multi-Cluster Tools via Petri Nets,” IEEE/CAA Journal of Automatica Sinica. JAS-2017-0083.R1. 2017. Accepted.

  10. F. J. Yang, N. Q. Wu, Y. Qiao, M. C. Zhou, R. Su, “Modeling and Optimal Scheduling of Wafer- residency-time Constrained Cluster Tools via Petri Nets and Linear Programming,” IEEE Transactions on Systems, Man and Cybernetics: Systems. SMCA-17-03-0294. 2017, Accepted.

  11. F. J. Yang, N. Q Wu, L. P. Bai, Y. Qiao, M. C Zhou, R. Su, “Petri Net-Based Efficient Determination of Optimal Schedule for Transport-dominant Single-Arm Multi-Cluster Tools,” IEEE Access-2017-07277. 2017, Accepted.

  12. F. J. Yang, K. Z Gao, I. W. Simon, Y. T. Zhu, R. Su, “Decomposition Methods for Manufacturing System Scheduling: A Survey,” IEEE/CAA, JAS-2017-0128. 2017, Conditionally Accepted.

  13. F. J. Yang, N. Q. Wu, K. Z. Gao,Y. T. Zhu, R. Su, Y. Qiao, I. W. Simon, “Efficient Approach to Cyclic Scheduling of Single-arm Cluster Tools with Chamber Cleaning Operations and Wafer Residency Time Constraint,” IEEE Transactions on Semiconductor Manufacturing. TSM-17-0149. Accepted.

  14. F. J. Yang, Y. Qiao, K. Z. Gao, N. Q. Wu, Y. T. Zhu, I. W. Simon, R. Su, “Efficient Approach to Scheduling of Transient Processes for Time-Constrained Single-Arm Cluster Tools with Parallel Chambers,” IEEE Transactions on Automation Science and Engineering. T-ASE-2017-605. Under review.

  15. F. J. Yang, N. Q Wu, Y. Qiao, M. C Zhou, R. Su, “Petri Net-based Wafer Sojourn Time Fluctuation Analysis for Time-Constrained Dual-Arm Multi-Cluster Tools with Activity Time Variation,” IEEE Transactions on Automation Science and Engineering, T-ASE-2017-497. Under review.

Conference Papers

  1. Lin, L., Zhu, Y., & Su, R. (2018).“ Towards Bounded Synthesis of Resilient Supervisors Against Actuator Attacks. ” Conference on Decision and Control(2019), Accepted

  2. Zhu, Y., Lin, L., Ware, Simon. & Su, R. (2018).“ Supervisor Synthesis for Networked Discrete Event Systems With Communication Delays and Lossy Channels. ” Conference on Decision and Control(2019), Accepted

  3. Zhu, Y., Lin, L., & Su, R. (2018).“ Supervisor Obfuscation Against Actuator Enablement Attack. ” European Control Conference(2019), Accepted

  4. Aida Rashidinejad*, Liyong Lin, Bart Wetzels, Yuting Zhu, Michel Reniers, Rong Su. ” Supervisory Control of Discrete-Event Systems under Attacks: An Overview and Outlook. ” European Control Conference(2019), Accepted

  5. Lin, L., Thuijsman, S., Zhu, Y., Ware, S., Su, R., & Reniers, M. (2018), “ Synthesis of successful actuator attackers on supervisors. ” American Control Conference (2019), Accepted

  6. Liyong Lin*, Rong Su, Bertil Brandin, Simon Ware, Yuting Zhu, “ Synchronous Composition of Finite Interval Automata. ” 15th IEEE International Conference on Control & Automation (ICCA, 2019), Accepted

  7. Hagebring, Fredrik and Wigström, Oskar and Lennartson, Bengt and Ware, Simon Ian and Su, Rong, “Comparing MILP, CP, and A* for multiple stacker crane scheduling.” Discrete Event Systems (WODES), 2016 IEEE 13th International Workshop: 63-70.

  8. Ware, Simon and Su, Rong, “Incremental scheduling of discrete event systems.” Discrete Event Systems (WODES), 2016 IEEE 13th International Workshop: 147-152.

  9. Ware, Simon and Su, Rong, “Progressive time optimal control of reactive systems.” Decision and Control (CDC), 2015 IEEE 54th Annual Conference: 3542-3547.

  10. Ware, Simon and Su, Rong, “Synthesis time optimal accepting traces using language projection and pruning.” Automation Science and Engineering (CASE), 2015 IEEE International Conference: 1363-1368.

  11. F. J. Yang, N. Q. Wu, Y. Qiao, R. Su, “Scheduling Time-constrained Single-robot-arm Cluster Tools to Reach the Lower Bound of Cycle Time,” IEEE International Conference on Robotics and Automation. 2018, (Under review).

  12. F. J. Yang, Y. Qiao, K. Z. Gao, N. Q. Wu, Y. T. Zhu, S. I. Ware, R. Su, “Scheduling and Control of Start-up Process for Time-Constrained Single-Arm Cluster Tools with Parallel Chambers,” 14th Workshop on Discrete Event Systems. 2018, (Accepted).

  13. S. Ware and R. Su, “An Application of Incremental Scheduling to a Cluster Photolithography Tool,” The 20th world congress of the International Federation of Automatic Control (IFAC), 9-14 July 2017. Toulouse, France. (Accepted).

  14. S. Ware and R. Su, “Time Optimal Synthesis Based upon Sequential Abstraction and Maximizing Parallelism,” The 13th IEEE Conference on Automation Science and Engineering, August 20-23, 2017, Xian, China. (Accepted).

  15. D. Deplano, S. Ware, R. Su and A. Giua, “A heuristic algorithm to optimize execution time of multi-robotic path,” 13th IEEE International Conference on Control and Automation, Ohrid. (Accepted).

Past Related Publications

Distributed supervisory control

  1. Hu, H., Su, R., Liu, Y., Zhou, M.*, (2015). Polynomially complex synthesis of distributed supervisors for large scale AMS using Petri nets. IEEE Transactions on Control Systems Technology, vol. 24, no. 5, pp. 1610-1622.

  2. Su, R.*, van Schuppen, J. H., Rooda, J. E., (2012). Maximum permissive coordinated distributed supervisory control of nondeterministic discrete-event systems. Automatica, vol. 48, no. 7, pp. 1237-1247.

  3. Su, R.*, van Schuppen, J. H., Rooda, J. E., (2010). Model abstraction of nondeterministic finite-state automata in supervisor synthesis. IEEE Transactions on Automatic Control, 55(11), pp. 2527-2541.

  4. Su, R.*, van Schuppen, J. H., Rooda, J. E., Hofkamp, A. T., (2010). Nonconflict check by using sequential automaton abstractions. Automatica, vol. 46, no. 6, pp. 968-978.

  5. Su, R.*, van Schuppen, J. H., Rooda, J. E., (2010). Aggregative synthesis of distributed supervisors based on automaton abstraction. IEEE Transactions on Automatic Control, vol. 55, no. 7, pp. 1627-1640.

Centralized supervisory control

  1. Lin, L.*, Ware, S., Su, R., Wonham, W. M., (2017). Reduction of distributions: definitions, properties and applications. IEEE Transactions on Automatic Control, accepted (regular paper), DOI: 10.1109/TAC.2017.2692561, April 2017.

  2. Su, R.*, Wonham, W. M., (2017). What information really matters in supervisor reduction. Automatica, major revision, March 2017.

  3. Forschelen, S*. , Van de Mortel, F. J. M., Su, R., Rooda, J. E., (2012). Application of supervisory control theory to theme park vehicles. Journal of Discrete-Event Dynamic Systems, vol. 22, no. 4, pp. 511-540.

  4. Su, R.*, Wonham, W. M., (2004). Supervisor reduction for discrete-event systems. Journal of Discrete Event Dynamic Systems, vol. 14, no. 1, pp. 31-53.

Scheduling and optimal supervisory control for flexible manufacturing systems

  1. Su, R.*, (2015). A polynomial-time algorithm for computing finite-makespan controllable sublanguages. IEEE Transactions on Automatic Control, vol. 60, no. 2, pp. 534-539.

  2. Su, R.*, (2014). On the complexity of synthesizing a minimum-weighted supervisor under partial observation. Automatica, vol. 50, no. 6, pp. 1725-1729.

  3. Su, R.*, van Schuppen, J. H., Rooda, J. E., (2012). The synthesis of time optimal supervisors by using heaps-of-pieces. IEEE Transactions on Automatic Control, vol. 57, no. 1, pp. 105-118.

  4. Su, R.*, Woeginger, G., (2011). String execution time for finite languages: max is easy, min is hard. Automatica, vol. 47, no. 10, pp. 2326-2329.

Model-based fault diagnosis

  1. Su, R.*, (2008). Distributed trace estimation under timing mismatch and channel distortion. IEEE Transactions on Automatic Control, vol. 53, no. 10, pp. 2409-2414.

  2. Su, R.*, Chaudron, M.R.V., Lukkien, J.J., (2007). Adaptive runtime fault management for service instances in component-based software applications. IET Software, vol. 1, no. 1, pp.18-28.

  3. Thistle, J. G.*, Su, R., (2007). On effective computation of supremal local supports. IEEE Transactions on Automatic Control, vol. 52, no. 8, pp. 1429-1441.

  4. Su, R.*, Wonham, W. M., (2006). Hierarchical fault diagnosis for discrete-event systems under global consistency. Journal of Discrete-Event Dynamic Systems, vol. 16, no. 1, pp. 39-70.

  5. Su, R.*, Wonham, W. M., (2005). Global and local consistencies in distributed fault diagnosis for discrete-event systems. IEEE Transactions on Automatic Control, vol. 50, no. 12, pp. 1923-1935