Exploiting symmetry in the synthesis of supervisors for discrete event systems.

José M. Eyzell José E. R. Cury

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

Keyphrases

discrete event systems
petri net
complex systems
model based diagnosis
telecommunication networks
failure diagnosis
discrete event
timed petri nets
temporal constraints
contextual information
symmetry detection
bilateral symmetry
high level
model checking
sensor networks
management system
expert systems
cooperative