Login / Signup
A Unified Framework for Verification of Observational Properties for Partially-Observed Discrete-Event Systems.
Jianing Zhao
Shaoyuan Li
Xiang Yin
Published in:
IEEE Trans. Autom. Control. (2024)
Keyphrases
</>
partially observed
discrete event systems
petri net
complex systems
model based diagnosis
discrete event
telecommunication networks
timed petri nets
cooperative
databases
database systems
heuristic search
model checking
failure diagnosis