Login / Signup
Component-Based Abstraction Refinement for Timed Controller Synthesis.
Hans-Jörg Peter
Robert 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