Login / Signup
Incremental Verification for On-the-Fly Controller Synthesis.
David J. Musliner
Michael J. S. Pelican
Robert 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