This paper introduces the temporal logic language XYZ/E,and then describes the gasbumer control problem in XYZ/RBE and XYZ diagram.

• 本文给出了时序逻辑语言XYZ/E的相关介绍,并利用XYZ/E的子语言XYZ/RBE与XYZ图描述了煤气炉实时控制问题。