control system synthesis