Login / Signup

Process objects/masked composition: an object-oriented approach for modeling and control of discrete-event systems.

Mark A. ShaymanRatnesh Kumar
Published in: IEEE Trans. Autom. Control. (1999)
Keyphrases
  • discrete event systems
  • process control
  • discrete event
  • control system
  • d objects
  • model checking
  • dynamical systems
  • control strategy
  • model based diagnosis