Login / Signup

Incremental Abstraction Computation for Symbolic Controller Synthesis in a Changing Environment.

Yunjun BaiKaushik MallikAnne-Kathrin SchmuckDamien ZuffereyRupak Majumdar
Published in: CDC (2019)
Keyphrases
  • changing environment
  • controller synthesis
  • high level
  • dynamic environments
  • autonomous agents
  • autonomic computing systems
  • control system
  • real time
  • neural network
  • learning algorithm
  • closed loop
  • control algorithm