A µ-calculus formulation of the diagnosability of discrete event systems.

Florent Peres Mohamed Ghazel

Published in: Int. J. Crit. Comput. Based Syst. (2016)

Keyphrases

discrete event systems
petri net
complex systems
model based diagnosis
telecommunication networks
timed petri nets
discrete event
failure diagnosis
temporal constraints
management system
dynamic systems
databases
simulation model
model checking
cost effective
response time
multi agent systems