发布求助
文献互助 智能选刊 最新文献

2006 8th International Workshop on Discrete Event Systems最新文献

筛选
英文 中文
MFSMTools: Software for the Development, Verification, and Execution of Modular Finite State Machines MFSMTools:用于开发、验证和执行模块化有限状态机的软件
2006 8th International Workshop on Discrete Event Systems Pub Date : 2006-07-10 DOI: 10.1109/WODES.2006.382519
E. W. Endsley, E. E. Almeida, K. Ramamoorthy, D. Tilbury
{"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":"https://doi.org/10.1109/WODES.2006.382519","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.0,"publicationDate":"2006-07-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123531607","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Restarting Flexible Manufacturing Systems; Synthesis of Restart States 重新启动柔性制造系统;重启状态综合
2006 8th International Workshop on Discrete Event Systems Pub Date : 2006-07-10 DOI: 10.1109/WODES.2006.1678431
K. Andersson, B. Lennartson, Martin Fabian
{"title":"Restarting Flexible Manufacturing Systems; Synthesis of Restart States","authors":"K. Andersson, B. Lennartson, Martin Fabian","doi":"10.1109/WODES.2006.1678431","DOIUrl":"https://doi.org/10.1109/WODES.2006.1678431","url":null,"abstract":"A method for restart of flexible manufacturing systems is presented. Based on the execution restrictions on the operations in the control function, a number of restart states are synthesized off-line. We show that a restart from the closest preceding restart state never violates the execution restrictions. The presented method usually produces fewer restart states than an intuitive approach, and the number of paths used solely in the restart is considerably reduced, so less paths have to be updated and maintained. Instead, normal production paths are used in the restart when possible. The on-line part of the restart method can be executed by any PLC, and does not require the use of more powerful computers. The method is able to handle situations in which an error or manual intervention has lead to a machine configuration that is not consistent with any of the states in the control function","PeriodicalId":285315,"journal":{"name":"2006 8th International Workshop on Discrete Event Systems","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-07-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123939010","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 9
Adaptive stepsize selection for online Q-learning in a non-stationary environment 非平稳环境下在线q学习的自适应步长选择
2006 8th International Workshop on Discrete Event Systems Pub Date : 2006-07-10 DOI: 10.1109/WODES.2006.382396
Kim Levy, Felisa Vazquez-Abad, Andre Costa
{"title":"Adaptive stepsize selection for online Q-learning in a non-stationary environment","authors":"Kim Levy, Felisa Vazquez-Abad, Andre Costa","doi":"10.1109/WODES.2006.382396","DOIUrl":"https://doi.org/10.1109/WODES.2006.382396","url":null,"abstract":"We consider the problem of real-time control of a discrete-time Markov decision process (MDP) in a non-stationary environment, which is characterized by large, sudden changes in the parameters of the MDP. We consider here an online version of the well-known Q-learning algorithm, which operates directly in its target environment. In order to track changes, the stepsizes (or learning rates) must be bounded away from zero. In this paper, we show how the theory of constant stepsize stochastic approximation algorithms can be used to motivate and develop an adaptive stepsize algorithm, that is appropriate for the online learning scenario described above. Our algorithm automatically achieves a desirable balance between accuracy and rate of reaction, and seeks to track the optimal policy with some pre-determined level of confidence","PeriodicalId":285315,"journal":{"name":"2006 8th International Workshop on Discrete Event Systems","volume":"31 3","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-07-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134094188","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
Modeling techniques for distributed control systems based on the IEC 61499 standard - current approaches and open problems 基于IEC 61499标准的分布式控制系统的建模技术——当前的方法和尚未解决的问题
2006 8th International Workshop on Discrete Event Systems Pub Date : 2006-07-10 DOI: 10.1109/WODES.2006.1678427
Georg Frey, T. Hussain
{"title":"Modeling techniques for distributed control systems based on the IEC 61499 standard - current approaches and open problems","authors":"Georg Frey, T. Hussain","doi":"10.1109/WODES.2006.1678427","DOIUrl":"https://doi.org/10.1109/WODES.2006.1678427","url":null,"abstract":"The introduction of distributed systems to the automation area not only brought new design methods but also new analysis problems. This paper is an attempt to survey approaches in modeling systems based on the standard IEC 61499 and to point out some open problems. The modeling approaches can be classified into two groups namely those dealing with design problems and those dealing principally with formal analysis. The survey notes some design approaches but then focuses on the formal approaches. It also points out the open issues and problems within the standard (execution model, event-handling, and data-handling) which are leading to differences in various formal approaches used for analyzing the IEC 61499 applications","PeriodicalId":285315,"journal":{"name":"2006 8th International Workshop on Discrete Event Systems","volume":"130 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-07-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134318737","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 30
The Environment Grail for Supervisory Control of Discrete Event Systems 离散事件系统监控的环境圣杯
2006 8th International Workshop on Discrete Event Systems Pub Date : 2006-07-10 DOI: 10.1109/WODES.2006.382400
C. Reiser, A.E.C. da Cunha, J. Cury
{"title":"The Environment Grail for Supervisory Control of Discrete Event Systems","authors":"C. Reiser, A.E.C. da Cunha, J. Cury","doi":"10.1109/WODES.2006.382400","DOIUrl":"https://doi.org/10.1109/WODES.2006.382400","url":null,"abstract":"In the Department of Automation and Systems (DAS) of the Federal University of Santa Catarina (UFSC), Brazil, the tool Grail is being used for teaching and researching in the field of the supervisory control theory (SCT). Grail was reorganized into a tool named Grail for Supervisory Control in order to compile the developments related to the SCT. As the SCT has extensions to deal with different classes of problems, so the tool is expandable in toolboxes. Toolboxes dedicated to the supervisory control of condition/event systems, hierarchical supervisory control, and multitasking supervisory control are developed","PeriodicalId":285315,"journal":{"name":"2006 8th International Workshop on Discrete Event Systems","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-07-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134368134","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 22
Liveness and acceptable trajectories in P-time Event Graphs p时间事件图中的活动轨迹和可接受轨迹
2006 8th International Workshop on Discrete Event Systems Pub Date : 2006-07-10 DOI: 10.1109/WODES.2006.382514
P. Declerck, M. Alaoui
{"title":"Liveness and acceptable trajectories in P-time Event Graphs","authors":"P. Declerck, M. Alaoui","doi":"10.1109/WODES.2006.382514","DOIUrl":"https://doi.org/10.1109/WODES.2006.382514","url":null,"abstract":"This paper presents a modelling and an analysis of P-time event graphs in the field of (max, +) algebra. Under the hypothesis of the logical liveness of the event graph, temporal liveness is defined by the existence of a trajectory. Based on a particular series of matrices, the extremal trajectories starting from an initial interval are deduced. The liveness of the static part and dynamic part are analysed","PeriodicalId":285315,"journal":{"name":"2006 8th International Workshop on Discrete Event Systems","volume":"103 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-07-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126261384","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
The Integrated Discrete-Event Systems Tool 集成离散事件系统工具
2006 8th International Workshop on Discrete Event Systems Pub Date : 2006-07-10 DOI: 10.1109/WODES.2006.382403
K. Rudie
{"title":"The Integrated Discrete-Event Systems Tool","authors":"K. Rudie","doi":"10.1109/WODES.2006.382403","DOIUrl":"https://doi.org/10.1109/WODES.2006.382403","url":null,"abstract":"A software tool for discrete-event systems problem-solving is described. The tool, called IDES, features a graphical user interface, allows input to be entered in a way that mimics pen-and-paper drawing, and allows output to LATEX and other formats. The current version of the tool does not yet include DES operations; rather it serves as a prototype for the software we are building that will incorporate DES operations","PeriodicalId":285315,"journal":{"name":"2006 8th International Workshop on Discrete Event Systems","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-07-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131728192","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 34
Asymptotic growth rate of stochastic max-plus systems that with a positive probability have a sunflower-like support 具有向日葵状支撑的正概率随机极大正系统的渐近增长率
2006 8th International Workshop on Discrete Event Systems Pub Date : 2006-07-10 DOI: 10.1109/WODES.2006.382515
J. van der Woude, B. Heidergott
{"title":"Asymptotic growth rate of stochastic max-plus systems that with a positive probability have a sunflower-like support","authors":"J. van der Woude, B. Heidergott","doi":"10.1109/WODES.2006.382515","DOIUrl":"https://doi.org/10.1109/WODES.2006.382515","url":null,"abstract":"In this paper the asymptotic growth rate of stochastic max-plus linear systems is studied. Special attention is paid to systems whose system matrix with a positive probability is supported by a basic sunflower graph, i.e., a graph that contains precisely one circuit, which has length one (a self-loop), and in which each node has precisely one predecessor. It is shown that for such systems all state components have the same asymptotic growth rate. The result is illustrated by means of an example. Also two generalizations will be briefly presented","PeriodicalId":285315,"journal":{"name":"2006 8th International Workshop on Discrete Event Systems","volume":"592 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-07-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123042587","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 6
Diagnosis from scenarios [system diagnosis] 场景诊断【系统诊断】
2006 8th International Workshop on Discrete Event Systems Pub Date : 2006-07-10 DOI: 10.1109/WODES.2006.1678447
L. Hélouet, T. Gazagnaire, B. Genest
{"title":"Diagnosis from scenarios [system diagnosis]","authors":"L. Hélouet, T. Gazagnaire, B. Genest","doi":"10.1109/WODES.2006.1678447","DOIUrl":"https://doi.org/10.1109/WODES.2006.1678447","url":null,"abstract":"Diagnosis of a system consists in providing explanations to a supervisor from a partial observation of the system and a model of possible executions. This paper proposes a partial order diagnosis algorithm that recovers sets of scenarios which correspond to a given observation. The main difficulty is that some actions are unobservable but may still induce some causal ordering among observed events. We first give an offline centralized diagnosis algorithm, then we discuss a distributed version of this algorithm","PeriodicalId":285315,"journal":{"name":"2006 8th International Workshop on Discrete Event Systems","volume":"60 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-07-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124539200","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
TCT: A Computation Tool for Supervisory Control Synthesis TCT:监控综合的计算工具
2006 8th International Workshop on Discrete Event Systems Pub Date : 2006-07-10 DOI: 10.1109/WODES.2006.382399
Lei Feng, W. Wonham
{"title":"TCT: A Computation Tool for Supervisory Control Synthesis","authors":"Lei Feng, W. Wonham","doi":"10.1109/WODES.2006.382399","DOIUrl":"https://doi.org/10.1109/WODES.2006.382399","url":null,"abstract":"This paper introduces the new features of the TCT software package","PeriodicalId":285315,"journal":{"name":"2006 8th International Workshop on Discrete Event Systems","volume":"210 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-07-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125153076","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 84
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信