Login / Signup

A Comparative Study of Synthesis Methods for Discrete Event Controllers.

Luz E. PinzonHans-Michael HanischMohsen A. JafariThomas O. Boucher
Published in: Formal Methods Syst. Des. (1999)
Keyphrases
  • discrete event
  • significant improvement
  • hybrid systems
  • computational cost
  • real time
  • machine learning
  • reinforcement learning
  • search algorithm
  • preprocessing
  • machine learning methods