Improved Approaches for Verifying I-Detectability of Discrete-Event Systems.

Zhaocong Liu Xiang Yin Shaoyuan Li

Published in: ASCC (2019)

Keyphrases

discrete event systems
petri net
telecommunication networks
special case
wireless sensor networks
low level
discrete event
failure diagnosis