Verification of $k$-Step and Definite Critical Observability in Discrete-Event Systems.

Yin Tong Ziyue Ma

Published in: IEEE Trans. Autom. Control. (2023)

Keyphrases

discrete event systems
petri net
model based diagnosis
complex systems
telecommunication networks
failure diagnosis
timed petri nets
post processing
model checking
discrete event
database
dynamic systems
temporal constraints
database design
action recognition
expert systems
video sequences
databases