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

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

筛选
英文 中文
Multi-agent product systems: controllability and non-blocking properties 多智能体产品系统:可控性和非阻塞性
2006 8th International Workshop on Discrete Event Systems Pub Date : 2006-07-10 DOI: 10.1109/WODES.2006.1678441
I. Romanovski, R. E. Caines
{"title":"Multi-agent product systems: controllability and non-blocking properties","authors":"I. Romanovski, R. E. Caines","doi":"10.1109/WODES.2006.1678441","DOIUrl":"https://doi.org/10.1109/WODES.2006.1678441","url":null,"abstract":"Multi-agent (MA) product systems are defined in Romanovski and Caines (2005), where the notion of an MA controllable vector language specification was introduced, and necessary and sufficient conditions for the existence of a supervisor for such a specification were derived. In this paper we present a set of results concerning the controllability of an MA product system and its component structures (such as standard controllability and the MA controllability of projections). The non-blocking property under the MA product construction is then formulated, and necessary and sufficient conditions are established for this property to hold. Several examples are given to illustrate the results of the paper","PeriodicalId":285315,"journal":{"name":"2006 8th International Workshop on Discrete Event Systems","volume":"2 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":"115514709","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
Optimal control of two-stage discrete event systems with real-time constraints 具有实时约束的两阶段离散事件系统的最优控制
2006 8th International Workshop on Discrete Event Systems Pub Date : 2006-07-10 DOI: 10.1109/WODES.2006.1678419
Jianfeng Mao, C. Cassandras
{"title":"Optimal control of two-stage discrete event systems with real-time constraints","authors":"Jianfeng Mao, C. Cassandras","doi":"10.1109/WODES.2006.1678419","DOIUrl":"https://doi.org/10.1109/WODES.2006.1678419","url":null,"abstract":"We consider discrete event systems (DES) involving tasks with real-time constraints and seek to control processing times so as to minimize a cost function subject to each task meeting its own constraint. When tasks are processed over a single stage, it has been shown that there are structural properties of the optimal sample path that lead to very efficient solutions of such problems. When tasks are processed over multiple stages and are subject to end-to-end real-time constraints, these properties no longer hold and no obvious extensions are known. We consider a two-stage problem with homogeneous cost functions over all tasks at each stage and derive several new optimality properties. These properties lead to the idea of introducing \"virtual\" deadlines at the first stage, thus partially decoupling the stages so that the known efficient solutions for single-stage problems can be used. We prove that the solution obtained by an iterative virtual deadline algorithm (VDA) converges to the global optimal solution of the two-stage problem and illustrate the efficiency of the VDA through numerical examples","PeriodicalId":285315,"journal":{"name":"2006 8th International Workshop on Discrete Event Systems","volume":"5 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":"122305775","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
A question of access: decentralized control and communication strategies for security policies 访问问题:安全策略的分散控制和通信策略
2006 8th International Workshop on Discrete Event Systems Pub Date : 2006-07-10 DOI: 10.1109/WODES.2006.1678408
S. Ricker
{"title":"A question of access: decentralized control and communication strategies for security policies","authors":"S. Ricker","doi":"10.1109/WODES.2006.1678408","DOIUrl":"https://doi.org/10.1109/WODES.2006.1678408","url":null,"abstract":"The Chinese wall policy (CWP) is a security policy that governs the information that a group of agents may access. Information about competing companies is divided up into conflict sets. Agents adhering to CWP may only acquire information about one company per conflict set. Recently, a decentralized version of CWP was introduced, but its success was hampered by a limitation in the solution that had the potential to allow a clever agent to simultaneously access information about companies in the same conflict set, a clear violation of CWP. Using supervisory control theory, we investigate the synthesis of a decentralized CWP, where agents are not able to perform so-called \"double dipping\". In a control-theoretic approach, the behavior of the system and the specification are modeled as finite-state machines. A decentralized controller for CWP either allows or forbids access to information at each state of the system. These control decisions are based on (1) the specification; (2) local knowledge of an agent's previous requests to a given controller; and (3) knowledge communicated from other controllers regarding their own relevant local knowledge of that agent's previous requests","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":"130006503","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
Supervision equivalence [supervisor synthesis] 监督等值[监督综合]
2006 8th International Workshop on Discrete Event Systems Pub Date : 2006-07-10 DOI: 10.1109/WODES.2006.1678424
H. Flordal, R. Malik
{"title":"Supervision equivalence [supervisor synthesis]","authors":"H. Flordal, R. Malik","doi":"10.1109/WODES.2006.1678424","DOIUrl":"https://doi.org/10.1109/WODES.2006.1678424","url":null,"abstract":"This paper presents a general framework for efficient synthesis of supervisors for discrete event systems. The approach is based on compositional minimisation, using concepts of process equivalence. Its result is a compact representation of a least restrictive supervisor that ensures controllability and nonblocking. The method is demonstrated to reduce the number of states to be constructed for a simple manufacturing example, and the framework is proven to be sound","PeriodicalId":285315,"journal":{"name":"2006 8th International Workshop on Discrete Event Systems","volume":"206 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":"116152968","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
Bounds On Perturbation For DES DES的摄动界
2006 8th International Workshop on Discrete Event Systems Pub Date : 2006-07-10 DOI: 10.1109/WODES.2006.382397
B. Heidergott, A. Hordijk, H. Leahu
{"title":"Bounds On Perturbation For DES","authors":"B. Heidergott, A. Hordijk, H. Leahu","doi":"10.1109/WODES.2006.382397","DOIUrl":"https://doi.org/10.1109/WODES.2006.382397","url":null,"abstract":"This paper establishes bounds on the effect of a perturbation of a distributional parameter, on performance measures of a DES that depend on n stochastic variables, such as the transient waiting time in a queueing network. The key observation is that, under quite general conditions, the Lipschitz constant of a probability measure can be computed in a simple way. Also, parameter-free perturbation analysis is also consider, that is, assessing the effect of replacing a given probability measure mu by another one, say v","PeriodicalId":285315,"journal":{"name":"2006 8th International Workshop on Discrete Event Systems","volume":"10 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":"124967839","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
Online Supervisory Control of Hybrid Systems Using Embedded Simulation 基于嵌入式仿真的混合动力系统在线监控
2006 8th International Workshop on Discrete Event Systems Pub Date : 2006-07-10 DOI: 10.1109/WODES.2006.1678421
J. Millan, S. O'Young
{"title":"Online Supervisory Control of Hybrid Systems Using Embedded Simulation","authors":"J. Millan, S. O'Young","doi":"10.1109/WODES.2006.1678421","DOIUrl":"https://doi.org/10.1109/WODES.2006.1678421","url":null,"abstract":"This paper describes a technique for synthesizing supervisory discrete event controllers for hybrid plants. The discrete event model of the plant behaviour is assembled for a limited lookahead horizon at run time based on discrete abstractions of embedded continuous simulations. A supervisory controller for this limited horizon model is then computed as a state avoidance problem. Since the controller is valid for only a limited time/event horizon, it must be re-computed on-line periodically, in order to extend the operation to an infinite time horizon. We present a scheme for enforcing guaranteed safe and nonblocking behaviour which is rooted in standard industrial practice","PeriodicalId":285315,"journal":{"name":"2006 8th International Workshop on Discrete Event Systems","volume":"20 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":"122316541","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
PNDesigner - a tool designed for model based diagnosis andsupervisory control of DES PNDesigner -一个基于模型的诊断和DES监控工具
2006 8th International Workshop on Discrete Event Systems Pub Date : 2006-07-10 DOI: 10.1109/WODES.2006.382521
J. Flochová, F. Auxt, M. Radakovic, O. Jombik
{"title":"PNDesigner - a tool designed for model based diagnosis andsupervisory control of DES","authors":"J. Flochová, F. Auxt, M. Radakovic, O. Jombik","doi":"10.1109/WODES.2006.382521","DOIUrl":"https://doi.org/10.1109/WODES.2006.382521","url":null,"abstract":"The presented tool PNDesigner is devoted to graphical editing, analysis, diagnosis and control synthesis of Petri nets. The paper and demonstration focuses on the exploitation of the PNDesigner for teaching and on illustrating the usage of the PN theory in graduate control education and in engineering practice","PeriodicalId":285315,"journal":{"name":"2006 8th International Workshop on Discrete Event Systems","volume":"12 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":"131649989","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
A Distributed Supervisor Synthesis Approach Based on Weak Bisimulation 基于弱双仿真的分布式监督器综合方法
2006 8th International Workshop on Discrete Event Systems Pub Date : 2006-07-10 DOI: 10.1109/WODES.2006.1678409
R. Su, J. G. Thistle
{"title":"A Distributed Supervisor Synthesis Approach Based on Weak Bisimulation","authors":"R. Su, J. G. Thistle","doi":"10.1109/WODES.2006.1678409","DOIUrl":"https://doi.org/10.1109/WODES.2006.1678409","url":null,"abstract":"It is well known that space and time complexity is one of the main bottlenecks of supervisor synthesis. The model of a large system is usually too big to be explicitly expressed, owing to composition of local components' models, making supervisor synthesis difficult, if still possible. In this paper, we propose a distributed supervisor synthesis approach, where instead of computing a model of the entire system, a local abstraction of the system with respect to each local component is computed based on weak bisimulation. Then a local supervisor for each component is computed based on the component model and the abstract system model, by using well developed centralized supervisor synthesis approaches. The collection of all resulting local supervisors forms a distributed supervisor","PeriodicalId":285315,"journal":{"name":"2006 8th International Workshop on Discrete Event Systems","volume":"63 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":"127511622","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}
引用次数: 37
Asymptotic Optimality of the Max-Min Fair Allocation 最大-最小公平分配的渐近最优性
2006 8th International Workshop on Discrete Event Systems Pub Date : 2006-07-10 DOI: 10.1109/WODES.2006.382531
H. Ye, D. Yao
{"title":"Asymptotic Optimality of the Max-Min Fair Allocation","authors":"H. Ye, D. Yao","doi":"10.1109/WODES.2006.382531","DOIUrl":"https://doi.org/10.1109/WODES.2006.382531","url":null,"abstract":"Multiple classes of jobs are processed in a stochastic network that consists of a set of servers. Each class of jobs requires a concurrent occupancy of a subset of servers to be processed, and each server is shared among the job classes in a head-of-the-line processor-sharing mechanism. In each state of the network, the server capacities are allocated among the job classes according to the so-called max-min fair policy. We derive the fluid and diffusion limits of the network under this resource control policy. Furthermore, we provide a characterization of the fixed-point state associated with the fluid limit, and identify a cost function that is minimized in the diffusion regime","PeriodicalId":285315,"journal":{"name":"2006 8th International Workshop on Discrete Event Systems","volume":"75 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":"128183549","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
Distributed extended finite-state machines: communication and control 分布式扩展有限状态机:通信和控制
2006 8th International Workshop on Discrete Event Systems Pub Date : 2006-07-10 DOI: 10.1109/WODES.2006.1678425
A. Mannani, Y. Yang, P. Gohari
{"title":"Distributed extended finite-state machines: communication and control","authors":"A. Mannani, Y. Yang, P. Gohari","doi":"10.1109/WODES.2006.1678425","DOIUrl":"https://doi.org/10.1109/WODES.2006.1678425","url":null,"abstract":"We propose to implement decentralized supervisory control by embedding the control map in the plant's local finite state machines (FSMs) and employing private sets of Boolean variables to encode the control information for each component supervisor. Event observation is captured by a set of Boolean functions that update the value of Boolean variables, and control is introduced by guarding events with Boolean formulas. We extend the previous results for centralized control problems to the decentralized case with coobservable specifications. Next, a characterization of coding algorithms suitable in studying decentralized control problems is presented and shown to relate to a modified version of joint observability of the specification. In the absence of coobservability, the problem of communicating supervisors is then studied and solutions are proposed for certain classes of specifications","PeriodicalId":285315,"journal":{"name":"2006 8th International Workshop on Discrete Event Systems","volume":"53 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":"129414094","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
首页 上一页 下一页 尾页
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学术官方微信