C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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