Login / Signup
Symbolic Representation and Computation of Timed Discrete-Event Systems.
Sajed Miremadi
Zhennan Fei
Knut Åkesson
Bengt Lennartson
Published in:
IEEE Trans Autom. Sci. Eng. (2014)
Keyphrases
</>
discrete event systems
symbolic representation
petri net
discrete event
failure diagnosis
timed petri nets
telecommunication networks
real valued
model based diagnosis
complex systems
dynamic systems
simulation model
dimensionality reduction
video sequences
temporal information
original data