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

2008 9th International Workshop on Discrete Event Systems最新文献

筛选
英文 中文
Collision avoidance in Intelligent Transport Systems: towards an application of control theory 智能交通系统中的避碰:走向控制理论的应用
2008 9th International Workshop on Discrete Event Systems Pub Date : 2008-05-28 DOI: 10.1109/WODES.2008.4605970
B. Bérard, S. Haddad, L. Hillah, F. Kordon, Y. Thierry-Mieg
{"title":"Collision avoidance in Intelligent Transport Systems: towards an application of control theory","authors":"B. Bérard, S. Haddad, L. Hillah, F. Kordon, Y. Thierry-Mieg","doi":"10.1109/WODES.2008.4605970","DOIUrl":"https://doi.org/10.1109/WODES.2008.4605970","url":null,"abstract":"Safety is a prevalent issue in intelligent transport systems (ITS). To ensure such a vital requirement, methodologies must offer support for the careful design and analysis of such systems. Indeed these steps must cope with temporal and spatial constraints associated with mobility rules and parallelism which induce a high complexity. Here we handle the problem of unexpected and uncontrollable vehicles which significantly endanger the traffic. In this context, we propose to apply discrete control theory to a model of automatic motorway in order to synthesize a controller that handles collision avoidance. This approach includes two parts: the design of a formal model and an efficient implementation based on hierarchical decision diagrams.","PeriodicalId":105225,"journal":{"name":"2008 9th International Workshop on Discrete Event Systems","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127438654","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
Multi-decision decentralized control of discrete event systems : Application to the C&P architecture 离散事件系统的多决策分散控制:在C&P体系结构中的应用
2008 9th International Workshop on Discrete Event Systems Pub Date : 2008-05-28 DOI: 10.1109/WODES.2008.4605993
H. Chakib, A. Khoumsi
{"title":"Multi-decision decentralized control of discrete event systems : Application to the C&P architecture","authors":"H. Chakib, A. Khoumsi","doi":"10.1109/WODES.2008.4605993","DOIUrl":"https://doi.org/10.1109/WODES.2008.4605993","url":null,"abstract":"This article deals with decentralized supervisory control, where a set of supervisors cooperate in order to control a plant. We propose a new control framework where each supervisor issues a tuple of so called micro-decisions, instead of a single decision for a controllable event. The proposed approach is called multi-decision supervisory control and is intended to be applicable to any existing decentralized architecture in order to generalize the latter. In this paper, we demonstrate the applicability of the new framework to the conjunctive and permissive (C&P) architecture. The obtained architecture is naturally called C&P multidecision architecture. We define and study the notion of C&P m-coobservability, which is useful to characterize the class of achievable languages. Since C&P m-coobservability seems to be undecidable, we finally propose a stronger and obviously decidable version of C&P m-coobservability.","PeriodicalId":105225,"journal":{"name":"2008 9th International Workshop on Discrete Event Systems","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122246994","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
Yet another approach to compositional synthesis of discrete event systems 这是离散事件系统合成的另一种方法
2008 9th International Workshop on Discrete Event Systems Pub Date : 2008-05-28 DOI: 10.1109/WODES.2008.4605916
R. Malik, H. Flordal
{"title":"Yet another approach to compositional synthesis of discrete event systems","authors":"R. Malik, H. Flordal","doi":"10.1109/WODES.2008.4605916","DOIUrl":"https://doi.org/10.1109/WODES.2008.4605916","url":null,"abstract":"A two-pass algorithm for compositional synthesis of modular supervisors for large-scale systems of composed finite-state automata is proposed. The first pass provides an efficient method to determine whether a supervisory control problem has a solution, without explicitly constructing the synchronous composition of all components. If a solution exists, the second pass yields an over-approximation of the least restrictive solution which, if nonblocking, is a modular representation of the least restrictive supervisor. Using a new type of equivalence of nondeterministic processes, called synthesis equivalence, a wide range of abstractions can be employed to mitigate state-space explosion throughout the algorithm.","PeriodicalId":105225,"journal":{"name":"2008 9th International Workshop on Discrete Event Systems","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121339966","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}
引用次数: 40
Properties of continuous Petri nets controlled via model predictive control 模型预测控制连续Petri网的性质
2008 9th International Workshop on Discrete Event Systems Pub Date : 2008-05-28 DOI: 10.1109/WODES.2008.4605962
A. Giua, C. Mahulea, L. Recalde, C. Seatzu, M. Silva
{"title":"Properties of continuous Petri nets controlled via model predictive control","authors":"A. Giua, C. Mahulea, L. Recalde, C. Seatzu, M. Silva","doi":"10.1109/WODES.2008.4605962","DOIUrl":"https://doi.org/10.1109/WODES.2008.4605962","url":null,"abstract":"In previous papers we investigated the problem of deriving an optimal control law for continuous Petri nets under infinite server semantics. In particular, the problem was studied through Model Predictive Control (MPC), an advanced control method, extensively used in industrial applications. In this work we discuss some properties of the resulting closed-loop system, such as feasibility and asymptotic stability. We prove that for continuous Petri nets feasibility is always guaranteed, while asymptotic stability is not ensured. Finally, we demonstrate that the introduction of an appropriate terminal constraint may guarantee asymptotic stability provided that certain assumptions on the initial state and the moving horizon are satisfied.","PeriodicalId":105225,"journal":{"name":"2008 9th International Workshop on Discrete Event Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130230559","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
IPA for delay threshold violation using stochastic fluid models 基于随机流体模型的延迟阈值破坏IPA
2008 9th International Workshop on Discrete Event Systems Pub Date : 2008-05-28 DOI: 10.1109/WODES.2008.4605939
C. Panayiotou, C. Cassandras
{"title":"IPA for delay threshold violation using stochastic fluid models","authors":"C. Panayiotou, C. Cassandras","doi":"10.1109/WODES.2008.4605939","DOIUrl":"https://doi.org/10.1109/WODES.2008.4605939","url":null,"abstract":"In this paper we investigate the problem of delivering quality of service (QoS) guarantees in the context of communication networks, studied through stochastic fluid models. The paper follows the approach developed in (C. G. Cassandras, et al., 2002), (C. Panayiottou, et al., 2004). Its main contribution is that it develops infinitesimal perturbation analysis (IPA) estimators of a cost function that also includes delay violation constraints, rather than the average delay that is typically investigated in [1], [2] and other similar work.","PeriodicalId":105225,"journal":{"name":"2008 9th International Workshop on Discrete Event Systems","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114628211","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
Discrete event control of an unmanned aircraft 无人机的离散事件控制
2008 9th International Workshop on Discrete Event Systems Pub Date : 2008-05-28 DOI: 10.1109/WODES.2008.4605971
M. Fatemi, J. Millan, J. Stevenson, T. Yu, S. O'Young
{"title":"Discrete event control of an unmanned aircraft","authors":"M. Fatemi, J. Millan, J. Stevenson, T. Yu, S. O'Young","doi":"10.1109/WODES.2008.4605971","DOIUrl":"https://doi.org/10.1109/WODES.2008.4605971","url":null,"abstract":"This paper describes the application of a limited-lookahead discrete event supervisory controller that handles the control aspects of the unmanned aerial vehicle (UAV) ldquosense and avoidrdquo (SAA) problem. The controlled UAV and the approaching uncontrolled intruding aircraft that must be avoided are treated as a hybrid system. The UAV control decision making process is discrete, while the embedded flight model dynamics of the aircraft are continuous. Simulation results for the controlled system are presented for a variety of flight scenarios.","PeriodicalId":105225,"journal":{"name":"2008 9th International Workshop on Discrete Event Systems","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131786875","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
Digital manufacturing: The nexus of the real-time information enterprise and the digital factory using of flexible reconfigurable equipment 数字化制造:利用柔性可重构设备连接实时信息企业和数字化工厂
2008 9th International Workshop on Discrete Event Systems Pub Date : 2008-05-28 DOI: 10.1109/WODES.2008.4605984
S. Biller
{"title":"Digital manufacturing: The nexus of the real-time information enterprise and the digital factory using of flexible reconfigurable equipment","authors":"S. Biller","doi":"10.1109/WODES.2008.4605984","DOIUrl":"https://doi.org/10.1109/WODES.2008.4605984","url":null,"abstract":"In this talk, we introduce three new concepts in manufacturing: First, we describe the real-time information enterprise, where local real-time decision making on the factory floor is being replaced by decision support systems determining (or even making) system-optimal resource allocation decisions based on the actual and predicted state of the manufacturing system. Secondly, we are moving towards a digital manufacturing engineering factory where manufacturing systems are completely designed, validated, and launched in math prior to commissioning. Thirdly, we will describe the research challenges in synchronizing the real-time information enterprise and the digital factory.","PeriodicalId":105225,"journal":{"name":"2008 9th International Workshop on Discrete Event Systems","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132154496","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
Decentralized motion-coordination policy for cooperative mobile robots 协作移动机器人的分散运动协调策略
2008 9th International Workshop on Discrete Event Systems Pub Date : 2008-05-28 DOI: 10.1109/WODES.2008.4605973
E. Roszkowska
{"title":"Decentralized motion-coordination policy for cooperative mobile robots","authors":"E. Roszkowska","doi":"10.1109/WODES.2008.4605973","DOIUrl":"https://doi.org/10.1109/WODES.2008.4605973","url":null,"abstract":"In this work we deal with a group of heterogeneous robots that cooperatively accomplish a task in a common area. For such a system, we develop a distributed control mechanism that ensures the correct coordination of their concurrent motion in the shared workspace. The concept assumes an additional level of robot motion control, that enforces temporary velocity reductions in order to avoid collisions as well as deadlocks and livelocks among the robots. The event-driven mechanism underlying the developed model ensures a robust coordination of mutually asynchronous robot controllers, and the mathematical character of the employed abstraction formally guarantees the control correctness.","PeriodicalId":105225,"journal":{"name":"2008 9th International Workshop on Discrete Event Systems","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124812442","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
Control of (max,+) automata: Logical and timing aspects (max，+)自动机控制:逻辑和时序方面
2008 9th International Workshop on Discrete Event Systems Pub Date : 2008-05-28 DOI: 10.1109/WODES.2008.4605922
J. Komenda, S. Lahaye, J. Boimond
{"title":"Control of (max,+) automata: Logical and timing aspects","authors":"J. Komenda, S. Lahaye, J. Boimond","doi":"10.1109/WODES.2008.4605922","DOIUrl":"https://doi.org/10.1109/WODES.2008.4605922","url":null,"abstract":"A new framework for control of (max,+) automata is introduced. The tensor product of their linear representations used in this paper is an extension of parallel composition from Boolean to (max,+) automata and can be nicely applied to both logical and timing aspects of supervisory control. Case of uncontrollable events that can neither be disabled nor delayed is studied within a behavioral framework. Optimal (least restrictive) control of (max,+) automata is studied using residuation theory applied to Hadamard product of (multivariable) formal power series.","PeriodicalId":105225,"journal":{"name":"2008 9th International Workshop on Discrete Event Systems","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125524912","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
Qualitative modelling of biological regulatory networks combining a logical multi-valued formalism and Petri nets 结合逻辑多值形式化和Petri网的生物调节网络的定性建模
2008 9th International Workshop on Discrete Event Systems Pub Date : 2008-05-28 DOI: 10.1109/WODES.2008.4605957
C. Chaouiya
{"title":"Qualitative modelling of biological regulatory networks combining a logical multi-valued formalism and Petri nets","authors":"C. Chaouiya","doi":"10.1109/WODES.2008.4605957","DOIUrl":"https://doi.org/10.1109/WODES.2008.4605957","url":null,"abstract":"Regulatory networks are at the core of the control of cellular processes, integrating varied molecular components connected through diverse relations. Because of the high complexity of these networks, there is a real need for dedicated modelling and analysis tools, to better understand how observed cellular behaviours are governed. Beyond a better understanding, dynamical modelling should also support hypothesis validation and prediction making. In this context, the paper overviews the combined use of a multi-valued logical formalism and discrete Petri nets to qualitatively model and analyse regulatory networks. Following a presentation of both approaches, prospects are discussed within the emergent field of systems biology.","PeriodicalId":105225,"journal":{"name":"2008 9th International Workshop on Discrete Event Systems","volume":"262 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128821902","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学术文献互助群
群 号：604180095
Book学术官方微信