Control Synthesis under Double Constraintsдоклад на конференции