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

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

筛选
英文 中文
A 'Controls Workflow Management' HMI To Configure and Maintain An Event Based Control System 一个“控制工作流管理”HMI配置和维护一个基于事件的控制系统
2006 8th International Workshop on Discrete Event Systems Pub Date : 2006-07-10 DOI: 10.1109/WODES.2006.382517
N. Arora, S. Gala, B. Lee, J. Luntz, J. Moyne, D. Tilbury
{"title":"A 'Controls Workflow Management' HMI To Configure and Maintain An Event Based Control System","authors":"N. Arora, S. Gala, B. Lee, J. Luntz, J. Moyne, D. Tilbury","doi":"10.1109/WODES.2006.382517","DOIUrl":"https://doi.org/10.1109/WODES.2006.382517","url":null,"abstract":"The next generation of factory control systems will consist of a conglomeration of hardware and software resources that must work together to achieve factory-wide targets of throughput, quality and reconfigurablity. The University of Michigan's Engineering Research Center has developed a control system that extends reconfigurable software event-based control by considering a manufacturing system as a set of decentralized resources of both hardware and software instead of separate solutions for hardware/logic and software control. This software control system utilizes the event-condition-action (ECA) paradigm to realize event based control, with workflow \"rules\" stored in a relational database. We facilitate the control workflow management through a graphical front end tool that uses simple forms and a flowchart-like display to represent complex rules. It allows a user with little technical know-how to view, create and maintain control rules of the software system. This graphical tool operates independently of the system being controlled, by manipulating the workflow rules in the database; thereby enabling control strategies to be updated in real time","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":"128999175","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}
引用次数: 1
Hierarchical Discrete Event Systems with Inputs and Outputs 具有输入和输出的分层离散事件系统
2006 8th International Workshop on Discrete Event Systems Pub Date : 2006-07-10 DOI: 10.1109/WODES.2006.382511
S. Perk, T. Moor, K. Schmidt
{"title":"Hierarchical Discrete Event Systems with Inputs and Outputs","authors":"S. Perk, T. Moor, K. Schmidt","doi":"10.1109/WODES.2006.382511","DOIUrl":"https://doi.org/10.1109/WODES.2006.382511","url":null,"abstract":"We propose a framework for the hierarchical design of discrete event systems that addresses both safety and liveness properties. Technically, we build on a notion of inputs and outputs that is closely related to J.C. Willems' behavioural systems theory. We develop a structural admissibility condition that allows for abstraction-based controller synthesis similar to previous work on hybrid control systems. A key feature of our framework is an alternation of subsystem composition and controller synthesis that is expected to be computationally efficient whenever the complexity of the safety specifications is independent of the respective layer in the hierarchy","PeriodicalId":285315,"journal":{"name":"2006 8th International Workshop on Discrete Event Systems","volume":"14 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":"127414034","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}
引用次数: 8
Exploded time plants for observer and control synthesis of timed condition systems 时间条件系统的观测器和控制综合的爆炸时间对象
2006 8th International Workshop on Discrete Event Systems Pub Date : 2006-07-10 DOI: 10.1109/WODES.2006.1678405
P. Thumu, L. Holloway
{"title":"Exploded time plants for observer and control synthesis of timed condition systems","authors":"P. Thumu, L. Holloway","doi":"10.1109/WODES.2006.1678405","DOIUrl":"https://doi.org/10.1109/WODES.2006.1678405","url":null,"abstract":"Progress confusion refers to the situation where subsequent states of a discrete event system have identical observations, thus preventing identification of the state from just the observations. However, with a timed model, the timing information can be used to help identify periods where the state is known. In this paper, we introduce timing to condition systems models to allow the representation of this timing information. We also present a method of creating an exploded time plant model from the original plant model, and show how the trajectories of the original plant can be exhibited by this exploded time plant model. Although the exploded time plant is a deterministic system, it is able to represent state uncertainty in the original plant. The exploded time plant can then be used with observer and controller synthesis methods, to create observers and controllers that can be operated with the original plant","PeriodicalId":285315,"journal":{"name":"2006 8th International Workshop on Discrete Event Systems","volume":"143 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":"125438364","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
Optimal control of continuous Petri nets via model predictive control 基于模型预测控制的连续Petri网最优控制
2006 8th International Workshop on Discrete Event Systems Pub Date : 2006-07-10 DOI: 10.1109/WODES.2006.1678436
A. Giua, C. Mahulea, L. Recalde, C. Seatzu, M. Silva
{"title":"Optimal control of continuous Petri nets via model predictive control","authors":"A. Giua, C. Mahulea, L. Recalde, C. Seatzu, M. Silva","doi":"10.1109/WODES.2006.1678436","DOIUrl":"https://doi.org/10.1109/WODES.2006.1678436","url":null,"abstract":"This paper addresses the optimal control problem of continuous Petri nets under infinite servers semantics. Our goal is to find a control input optimizing a certain cost function that permits the evolution from an initial marking to a desired configuration. The problem is studied through model predictive control (MPC), a control method, extensively used in industrial applications. Implicit and explicit procedures are presented together with a comparison between the two schemes","PeriodicalId":285315,"journal":{"name":"2006 8th International Workshop on Discrete Event Systems","volume":"160 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":"121471105","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}
引用次数: 21
Scheduling of periodic tasks on a dynamically reconfigurable device using timed discrete event systems 使用时间离散事件系统的动态可重构设备上的周期性任务调度
2006 8th International Workshop on Discrete Event Systems Pub Date : 2006-07-10 DOI: 10.1093/ietfec/e89-a.11.3227
K. Onogi, T. Ushio
{"title":"Scheduling of periodic tasks on a dynamically reconfigurable device using timed discrete event systems","authors":"K. Onogi, T. Ushio","doi":"10.1093/ietfec/e89-a.11.3227","DOIUrl":"https://doi.org/10.1093/ietfec/e89-a.11.3227","url":null,"abstract":"A dynamically reconfigurable device is a device which can change its hardware configuration arbitrarily often in order to achieve the desired performance and functions. Since several tasks are executed on the device concurrently, scheduling of both task execution and reconfiguration is an important problem. In our model, the dynamically reconfigurable device is represented by a two-level hierarchical automaton, and execution of each of periodic tasks is represented by a timed discrete event system. We propose a composition rule to get an automaton, which represents non-preemptive execution of periodic tasks on the dynamically reconfigurable device. We introduce a method to get a feasible scheduling by using state feedback control","PeriodicalId":285315,"journal":{"name":"2006 8th International Workshop on Discrete Event Systems","volume":"58 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":"114954243","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}
引用次数: 5
A new distributed deadlock avoidance strategy for flexible manufacturing systems using digraph models 基于有向图模型的柔性制造系统分布式死锁避免策略
2006 8th International Workshop on Discrete Event Systems Pub Date : 2006-07-10 DOI: 10.1109/WODES.2006.1678442
Zhonghua Huang, Zhi-ming Wu
{"title":"A new distributed deadlock avoidance strategy for flexible manufacturing systems using digraph models","authors":"Zhonghua Huang, Zhi-ming Wu","doi":"10.1109/WODES.2006.1678442","DOIUrl":"https://doi.org/10.1109/WODES.2006.1678442","url":null,"abstract":"This paper proposes a distributed deadlock avoidance policy for flexible manufacturing systems. The whole digraph model is decomposed into subsystems, which could be controlled locally and independently by a suitable deadlock avoidance policy. The flexibility of the deadlock avoidance policy is demonstrated and the complexity analysis is given","PeriodicalId":285315,"journal":{"name":"2006 8th International Workshop on Discrete Event Systems","volume":"242 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":"114287272","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
Event-Based Stochastic Learning and Optimization 基于事件的随机学习与优化
2006 8th International Workshop on Discrete Event Systems Pub Date : 2006-07-10 DOI: 10.1109/WODES.2006.382506
Xi-Ren Cao
{"title":"Event-Based Stochastic Learning and Optimization","authors":"Xi-Ren Cao","doi":"10.1109/WODES.2006.382506","DOIUrl":"https://doi.org/10.1109/WODES.2006.382506","url":null,"abstract":"Summary form only given. In many modern engineering systems, control actions are taken only when some events occur. In networking admission control, an action (accept or reject) is taken only when a new packet arrives; in power control of wireless communication where a mobile device travels among regions with different transmission environments, a decision (transmission rate) is made only when the mobile device enters a new region; in an inventory problem with delayed information, decision depends on the partially observed information which can also be viewed as events; in a flexible manufacturing system, actions (which work piece to process next) are taken only when a work piece is completed. The traditional Markov decision process (MDP) model does not fit these problems well and may unnecessarily suffer from the curse-of-dimensionality issue. Performance optimization of such problems can be solved by an event-based approach. This approach involves three main topics: 1) the formulation of events and event-based policies; 2) the sensitivity based view for performance optimization; and 3) computational savings, learning and on-line implementation. The paper presents a brief introduction to the above topics and discusses pros and cons of this new approach","PeriodicalId":285315,"journal":{"name":"2006 8th International Workshop on Discrete Event Systems","volume":"29 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":"116056087","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
Solving Optimization Problems on Hybrid Systems by Graph Exploration 用图探索方法求解混合系统的优化问题
2006 8th International Workshop on Discrete Event Systems Pub Date : 2006-07-10 DOI: 10.1109/WODES.2006.1678443
K. Hiraishi
{"title":"Solving Optimization Problems on Hybrid Systems by Graph Exploration","authors":"K. Hiraishi","doi":"10.1109/WODES.2006.1678443","DOIUrl":"https://doi.org/10.1109/WODES.2006.1678443","url":null,"abstract":"The aim of this research is to give a systematic way to solve optimization problems on hybrid systems. The target classes of hybrid systems are linear hybrid automata and piecewise linear systems. The behavior of a hybrid system is represented by a directed acyclic graph such that each node is associated with a convex polyhedron on continuous state variables, and each edge corresponds to a discrete transition. Then the problem is solved by finding a trajectory in the graph that fulfills given specifications and also optimizes a given objective function. The procedure is implemented on a constraint logic programming language","PeriodicalId":285315,"journal":{"name":"2006 8th International Workshop on Discrete Event Systems","volume":"23 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":"132135133","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
Supervisory control of flowlines by modelling the legal language as inequalities 通过将法律语言建模为不平等，对流水线进行监督控制
2006 8th International Workshop on Discrete Event Systems Pub Date : 2006-07-10 DOI: 10.1109/WODES.2006.1678401
K. Edlund, A.G. Michelsen, K. Rudie
{"title":"Supervisory control of flowlines by modelling the legal language as inequalities","authors":"K. Edlund, A.G. Michelsen, K. Rudie","doi":"10.1109/WODES.2006.1678401","DOIUrl":"https://doi.org/10.1109/WODES.2006.1678401","url":null,"abstract":"A method for modelling the class of discrete-event systems that characterise flowlines is developed. The legal languages are modelled as a set of inequalities, which effectively reduces the amount of memory needed for implementing the resulting supervisors, called inequality supervisors. An example demonstrates that the use of inequality supervisors can lead to an implementation where the memory usage is significantly reduced compared to both centralised and modular supervisors. In this way, the state-space explosion is mitigated by the approach presented here. Furthermore, the approach indicates that the solution can be implemented in a distributed control architecture utilising DES concepts such as nonconflicting and nonblocking","PeriodicalId":285315,"journal":{"name":"2006 8th International Workshop on Discrete Event Systems","volume":"62 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":"134498045","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}
引用次数: 1
Performance analysis of a controlled database unit subject to decision errors and control delays 受决策错误和控制延迟影响的受控数据库单元的性能分析
2006 8th International Workshop on Discrete Event Systems Pub Date : 2006-07-10 DOI: 10.1109/WODES.2006.1678420
N. Wu, J. Metzler, M. Linderman
{"title":"Performance analysis of a controlled database unit subject to decision errors and control delays","authors":"N. Wu, J. Metzler, M. Linderman","doi":"10.1109/WODES.2006.1678420","DOIUrl":"https://doi.org/10.1109/WODES.2006.1678420","url":null,"abstract":"This paper extends the performance analysis of a controlled database unit to include the cases where errors and delays can occur in state-based control actions as a result of uncertainty in the knowledge of the system state. The paper details the way such errors and delays are captured through augmenting the state space in the Markov model of the database unit. State variable feedback is used to activate the process of restoration upon the failure of one of the database servers in the unit. The performance of the database is evaluated in terms of the resulting mean time to unit failure, the steady state availability, the expected response time, and the service overhead of the database unit. All performance measures are examined with respect to the likelihood of decision error and the amount of control action delay","PeriodicalId":285315,"journal":{"name":"2006 8th International Workshop on Discrete Event Systems","volume":"26 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":"133956287","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
首页 上一页 下一页 尾页
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学术官方微信