基于有限状态自动机的自动化制造系统有效监督综合

Q4 Computer Science

International Journal of Automation and Smart Technology Pub Date : 2018-06-01 DOI:10.5875/AUSMT.V8I2.1698

Ho-Shan Chiang, Yen-Liang Pan

{"title":"基于有限状态自动机的自动化制造系统有效监督综合","authors":"Ho-Shan Chiang, Yen-Liang Pan","doi":"10.5875/AUSMT.V8I2.1698","DOIUrl":null,"url":null,"abstract":"This paper proposes a novel supervisor for automated manufacturing systems (AMSs) using finite state automata (FSA). The synthesis method is useful for obtaining a legal supervisor, but the transitional method cannot prevent state explosion. Therefore, this paper uses a new synthesis policy to significantly reduce the number of illegal states. The proposed method effectively controls the inherent problem of exponential numbers of states by using the conventional method. In addition, a real world AMS is introduced to significantly improve performance efficiency.","PeriodicalId":38109,"journal":{"name":"International Journal of Automation and Smart Technology","volume":"1 1","pages":""},"PeriodicalIF":0.0000,"publicationDate":"2018-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Effective Supervisor Synthesis for Automated Manufacturing Systems Based on Finite State Automata\",\"authors\":\"Ho-Shan Chiang, Yen-Liang Pan\",\"doi\":\"10.5875/AUSMT.V8I2.1698\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This paper proposes a novel supervisor for automated manufacturing systems (AMSs) using finite state automata (FSA). The synthesis method is useful for obtaining a legal supervisor, but the transitional method cannot prevent state explosion. Therefore, this paper uses a new synthesis policy to significantly reduce the number of illegal states. The proposed method effectively controls the inherent problem of exponential numbers of states by using the conventional method. In addition, a real world AMS is introduced to significantly improve performance efficiency.\",\"PeriodicalId\":38109,\"journal\":{\"name\":\"International Journal of Automation and Smart Technology\",\"volume\":\"1 1\",\"pages\":\"\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2018-06-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"International Journal of Automation and Smart Technology\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.5875/AUSMT.V8I2.1698\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q4\",\"JCRName\":\"Computer Science\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"International Journal of Automation and Smart Technology","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.5875/AUSMT.V8I2.1698","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"Computer Science","Score":null,"Total":0}

引用次数: 0

摘要

本文提出了一种新的使用有限状态自动机（FSA）的自动化制造系统（AMSs）监督员。综合法有助于获得合法监督员，但过渡法不能防止状态爆炸。因此，本文使用了一种新的综合策略来显著减少非法状态的数量。该方法利用传统方法有效地控制了状态指数的固有问题。此外，还引入了现实世界中的AMS，以显著提高性能效率。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Effective Supervisor Synthesis for Automated Manufacturing Systems Based on Finite State Automata

This paper proposes a novel supervisor for automated manufacturing systems (AMSs) using finite state automata (FSA). The synthesis method is useful for obtaining a legal supervisor, but the transitional method cannot prevent state explosion. Therefore, this paper uses a new synthesis policy to significantly reduce the number of illegal states. The proposed method effectively controls the inherent problem of exponential numbers of states by using the conventional method. In addition, a real world AMS is introduced to significantly improve performance efficiency.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

International Journal of Automation and Smart Technology Engineering-Electrical and Electronic Engineering

CiteScore

0.70

自引率

0.00%

发文量

审稿时长

16 weeks

期刊介绍： International Journal of Automation and Smart Technology (AUSMT) is a peer-reviewed, open-access journal devoted to publishing research papers in the fields of automation and smart technology. Currently, the journal is abstracted in Scopus, INSPEC and DOAJ (Directory of Open Access Journals). The research areas of the journal include but are not limited to the fields of mechatronics, automation, ambient Intelligence, sensor networks, human-computer interfaces, and robotics. These technologies should be developed with the major purpose to increase the quality of life as well as to work towards environmental, economic and social sustainability for future generations. AUSMT endeavors to provide a worldwide forum for the dynamic exchange of ideas and findings from research of different disciplines from around the world. Also, AUSMT actively seeks to encourage interaction and cooperation between academia and industry along the fields of automation and smart technology. For the aforementioned purposes, AUSMT maps out 5 areas of interests. Each of them represents a pillar for better future life: - Intelligent Automation Technology. - Ambient Intelligence, Context Awareness, and Sensor Networks. - Human-Computer Interface. - Optomechatronic Modules and Systems. - Robotics, Intelligent Devices and Systems.