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

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

筛选
英文 中文
Discrete Event and Hybrid System Simulation with SimEvents 离散事件与SimEvents混合系统仿真
2006 8th International Workshop on Discrete Event Systems Pub Date : 2006-07-10 DOI: 10.1109/WODES.2006.382398
Michael I. Clune, P. Mosterman, C. Cassandras
{"title":"Discrete Event and Hybrid System Simulation with SimEvents","authors":"Michael I. Clune, P. Mosterman, C. Cassandras","doi":"10.1109/WODES.2006.382398","DOIUrl":"https://doi.org/10.1109/WODES.2006.382398","url":null,"abstract":"—A new simulation product for discrete event and hybrid systems is overviewed and some examples of application areas where it can be used are brie y described.","PeriodicalId":285315,"journal":{"name":"2006 8th International Workshop on Discrete Event Systems","volume":"88 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":"121352153","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}
引用次数: 47
Modular control-loop detection 模块化控制回路检测
2006 8th International Workshop on Discrete Event Systems Pub Date : 2006-07-10 DOI: 10.1109/WODES.2006.1678418
Petra Malik, R. Malik
{"title":"Modular control-loop detection","authors":"Petra Malik, R. Malik","doi":"10.1109/WODES.2006.1678418","DOIUrl":"https://doi.org/10.1109/WODES.2006.1678418","url":null,"abstract":"This paper presents an efficient algorithm to detect control-loops in large finite-state systems. The proposed algorithm exploits the modular structure present in many models of practical relevance, and often successfully avoids the explicit synchronous composition of subsystems and thereby the state explosion problem. Experimental results show that the method can be used to verify industrial applications of considerable complexity","PeriodicalId":285315,"journal":{"name":"2006 8th International Workshop on Discrete Event Systems","volume":"17 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":"129427547","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}
引用次数: 10
Computationally efficient supervisor design: abstraction and modularity 计算效率高的监控器设计:抽象和模块化
2006 8th International Workshop on Discrete Event Systems Pub Date : 2006-07-10 DOI: 10.1109/WODES.2006.1678399
Lei Feng, W. Wonham
{"title":"Computationally efficient supervisor design: abstraction and modularity","authors":"Lei Feng, W. Wonham","doi":"10.1109/WODES.2006.1678399","DOIUrl":"https://doi.org/10.1109/WODES.2006.1678399","url":null,"abstract":"A flexible modular and hierarchical structure is presented to reduce computational effort in designing optimal nonblocking supervisors for discrete-event systems (DES). The structure organizes the system into modular subsystems that embody internal interacting dependencies. Verification and coordination among modular subsystems are achieved through their model abstractions. Sufficient conditions are presented to guarantee that these coordinators and modular supervisors result in optimal nonblocking control. A medium-sized example demonstrates the computational advantage of our approach","PeriodicalId":285315,"journal":{"name":"2006 8th International Workshop on Discrete Event Systems","volume":"1 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":"124230526","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}
引用次数: 68
Diagnosis of cyclic discrete-event systems using active acquisition of information 基于主动信息采集的循环离散事件系统诊断
2006 8th International Workshop on Discrete Event Systems Pub Date : 2006-07-10 DOI: 10.1109/WODES.2006.1678438
D. Thorsley, D. Teneketzis
{"title":"Diagnosis of cyclic discrete-event systems using active acquisition of information","authors":"D. Thorsley, D. Teneketzis","doi":"10.1109/WODES.2006.1678438","DOIUrl":"https://doi.org/10.1109/WODES.2006.1678438","url":null,"abstract":"This paper extends the active acquisition of information approach developed in Thorsley and Teneketzis (2004) from the case of acyclic, timed automata to the more general case of cyclic, asynchronous automata. Conditions for the existence of optimal solutions at finite cost are presented for both logical and stochastic systems. The information state method developed in the previous paper is reduced to a \"diagnoser state\" method wherein actions are computed for each potential set of states, as opposed to each potential set of strings. After developing a method of finding an optimal policy, a limited lookahead algorithm is presented to produce a suboptimal solution with less intensive computation","PeriodicalId":285315,"journal":{"name":"2006 8th International Workshop on Discrete Event Systems","volume":"1 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":"134153076","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}
引用次数: 7
Reduction of the supervisor design problem with firing vector constraints 减少具有发射矢量约束的监督器设计问题
2006 8th International Workshop on Discrete Event Systems Pub Date : 2006-07-10 DOI: 10.1109/WODES.2006.1678433
M. V. Iordache, P. Antsaklis
{"title":"Reduction of the supervisor design problem with firing vector constraints","authors":"M. V. Iordache, P. Antsaklis","doi":"10.1109/WODES.2006.1678433","DOIUrl":"https://doi.org/10.1109/WODES.2006.1678433","url":null,"abstract":"This paper presents a new result concerning the design of supervisors for specifications involving firing vectors. The result shows that without loss of permissiveness, a solution to the design problem can be found by solving another supervisor design problem, involving only marking specifications, in a transformed Petri net. On one hand, this result shows that the methods for marking specifications can be applied to specifications involving also firing vectors. On the other hand, the specifications involving firing vectors have been shown to be necessary in order to describe the P-type languages of free-labeled Petri nets. Since the method of this paper could be used without loss of permissiveness, it is complementary to our previous work on structural and suboptimal methods for the design of supervisors with firing vector specifications","PeriodicalId":285315,"journal":{"name":"2006 8th International Workshop on Discrete Event Systems","volume":"1 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":"130702854","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
LabVIEW State Diagram Toolkit for the Design and Implementation of Discrete-Event Systems 离散事件系统设计与实现的LabVIEW状态图工具箱
2006 8th International Workshop on Discrete Event Systems Pub Date : 2006-07-10 DOI: 10.1109/WODES.2006.382520
J. Falcon
{"title":"LabVIEW State Diagram Toolkit for the Design and Implementation of Discrete-Event Systems","authors":"J. Falcon","doi":"10.1109/WODES.2006.382520","DOIUrl":"https://doi.org/10.1109/WODES.2006.382520","url":null,"abstract":"The LabVIEW state diagram toolkit can be used to design and implement state machines within the LabVIEW development environment. The toolkit includes a state diagram editor so the user can draw the logic that defines the state machine. As this visual representation of the logic is created, the state diagram editor generates the LabVIEW code that executes the state machine. The logic is represented in code by a series of graphical while loops and case statements. The generated LabVIEW code can run on multiple operating systems and multiple real-time targets including NI programmable automation controller (PAC) platforms such as PXI/cPCI, CompactRIO, and Compact FieldPoint","PeriodicalId":285315,"journal":{"name":"2006 8th International Workshop on Discrete Event Systems","volume":"15 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":"115496818","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}
引用次数: 7
Scheduling of discrete event systems using mixed integer linear programming 离散事件系统的混合整数线性规划调度
2006 8th International Workshop on Discrete Event Systems Pub Date : 2006-07-10 DOI: 10.1109/WODES.2006.1678411
A. Kobetski, Martin Fabian
{"title":"Scheduling of discrete event systems using mixed integer linear programming","authors":"A. Kobetski, Martin Fabian","doi":"10.1109/WODES.2006.1678411","DOIUrl":"https://doi.org/10.1109/WODES.2006.1678411","url":null,"abstract":"To remain competitive, the modern industry strive for flexibility. Recently, a method for automatic generation of control code from a 3D simulation model of a flexible manufacturing system was developed. Finite automata and supervisory control theory (SCT) were used to guarantee the required behaviour of the system. This paper moves one step further. A method for automatic conversion between deterministic finite automata and mixed integer linear programming (MILP) formulation is presented. This allows to efficiently combine SCT and MILP to automatically generate time-optimal, collision-free and non-blocking working schedules","PeriodicalId":285315,"journal":{"name":"2006 8th International Workshop on Discrete Event Systems","volume":"8 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":"114400541","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}
引用次数: 17
Programming discrete control systems using state machine templates 使用状态机模板编程离散控制系统
2006 8th International Workshop on Discrete Event Systems Pub Date : 2006-07-10 DOI: 10.1109/WODES.2006.1678430
G. Ekberg, B. Krogh
{"title":"Programming discrete control systems using state machine templates","authors":"G. Ekberg, B. Krogh","doi":"10.1109/WODES.2006.1678430","DOIUrl":"https://doi.org/10.1109/WODES.2006.1678430","url":null,"abstract":"This paper presents an approach to discrete control based on combining independent pre-defined control templates (simple state machines) to create the control software for an entire discrete process. Using this approach, application engineers who are typically not programmers can assign instances of the state-machine templates to each device in the process and identify the conditions that control the state transitions in each state machine. Experience with industrial customers shows there are several benefits realized from this methodology. The purpose of this paper is to introduce this practical methodology to the discrete-event systems research community, and to suggest several directions for research","PeriodicalId":285315,"journal":{"name":"2006 8th International Workshop on Discrete Event Systems","volume":"137 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":"115127546","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}
引用次数: 19
Decidability, expressivity and state-space computation of stopwatch Petri nets with discrete-time semantics 具有离散时间语义的秒表Petri网的可判决性、表达性和状态空间计算
2006 8th International Workshop on Discrete Event Systems Pub Date : 2006-07-10 DOI: 10.1109/WODES.2006.1678404
M. Magnin, P. Molinaro, O. Roux
{"title":"Decidability, expressivity and state-space computation of stopwatch Petri nets with discrete-time semantics","authors":"M. Magnin, P. Molinaro, O. Roux","doi":"10.1109/WODES.2006.1678404","DOIUrl":"https://doi.org/10.1109/WODES.2006.1678404","url":null,"abstract":"In this paper, we address the general class of bounded Petri nets with stopwatches (SwPNs), which is an extension of T-time Petri nets (TPNs) where time is associated with transitions. Stopwatches can be reset, stopped and started. Our goal is to apply a discrete approach: we propose a structural translation from this model to classical Petri nets with flush arcs and inhibitor hyperarcs. Further on, we prove that this translation preserves weak timed bisimilarity. For the theory of Petri nets with stopwatches, the consequences are both theoretical and practical: 1) Petri nets with flush arcs and inhibitor hyperarcs, discrete-time TPNs and 1-safe discrete-time SwTPNs are equally expressive w.r.t. timed bisimilarity, thus timed language acceptance; 2) reachability problem - undecidable with dense-time semantics - becomes decidable once discrete-time is considered; 3) state space of discrete-time SwPNs can be computed directly by using existing tools for classical Petri nets; 4) we can verify temporal properties on a SwPN by working on the classical Petri net resulting from the translation. We give experimental results comparing the discrete-time state space computation and the dense-time one showing that, in many cases, combinatory explosion is not such a big concern. For the sake of simplicity, our results are explained on a model whose high-level functions make them very convenient to understand: time Petri nets with flush arcs and inhibitor hyperarcs (FIHTPNs). Our conclusions can however be easily extended to the general class of SwPNs","PeriodicalId":285315,"journal":{"name":"2006 8th International Workshop on Discrete Event Systems","volume":"31 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":"124604253","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
Modular and decentralized supervisory control of concurrent discrete event systems using reduced system models 使用简化系统模型的并行离散事件系统的模块化和分散监督控制
2006 8th International Workshop on Discrete Event Systems Pub Date : 2006-07-10 DOI: 10.1109/WODES.2006.1678423
K. Schmidt, H. Marchand, B. Gaudin
{"title":"Modular and decentralized supervisory control of concurrent discrete event systems using reduced system models","authors":"K. Schmidt, H. Marchand, B. Gaudin","doi":"10.1109/WODES.2006.1678423","DOIUrl":"https://doi.org/10.1109/WODES.2006.1678423","url":null,"abstract":"This paper investigates the supervisor synthesis for concurrent systems based on reduced system models with the intention of complexity reduction. It is assumed that the expected behavior (specification) is given on a subset of the system alphabet, and the system behavior is reduced to this alphabet. Supervisors are computed for each reduced subsystem employing the modular approach in Komenda et al. (2005) and the decentralized approach in Lee and Wong (2002). Depending on the chosen architecture, we provide sufficient conditions for the consistent implementation of the reduced supervisors for the original system","PeriodicalId":285315,"journal":{"name":"2006 8th International Workshop on Discrete Event Systems","volume":"41 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":"125679221","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}
引用次数: 42
下一页 尾页
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学术文献互助群
群 号：481959085
Book学术官方微信