2006 8th International Workshop on Discrete Event Systems最新文献_第6页

Symbolic Synthesis and Verification of Hierarchical Interface-based Supervisory Control 基于层次接口的监控符号综合与验证

2006 8th International Workshop on Discrete Event Systems Pub Date : 2006-07-10 DOI: 10.1109/WODES.2006.382510

Raoguang Song, R. Leduc

{"title":"Symbolic Synthesis and Verification of Hierarchical Interface-based Supervisory Control","authors":"Raoguang Song, R. Leduc","doi":"10.1109/WODES.2006.382510","DOIUrl":"https://doi.org/10.1109/WODES.2006.382510","url":null,"abstract":"Hierarchical interface-based supervisory control (HISC) decomposes a discrete-event system (DES) into a high-level subsystem which communicates with n ges 1 low-level subsystems, through separate interfaces which restrict the interaction of the subsystems. It provides a set of local conditions that can be used to verify global conditions such as nonblocking and controllability. The current HISC verification and synthesis algorithms are based upon explicit state and transition listings which limit the size of a given level to about 107 states when 1GB of memory is used. In this paper, we extend the HISC approach by introducing a set of predicate based fixed point operators that allow us to do a per level synthesis to construct for each level a maximally permissive supervisor that satisfies the corresponding HISC conditions. We prove that these fixpoint operators compute the required level-wise supremal languages. We then present algorithms that implement the fixpoint operators. Based on these algorithms, a symbolic implementation is briefly discussed which can be implemented using binary decision diagrams. We also discuss a method to implement our synthesized supervisors in a more compact manner. A large manufacturing system example (worst case state space on the order of 1030) extended from the ALP example is briefly discussed. The example showed that we can now handle a given level with a statespace as large as 10 15 states, using less than 160MB of memory. This represents a significant improvement in the size of systems that can be handled by the HISC approach. A software tool for synthesis and verification of HISC systems using our approach was also developed","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":"131619600","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}

引用次数: 49

A new method for centralized and modular supervisory control of real-time discrete event systems 实时离散事件系统集中模块化监控的新方法

2006 8th International Workshop on Discrete Event Systems Pub Date : 2006-07-10 DOI: 10.1109/WODES.2006.1678426

L. Ouedraogo, M. Nourelfath, A. Khoumsi

引用次数: 8

Spectool 2.4 Beta: A research tool for modular modeling, analysis, and synthesis of discrete event systems. Spectool 2.4 Beta:用于对离散事件系统进行模块化建模、分析和综合的研究工具。

2006 8th International Workshop on Discrete Event Systems Pub Date : 2006-07-10 DOI: 10.1109/WODES.2006.382524

D. Shewa, J. Ashley, L. Holloway

引用次数: 6

The Max-Plus Algebra and the Network Calculus Max-Plus代数和网络微积分

2006 8th International Workshop on Discrete Event Systems Pub Date : 2006-07-10 DOI: 10.1109/WODES.2006.382512

Mabia Daniel-Cavalcante, Mauricio Ferreira Magalhães, R. Santos-Mendes

引用次数: 7

DESUMA: A Tool Integrating GIDDES and UMDES DESUMA:一个集成GIDDES和UMDES的工具

2006 8th International Workshop on Discrete Event Systems Pub Date : 2006-07-10 DOI: 10.1109/WODES.2006.382402

L. Ricker, S. Lafortune, S. Gene

引用次数: 62

Decentralized Diagnosis for Nonfailures of Discrete Event Systems Using Inference-Based Ambiguity Management 基于推理模糊管理的离散事件系统非故障分散诊断

2006 8th International Workshop on Discrete Event Systems Pub Date : 2006-07-10 DOI: 10.1109/WODES.2006.1678437

S. Takai, R. Kumar

{"title":"Decentralized Diagnosis for Nonfailures of Discrete Event Systems Using Inference-Based Ambiguity Management","authors":"S. Takai, R. Kumar","doi":"10.1109/WODES.2006.1678437","DOIUrl":"https://doi.org/10.1109/WODES.2006.1678437","url":null,"abstract":"The task of decentralized decision-making involves interaction of a set of local decision-makers, each of which operates under limited sensing capabilities and is thus subjected to ambiguity during the process of decision-making. In a prior work (Kumar and Takai, 2005) we made an observation that such ambiguities are of differing gradations and presented a framework for inferencing over various local control decisions of varying ambiguity levels to arrive at a global control decision. A similar inferencing-based framework for the management of ambiguities in the decentralized diagnosis of failures was reported in Kumar and Takai (2006). The present paper extends this to the decentralized diagnosis of nonfailures which requires that any ambiguity about the non-occurrence of a failure be resolved within a uniformly bounded delay. As shown in this paper, the decentralized diagnosability for failures does not imply that for nonfailures, and vice-versa. So a different formulation is needed. In order to characterize the class of systems for which the ambiguity about the non-occurrence of a failure can be resolved within a uniformly bounded delay, we introduce the notion of n-inference diagnosability for nonfailures (also called n-inference NF-diagnosability), where the index n represents the maximum ambiguity level of any winning local decision. We present an algorithm for the verification of n-inference NF-diagnosability, and also establish various properties of it","PeriodicalId":285315,"journal":{"name":"2006 8th International Workshop on Discrete Event Systems","volume":"9 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":"127473110","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

Safety Control Synthesis for Time Petri Nets 时间Petri网的安全控制综合

2006 8th International Workshop on Discrete Event Systems Pub Date : 2006-07-10 DOI: 10.1109/WODES.2006.1678434

G. Gardey, O.E. Roux, O. Roux

引用次数: 16

Probabilistic failure diagnosis in finite state machines under unreliable observations 不可靠观测下有限状态机的概率故障诊断

2006 8th International Workshop on Discrete Event Systems Pub Date : 2006-07-10 DOI: 10.1109/WODES.2006.1678446

E. Athanasopoulou, Lingxi Li, C. Hadjicostis

{"title":"Probabilistic failure diagnosis in finite state machines under unreliable observations","authors":"E. Athanasopoulou, Lingxi Li, C. Hadjicostis","doi":"10.1109/WODES.2006.1678446","DOIUrl":"https://doi.org/10.1109/WODES.2006.1678446","url":null,"abstract":"In this paper we develop a probabilistic methodology for calculating the likelihood that an observed, possibly corrupted event sequence was generated by two (or more) candidate finite state machines (FSMs) (one of which could represent the normal mode of operation and the other(s) could represent the failed model(s)). Our objective is to perform failure diagnosis by deciding which FSM is most likely to have generated the observed event sequence. The underlying problem relates to the evaluation problem in hidden Markov models (HMMs) which calculates the probability that an observed sequence is generated by a given Markov model. However, the additional challenge in our setup is the fact that errors may corrupt the observed sequence, potentially causing loops in the resulting trellis diagram. These errors include, in their most basic form, event insertions and deletions and could arise under a variety of conditions (e.g., due to sensor failures or due to problems encountered in the links connecting the system sensors with the diagnoser). Given the possibly erroneous observed sequence, we propose an algorithm for obtaining the most likely underlying FSM","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":"131102710","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

Diagnosis of a Class of Timed Discrete Event Systems 一类时间离散事件系统的诊断

2006 8th International Workshop on Discrete Event Systems Pub Date : 2006-07-10 DOI: 10.1109/WODES.2006.1678439

Haithem Derbel, M. Yeddes, N. Hadj-Alouane, H. Alla

引用次数: 13

On the reachability and nonblocking properties for parameterized discrete event systems 参数化离散事件系统的可达性和非阻塞性

2006 8th International Workshop on Discrete Event Systems Pub Date : 2006-07-10 DOI: 10.1109/WODES.2006.1678417

H. Bherer, J. Desharnais, R. St.-Denis

引用次数: 4