Synthesis of embedded control systems with high sampling frequencies