|
 
|
Liste des publications
2017
- [CCL17] Li Chengzong, Y. Chen, . Li, K. Barkaoui. "Synthesis of Liveness-Enforcing Petri Net Supervisors Based on a Think-GloballyAct-Locally Approach and Vector Covering for Flexible Manufacturing Systems", IEEE Access, vol. 5(IEEE), pp. 16349-16358, 2017, (doi:10.1109/ACCESS.2017.2720630)
Revue Internationale avec comité de lecture
2016
-
[CLB16]
Y. Chen, . Li, K. Barkaoui, M. Uzam.
"Monitor design with multiple self-loops for maximally
permissive supervisors",
ISA Transactions,
vol. 61, pp. 129-140,
2016
Revue Internationale avec comité de lecture
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
Revue Internationale avec comité de lecture
2012
- [DB 12] L. Ding, K. Barkaoui, M. Zhou. "On Intrinsically Live Structure of a Class of Generalized Petri Nets Modeling FMS", 11th International Workshop on Discrete Event Systems - WODES 2012, October 2012, pp.187-192, Series IFAC,
- [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,
Conférence Internationale avec comité de lecture
2011
- [ZLB11] C. Zhong, Z. Li, K. Barkaoui. "Monitor Design for Siphon Control in S4R Nets: From Structure Analysis Points of View ", International Journal of Innovative Computing, Information and Control (ICIC - ISSN 1349-4198), vol. 7(12), pp. 6677-6690, 2011
