Login / Signup

Component-Based Abstraction Refinement for Timed Controller Synthesis.

Hans-Jörg PeterRobert Mattmüller
Published in: RTSS (2009)
Keyphrases
  • controller synthesis
  • autonomic computing systems
  • petri net
  • closed loop
  • multi agent
  • control system
  • control algorithm
  • autonomic systems
  • particle swarm optimization
  • computing systems