Synthesis of hierarchical process control systems based on sequential aggregations