Login / Signup

Maximally Permissive Supervisory Control of Nondeterministic Discrete Event Systems with Nondeterministic Specifications.

Shigemasa Takai
Published in: CDC (2018)
Keyphrases
  • discrete event systems
  • discrete event
  • supervisory control
  • simulation model
  • petri net
  • dynamic systems
  • complex systems
  • telecommunication networks
  • model based diagnosis
  • dynamical systems
  • data acquisition
  • real time