- 1、本文档共4页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
FMS建模和形式化验证.PDF
系 统 仿 真 学 报 Vol. 16 No. 9
• 1914 • JOURNAL OF SYSTEM SIMULATION Sept. 2004
FMS 建模和形式化验证
徐 刚 吴智铭
(上海交通大学浩然高科技大厦 1416信箱, 上海 200030)
摘 要 提出了一种FMS的建模方法, 此方法是基于时间自动机模型 运用模型检查工具UPPAAL
来进行建模 仿真和验证 由于时间的因素被考虑到建模方法中, 因此FMS的调度和控制问题可以
被集成到这个模型中 在系统的行为被控制的同时, 可以保证系统的性能指标 从而最优调度和最
优控制可以得到检查和验证
关键词: 柔性制造系统 死锁 UPPAAL 自动机 甘特图
文章编号 1004-731X (2004) 09-1914-04 中图分类号 TH165 文献标识码 A
Formal Modeling and Verification for FMS
XU Gang, WU Zhi-ming
(1416 Postbox Haoran building, Institute of Automation, Shanghai Jiaotong university, Shanghai 200030, China)
Abstract : A modeling method for FMS is pre sented. This method is based upon the timed automata. Model checker tool
UPPAAL is used to model, simulate and verify the FMS model. Because the time is included into the modeling method in
this paper, the scheduling and controlling problems in FMS can be integrated into this model. The performance of the system
can be guaranteed while the system behavior is controlled. Upon this model, the optimal scheduling and optimal controlling
can also be checked and verified.
Keywords: FMS; deadlock; UPPAAL ; automaton; Gantt chart
1 和设计的概貌 在本文中, 在控制器的设计中,考虑了时间
引 言
因素 运用流行的模型检查工具 UPPAAL, 将 FMS 的调度
柔性制造系统(FMS)是一种复杂的异步并发系统 FMS 和控制集成到实时控制器中
的控制系统的模型应能够支
您可能关注的文档
- 2016年度环境空气质量激励资金项目支出.doc
- (APISAT2014)征文通知-江苏省航空航天学会.doc
- 2017年下半年信息系统项目管理师下午试卷.PDF
- (参照行政院中古汽车买卖定型化契约范本).doc
- 0.44平方千米世界前十位的人口大国中国印度美国印尼巴基斯坦-资源.ppt
- 04.基于航空航天应用多样性新型钛合金研制.PDF
- 1060929_越南医疗器材市场及法规简析.doc
- 2018年12月全校教职工到岗情况表.PDF
- 14.光电成像系统-赣南师范大学.ppt
- 1站内PCM检测的特点.doc
- 2024年USB电话商务管理系统项目可行性研究报告.docx
- [白城]2024年吉林白城市通榆县事业单位面向下半年应征入伍高校毕业生招聘笔试历年参考题库(频考点试.docx
- [甘肃]2024年甘肃省地质矿产勘查开发局第一地质矿产勘查院招聘52人笔试历年参考题库(频考点试卷).docx
- 2024年端子机刀片刀模项目可行性研究报告.docx
- 2024年情侣相框项目可行性研究报告.docx
- [玉溪]2024下半年云南玉溪市事业单位招聘工作人员189人笔试历年参考题库(频考点试卷)解题思路附.docx
- 2024至2030年双面脚轮项目投资价值分析报告.docx
- [湖南]2024年湖南劳动人事职业学院招聘32人笔试历年参考题库(频考点试卷)解题思路附带答案详解.docx
- [湖南]2024年湖南建筑高级技工学校(湖南建设中等职业学校)招聘17人笔试历年参考题库(频考点试卷.docx
- [烟台]2024年山东烟台市市场监督管理局所属事业单位招聘19人笔试历年参考题库(频考点试卷)解题思.docx
文档评论(0)