Login / Signup

Maximally Permissive Supervisors for Nonblocking Similarity Control of Nondeterministic Discrete-Event Systems.

Jinglun LiShigemasa Takai
Published in: IEEE Trans. Autom. Control. (2023)
Keyphrases
  • discrete event systems
  • discrete event
  • petri net
  • complex systems
  • model based diagnosis
  • telecommunication networks
  • failure diagnosis
  • control system
  • timed petri nets
  • np complete
  • temporal constraints