许多过程控制系统可以看作混合控制系统。为使设计的控制器满足整个系统一定的过程需求，对象的信息是不可缺少的。本文为这类系统的开发提出了广义对象的形式化模型。基于这样的模型，可以从目标要求中直接提取系统需求，控制器也可以根据基于对象的形式化方法进行设计。我们以一个工业过程控制的实例来说明我们的方法和模型，采用时段演算来描述系统的特性并进行控制器的开发。 Many process control systems can be considered hybrid control systems. To make the design of the controller to meet the needs of the entire system process requirements, the object of information is indispensable. This paper presents a formalized model of generalized objects for the development of such systems. Based on such a model, the system requirements can be directly extracted from the target requirements, and the controller can also be designed according to an object-based formal method. We illustrate our method and model with an example of industrial process control, using bucket-time calculus to characterize the system and develop the controller.