Based on t he model, requirements for the system can be specified from goals, and the contr oller can be designed according to the plant-based formal approach.

• 基于这样的模型，可以从目标要求中直接提取系统需求，控制器也可以根据基于对象的形式化方法进行设计。