Login / Signup

Incremental Verification for On-the-Fly Controller Synthesis.

David J. MuslinerMichael J. S. PelicanRobert P. Goldman
Published in: Electron. Notes Theor. Comput. Sci. (2006)
Keyphrases
  • controller synthesis
  • autonomic computing systems
  • closed loop
  • control system
  • multi agent
  • control algorithm
  • autonomic systems
  • real time
  • artificial neural networks
  • evolutionary algorithm