E. W. Endsley, E. E. Almeida, K. Ramamoorthy, D. Tilbury
{"title":"MFSMTools:用于开发、验证和执行模块化有限状态机的软件","authors":"E. W. Endsley, E. E. Almeida, K. Ramamoorthy, D. Tilbury","doi":"10.1109/WODES.2006.382519","DOIUrl":null,"url":null,"abstract":"This paper describes a set of software tools that have been developed to create, manipulate, verify, and execute logic control systems written using modular finite state machines (MFSMs). The MFSMs are specified using text files, and the software is written in Java for portability. Interaction with the environment is supported via digital I0, simulated I0, DeviceNet, Ethernet (sockets), and OPC tags. Logic controllers written using MFSMs have been implemented on several manufacturing testbeds at the University of Michigan","PeriodicalId":285315,"journal":{"name":"2006 8th International Workshop on Discrete Event Systems","volume":"24 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2006-07-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"MFSMTools: Software for the Development, Verification, and Execution of Modular Finite State Machines\",\"authors\":\"E. W. Endsley, E. E. Almeida, K. Ramamoorthy, D. Tilbury\",\"doi\":\"10.1109/WODES.2006.382519\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This paper describes a set of software tools that have been developed to create, manipulate, verify, and execute logic control systems written using modular finite state machines (MFSMs). The MFSMs are specified using text files, and the software is written in Java for portability. Interaction with the environment is supported via digital I0, simulated I0, DeviceNet, Ethernet (sockets), and OPC tags. Logic controllers written using MFSMs have been implemented on several manufacturing testbeds at the University of Michigan\",\"PeriodicalId\":285315,\"journal\":{\"name\":\"2006 8th International Workshop on Discrete Event Systems\",\"volume\":\"24 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2006-07-10\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2006 8th International Workshop on Discrete Event Systems\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/WODES.2006.382519\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2006 8th International Workshop on Discrete Event Systems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/WODES.2006.382519","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
MFSMTools: Software for the Development, Verification, and Execution of Modular Finite State Machines
This paper describes a set of software tools that have been developed to create, manipulate, verify, and execute logic control systems written using modular finite state machines (MFSMs). The MFSMs are specified using text files, and the software is written in Java for portability. Interaction with the environment is supported via digital I0, simulated I0, DeviceNet, Ethernet (sockets), and OPC tags. Logic controllers written using MFSMs have been implemented on several manufacturing testbeds at the University of Michigan
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
