Login / Signup

Current-State Opacity Verification in Modular Discrete Event Systems.

Yin TongHao Lan
Published in: CDC (2019)
Keyphrases
  • discrete event systems
  • petri net
  • model based diagnosis
  • telecommunication networks
  • cooperative
  • complex systems
  • failure diagnosis
  • timed petri nets
  • search space
  • management system
  • context aware
  • modular structure