|
 
|
Zhiwu Li
|
Membre exterieur |
Publications
2019
- [LLL19] X. Li , G. Liu, . Li, N. Wu, K. Barkaoui. "Elementary Siphon-based Robust Control for Automated Manufacturing Systems with Multiple Unreliable Resources", IEEE Access, pp. 1-18, 2019, (doi:10.1109/ACCESS.2019.2897753)
Revue Internationale avec comité de lecture
2018
- [ BL18] U. Mutarraf , K. Barkaoui, . Li. "Transformation of Business Process Model and Notation models onto Petri nets and their analysis", Advances in Mechanical Engineering, vol. 10(12), pp. 1-21, 2018, (doi:10.1177/1687814018808170)
-
[WLB18]
N. Wu,, . Li, K. Barkaoui, Li Xi, T. Murata, M. Zhou.
"IoT-based smart and complex systems: a guest editorial report",
IEEE/CAA Journal of Automatica Sinica,
vol. 5(1), pp. 69-73,
2018, (doi:10.1109/JAS.2017.7510748)
- [BBL18] K. Barkaoui, H. Boucheneb, . Li. "Exploiting Local Persistency for Reduced State Space Generation", International Conference on Verification and Evaluation of Computer and Communication Systems VECoS 2018, October 2018, Vol. 11181, pp. pp 166-181, Series LNCS, Grenoble, France, (DOI: 10.1007/978-3-030-00359-3_11)
Revue Internationale avec comité de lecture
Conférence Internationale avec comité de lecture
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)
-
[CLB17]
Y. Chen, . Li, K. Barkaoui, M. Zhou.
"Compact Supervisory Control of Discrete Event Systems by Petri Nets With Data Inhibitor Arcs",
IEEE Trans. Systems, Man, and Cybernetics,
vol. 47(2), pp. 364-379,
2017, (doi:10.1109/TSMC.2016.2521833)
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
2015
-
[CLB15]
Y. Chen, . Li, K. Barkaoui, A. Giua.
"On the Enforcement of a Class of Nonlinear Constraints on Petri Nets",
Automatica,
vol. 55(5), pp. 116-124,
2015
