监督控制理论在多任务机床控制系统中应用.pdf

2011年 l1月 机床与液压 NOV．2011 第39卷 第22期 MACHINET00L HYDRAULICS V01．39No．22 DOI：10．3969／j．issn．1001—3881．2011．22．028 监督控制理论在多任务机床控制系统中的应用 荣胜波，朱军，史勃，张环宇 (中国科学院沈阳自动化研究所，辽宁沈阳110016) 摘要：监督控制理论是针对离散事件系统的一种有效的形式化描述方法。该方法采用有限状态 自动机作为事件序列的 生成描述。简述该理论的主要成果及其在实践中的局限性 ，探讨该理论在多任务机床控制系统中的应用，并根据实际应用 的效果进行分析总结。 关键词：监督控制理论 ；离散事件系统；多任务机床 中图分类号：TP29 文献标识码：A 文章编号：1001—3881(2011)22—085—3 TheApplicationofSupervisoryControlTheorytoControlSystem of Multiple．taskM achineTool RONG Shengbo，ZHUJun，SHIBo，ZHANGHuanyu (ShenyangInstituteofAutomation，ChineseAcademyofSciences，ShenyangLiaoning110016，China) Abstract：Supervisorycontroltheory isoneofvalidformalmethodfordescriptionofdiscreteeventsystem．Thismethodusesfi— nitestateautomatonaseventseriesfomr ingdescription．Themainresearchandthelimitationinpracticeofthistheory weredescribed． Theapplicationofthistheory tothecontrolsystem ofmultiple—taskmachinetoolwasexplored．A conclusionaccordingtotheapplica— tioneffectwasgiven． Keywords：Supervisory controlsystem；Discreteeventsystem ；Muhiple—taskmachinetool 离散事件系统是指系统受时间驱动、系统状态跳 函数 ；q。是初始状态 ；Q Q是带有标记的状态集 跃式变化，系统的迁移发生在一串离散事件点上。现 合，它是 p的子集。而事件集合 根据事件的特点 代制造加工机床就是一种典型的离散事件系统。由 又分为 和 ，且有 = U 、 n = ， RAMADGE和 WONHAM所提出的监督控制理论控制 其中 代表可控事件集合，如液压缸的动作、伺服 离散事件系统的一种重要工具。监督控制理论建立在 电机的定位动作等；乏 代表不可控事件集合，如动 一 个可以由自动机所表述的模型之上。该模型描述所 作部件的机械故障等。同时这里定义 为有限的事 控制的物理系统的自由行为与相应的约束规则，可以 件序列，同时可以引入空序列 并定义 ={}U 对多个监督进行一种形式化的自动合成。由监督所产 ， 中的元素表示由 中的元素组成的一个序列 生的受控动作来限制物理系统的行为，以满足所控系 或者称其为字符 串，s为空 串 如果 = ，则 统的技术规范 。RAMADGE与 WONHAM开始提出 = 且 ={s}。 上 的语言 为 的子集。 监控理论时主要强调其概念的简单性与普适性 ，并未 L