LI, ZHIWU
LI, ZHIWU
DIPARTIMENTO DI INGEGNERIA ELETTRICA ED ELETTRONICA
A region-based approach for state estimation of timed automata under no event observation
2020-01-01 Gao, C.; Lefebvre, D.; Seatzu, C.; Li, Z.; Giua, A.
An approach to determine controllability of monolithic supervisors
2014-01-01 Ma, Ziyue; Li, Zhiwu; Giua, Alessandro
An improved approach for marking optimization of timed weighted marked graphs
2019-01-01 He, Z.; Liu, M.; Ma, Z.; Li, Z.; Giua, A.
Comments on "Maximally permissive supervisor synthesis based on a new constraint transformation method" [Automatica 48 (2012), 1097-1101]
2015-01-01 Ma, Z; Li, Z; Giua, Alessandro
Computation of admissible marking sets in weighted state machines by dynamic programming
2018-01-01 Ma, Ziyue; Li, Zhiwu; Giua, Alessandro
Computation of admissible marking sets in weighted synchronization-free petri nets by dynamic programming
2020-01-01 Ma, Z.; Zhu, G.; Li, Z.; Giua, A.
Containment of rumor spread in complex social networks
2020-01-01 Yang, Lan; Li, Zhiwu; Giua, Alessandro
Current-state opacity enforcement in discrete event systems under incomparable observations
2018-01-01 Tong, Yin; Li, Zhiwu; Seatzu, Carla; Giua, Alessandro
Cycle time optimization for deterministic timed weighted marked graphs under infinite server semantics
2016-01-01 He, Zhou; Li, Zhiwu; Giua, Alessandro
Decidability of opacity verification problems in labeled Petri net systems
2017-01-01 Tong, Y; Li, Z; Seatzu, Carla; Giua, Alessandro
Design of Monitor-based Supervisors in Labelled Petri Nets
2018-01-01 Ma, Ziyue; He, Zhou; Li, Zhiwu; Giua, Alessandro
Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints
2015-01-01 Ma, Z; Li, Z; Giua, Alessandro
Design of supervisors for linear marking specifications in labeled Petri nets
2022-01-01 Ma, Z.; He, Z.; Li, Z.; Giua, A.
Diagnosability enforcement in labeled Petri nets using supervisory control
2021-01-01 Hu, Yihui; Ma, Ziyue; Li, Zhiwu; Giua, A
General Observation Structures for Petri Nets
2013-01-01 Tong, Y; Li, Zhiwu; Giua, A
Influence minimization in linear threshold networks
2019-01-01 Yang, Lan; Li, Zhiwu; Giua, Alessandro
Joint state estimation under attack of discrete event systems
2021-01-01 Zhang, Q.; Seatzu, C.; Li, Z.; Giua, A.
Marking Estimation in Labelled Petri nets by the Representative Marking Graph
2017-01-01 Ma, Ziyue; Tong, Yin; Li, Zhiwu; Giua, Alessandro
Multiple attacks detection on discrete event systems
2019-01-01 Gao, C.; Seatzu, C.; Li, Z.; Giua, A.
Non-Blockingness Verification of Bounded Petri Nets Using Basis Reachability Graphs
2022-01-01 Gu, C.; Ma, Z.; Li, Z.; Giua, A.