Contracts for modular discrete controller synthesis.

Gwenaël Delaval Hervé Marchand Éric Rutten

Published in: LCTES (2010)

Keyphrases

controller synthesis
autonomic computing systems
control system
control algorithm
supply chain
computer systems
closed loop