|
 
|
Ding Liu
|
Equipe SYS Mail : collus.liu  gmail.com
|
Publications
2016
- [BHK16] K. Barkaoui, A. Hicheur-Cairns, A. Kheldoun, D. Liu. "Modelling and analyzing home care plans using high-level Petri nets", 2016 13th International Workshop on Discrete Event Systems (WODES), June 2016, pp.284 - 290, Xian, China, (DOI: 10.1109/WODES.2016.7497861)
Conférence Internationale avec comité de lecture
2014
- [LHB14] D. Liu, Y. Hou, K. Barkaoui, M. Zhou. "Intrinsically Live Structures in Process and Resource-Oriented Petri Nets Modeling Automated Manufacturing Systems", 11th IEEE International Conference on Networking, Sensing and Control, April 2014, pp.13-21,
-
[BL14]
K. Barkaoui, D. Liu.
"An Efficient Siphon-Based Deadlock Prevention Policy for a Class of Generalized Petri Nets",
datepub: June 2014,
Conférence Internationale avec comité de lecture
Autres
2013
- [LL 13a] D. Liu, Z. Li, M. Zhou. "A Liveness and Ratio-Enforcing Supervisor for Flexible Manufacturing Systems Modeled by a Class of Generalized Petri Nets", Automatica, vol. 49(11), pp. 3167-3179, 2013
- [LL 13] D. Liu, Z. Li, M. Zhou. "Hybrid Liveness-Enforcing Policy for Generalized Petri Net Models of Flexible Manufacturing Systems", IEEE TRANSACTIONS ON SYSTEMS, MAN, AND CYBERNETICS: SYSTEMS, vol. 43(1), pp. 85-97, 2013
- [LHB13] D. Liu, Y. Hou, K. Barkaoui, M. Zhou. "Liveness and Resource Usage Ratio-Enforcing Supervisor for a Class of Generalized Petri Nets", 10th IEEE International Conference on Control and Automation, June 2013, pp.1278-1283, Hangzhou, China,
- [CLL13] Y. Chen, D. Liu, G. Liu, K. Barkaoui. "Computation of Resource Circuits of Petri Nets by Using Binary Decision Diagrams", 5th International Conference On Modeling, Simulation and Applied Optimization, April 2013, pp.1-6, Hammamet, Tunisia,
Revue Internationale avec comité de lecture
Conférence Internationale avec comité de lecture
2012
- [LL 12] D. Liu, Z. Li, M. Zhou. "Erratum to “Liveness of an Extended S3PR [Automatica 46 (2010) 1008-1018]", Automatica, vol. 48(5), pp. 1003-1004, 2012
- [HL 12] Y. Hou, D. Liu, M. Zhou. "On iterative liveness-enforcement for a class of generalized Petri nets", 8th IEEE International Conference on Automation Science and Engineering, August 2012, pp.184-189, Seoul, kr,
