Verification of Detectability for Time Labeled Petri Net Systems with Unobservable Transitions by Tao Qin, Zhiwu Li

Get full text

On Deadlock Analysis and Characterization of Labeled Petri Nets with Undistinguishable and Unobservable Transitions by Amal Zaghdoud, Zhiwu Li

Get full text

Critical Observability Enforcement in Discrete Event Systems Using Differential Privacy by Jie Zhang, Zhiwu Li

Get full text

Almost <i>k</i>-Step Opacity Enforcement in Stochastic Discrete-Event Systems via Differential Privacy by Rong Zhao, Murat Uzam, Zhiwu Li

Get full text

Supervisor Reconfiguration for Deadlock Prevention by Resources Reallocation by Miao Liu, Shouguang Wang, Zhiwu Li

Get full text

Verification of Opacity Under a <i>K</i>-Delay Orwellian Observation Mechanism by Jiahui Zhang, Kuize Zhang, Xiaoguang Han, Zhiwu Li

Get full text

Learning to Score: A Coding System for Constructed Response Items via Interactive Clustering by Lingjing Luo, Hang Yang, Zhiwu Li, Witold Pedrycz

Get full text

Calculation and Analysis of Petri Net Reachability Graphs by a Think-Globally-Act-Locally Method by Chengzong Li, Fubao Jin, Yufeng Chen, Zhiwu Li, Murat Uzam, Huimin Ma

Get full text

Modeling and Verification of Reconfigurable and Energy-Efficient Manufacturing Systems by Jiafeng Zhang, Mohamed Khalgui, Wassim Mohamed Boussahel, Georg Frey, ChiTin Hon, Naiqi Wu, Zhiwu Li

Get full text

The Early Cambrian Mianyang-Changning Intracratonic Sag and Its Control on Petroleum Accumulation in the Sichuan Basin, China by Shugen Liu, Bin Deng, Luba Jansa, Yong Zhong, Wei Sun, Jinmin Song, Guozhi Wang, Juan Wu, Zhiwu Li, Yanhong Tian

Get full text