Zhiwu Li
InstitucionesPeriodo de publicación recogido
|
|
|
|
|
-
Artículos de revistas
Current-state opacity modelling and verification in partially observed Petri nets
Ikram Saadaoui, Zhiwu Li, Naiqin Wu
Automatica: A journal of IFAC the International Federation of Automatic Control, ISSN 0005-1098, Nº. 116, 2020
On scalable supervisory control of multi-agent discrete-event systems
Yingying Liu, Kai Cai, Zhiwu Li
Automatica: A journal of IFAC the International Federation of Automatic Control, ISSN 0005-1098, Nº. 108, 2019
Influence minimization in linear threshold networks
Lan Yang, Zhiwu Li, Alessandro Giua
Automatica: A journal of IFAC the International Federation of Automatic Control, ISSN 0005-1098, Nº. 100, 2019, págs. 10-16
Model-based fault identification of discrete event systems using partially observed Petri nets
Guanghui Zhu, Zhiwu Li, Naiqin Wu
Automatica: A journal of IFAC the International Federation of Automatic Control, ISSN 0005-1098, Nº. 96, 2018, págs. 201-212
On-line verification of current-state opacity by Petri nets and integer linear programming
Xuya Cong, Maria Pia Fanti, Agostino Marcello Mangini, Zhiwu Li
Automatica: A journal of IFAC the International Federation of Automatic Control, ISSN 0005-1098, Nº. 94, 2018, págs. 205-213
Priority-free conditionally-preemptive scheduling of modular sporadic real-time systems
Xi Wang, Zhiwu Li, W.M. Wonham
Automatica: A journal of IFAC the International Federation of Automatic Control, ISSN 0005-1098, Vol. 89, 2018, págs. 392-397
Decidability of opacity verification problems in labeled Petri net systems
Yin- Tong, Zhiwu Li, Carla Seatzu, Alessandro Giua
Automatica: A journal of IFAC the International Federation of Automatic Control, ISSN 0005-1098, Vol. 80, 2017, págs. 48-53
Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Dialnet. En ningún caso se trata de una página que recoja la producción bibliográfica de un autor de manera exhaustiva. Nos gustaría que los datos aparecieran de la manera más correcta posible, de manera que si detecta algún error en la información que facilitamos, puede hacernos llegar su Sugerencia / Errata.
