Login / Signup

Supervisor synthesis for discrete event systems with arbitrary forbidden state specifications.

Yu RuMaria Paola CabasinoAlessandro GiuaChristoforos N. Hadjicostis
Published in: CDC (2008)
Keyphrases
  • discrete event systems
  • petri net
  • complex systems
  • state space
  • model based diagnosis
  • failure diagnosis
  • databases
  • telecommunication networks
  • timed petri nets
  • management system
  • transition systems