Login / Signup
Estimation and Verification of Partially-Observed Discrete-Event Systems.
Xiang Yin
Published in:
CoRR (2019)
Keyphrases
</>
partially observed
discrete event systems
petri net
complex systems
model based diagnosis
failure diagnosis
discrete event
telecommunication networks
timed petri nets
model checking
dynamic systems
response time
data management
cooperative