Login / Signup
A New Approach for Verification of Delay Co-observability of Discrete-Event Systems.
Yunfeng Hou
Qingdu Li
Yunfeng Ji
Gang Wang
Ching-Yen Weng
Published in:
IEEE Trans. Control. Netw. Syst. (2023)
Keyphrases
</>
discrete event systems
petri net
complex systems
model based diagnosis
failure diagnosis
discrete event
telecommunication networks
timed petri nets
model checking
dynamic systems
temporal constraints
low level
neural network
reinforcement learning