[发明专利]自动生成控制的方法无效
申请号: | 96193277.5 | 申请日: | 1996-04-01 |
公开(公告)号: | CN1181822A | 公开(公告)日: | 1998-05-13 |
发明(设计)人: | K·温克尔曼 | 申请(专利权)人: | 西门子公司 |
主分类号: | G05B19/05 | 分类号: | G05B19/05 |
代理公司: | 中国专利代理(香港)有限公司 | 代理人: | 马铁良,萧掬昌 |
地址: | 联邦德*** | 国省代码: | 暂无信息 |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | 这里将介绍一种方法,它支持从一个与应用联系的正规的规范中生成控制器。本方法可能生成控制器,该程序满足特定的安全条件,并且因此保证在生成过程中遵循安全条件。预先规定了定义顺序和并行的过程的结构,它允许说明但仅说明功能期望的方面,所以在安全和功能之间达到一个清晰的区别。 | ||
搜索关键词: | 自动 生成 控制 方法 | ||
【主权项】:
1、自动生成用于一个过程的控制器的方法,a)其中,确定一个不确定的自动机,它说明控制器所有物理可行的动作方法,b)其中,说明了控制器影响的过程的允许状态迁移,c)其中,设置自动机使它满足预先规定的安全条件,d)其中,0设置自动机使它满足包括控制程序和过程的系统的功能。
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于西门子公司,未经西门子公司许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/patent/96193277.5/,转载请声明来源钻瓜专利网。
- 上一篇:特别用于交通工程通信系统的天线系统
- 下一篇:晒衣夹及晒衣具