A µ-Calculus Framework for the Diagnosability of Discrete Event Systems.

Mohamed Ghazel Florent Peres

Published in: VECoS (2014)

Keyphrases

discrete event systems
discrete event
petri net
telecommunication networks
main contribution
model based diagnosis
timed petri nets
data streams
probabilistic model
complex systems
eye movements
user defined