Login / Signup

Maximally Permissive Similarity Enforcing Supervisors for Nondeterministic Discrete Event Systems under Event and State Observations.

Katsuyuki KimuraShigemasa Takai
Published in: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2014)
Keyphrases
  • discrete event systems
  • petri net
  • complex systems
  • finite state
  • model based diagnosis
  • integrity constraints
  • timed petri nets