2008 9th International Workshop on Discrete Event Systems最新文献_第5页

Decentralized prognosis of failures in discrete event systems 离散事件系统故障的分散预测

2008 9th International Workshop on Discrete Event Systems Pub Date : 2008-05-28 DOI: 10.1109/WODES.2008.4605975

R. Kumar, S. Takai

{"title":"Decentralized prognosis of failures in discrete event systems","authors":"R. Kumar, S. Takai","doi":"10.1109/WODES.2008.4605975","DOIUrl":"https://doi.org/10.1109/WODES.2008.4605975","url":null,"abstract":"We study the prognosis of failures, i.e., their prediction prior to their occurrence, in discrete event systems in a decentralized setting where multiple prognosers use their local observations to issue local prognosis decisions. We define the notion of correctness of a decentralized set of prognosers in terms of ldquono missed detectionsrdquo (each failure is prognosed prior to its occurrence) and ldquono false alarmsrdquo (an incorrect prognostic decision is never issued), and introduce the notion of coprognosability as an existence condition. When specialized to the centralized case (i.e., the case of a single prognoser), this condition turns out to be weaker than the one introduced in (S. Gene and Sl Lafortune, 2006) since a uniform bound on the number of steps within which a failure will occur is not required. For comparison we also introduce the stronger notion of ldquouniformly bounded coprognosabilityrdquo and identify the subclass of decentralized prognosers for which it serves as an existence condition. We show that the two notions coincide when the underlying system and its nonfailure specification possess finite-state representations, and present a verification algorithm. We also introduce the notion of reaction bound for coprognosis as the earliest time beyond a prognostic decision when a failure can occur, and present an algorithm for computing it. An algorithm is also presented for an online prognosis of failures. We show that the notions of coprognosability and its uniformly bounded version are in general incomparable with the notion of codiagnosability (that guarantees a uniformly bounded delay detection of a failure by a local diagnoser). When the system cannot execute an unbounded sequence of unobservable events, uniformly bounded coprognosability implies codiagnosability, whereas coprognosability and codiagnosability remain incomparable.","PeriodicalId":105225,"journal":{"name":"2008 9th International Workshop on Discrete Event Systems","volume":"71 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":"127471156","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}

引用次数: 26

On time diagnosis of discrete event systems 离散事件系统的时间诊断

2008 9th International Workshop on Discrete Event Systems Pub Date : 2008-05-28 DOI: 10.1109/WODES.2008.4605976

A. Mahajan, D. Teneketzis

{"title":"On time diagnosis of discrete event systems","authors":"A. Mahajan, D. Teneketzis","doi":"10.1109/WODES.2008.4605976","DOIUrl":"https://doi.org/10.1109/WODES.2008.4605976","url":null,"abstract":"A formulation and solution methodology for on-time fault diagnosis in discrete event systems is presented. This formulation and solution methodology captures the timeliness aspect of fault diagnosis and is therefore different from all other approaches to fault diagnosis in discrete event systems which are asymptotic in nature. A monitor observes a projection of the events that occur in the system. After each observation it can either raise an alarm and shut down the system or allow the system to continue. If the system is stopped when no fault had occurred, a false alarm penalty is incurred; on the other hand if a fault had occurred, a delayed detection penalty is incurred. Both these penalties are trace dependent. The on-time diagnosis problem is formulated as a minimax optimization problem where the objective is to choose a monitoring rule which minimizes the worst case cost along all traces of the language describing the discrete event system. An optimal diagnosis rule is determined using a dynamic programming algorithm. An example is presented which illustrates our methodology and high lights the difference between our formulation of on-time diagnosis with existing results on asymptotic diagnosis of discrete event systems.","PeriodicalId":105225,"journal":{"name":"2008 9th International Workshop on Discrete Event Systems","volume":"2013 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":"128086708","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

Perturbation analysis of Markov chains 马尔可夫链的摄动分析

2008 9th International Workshop on Discrete Event Systems Pub Date : 2008-05-28 DOI: 10.1109/WODES.2008.4605929

B. Heidergott

引用次数: 11

Monte-Carlo-based partially observable Markov decision process approximations for adaptive sensing 基于蒙特卡罗的部分可观察马尔可夫决策过程逼近自适应传感

2008 9th International Workshop on Discrete Event Systems Pub Date : 2008-05-28 DOI: 10.1109/WODES.2008.4605941

Edwin K. P. Chong, Christopher M Kreucher, Alfred O. Hero

引用次数: 2

Communication of distributed discrete-event supervisors on a switched network 交换网络中分布式离散事件监控器的通信

2008 9th International Workshop on Discrete Event Systems Pub Date : 2008-05-28 DOI: 10.1109/WODES.2008.4605982

K. Schmidt, E. G. Schmidt

引用次数: 8

Deriving Kripke structures from time series segmentation results 从时间序列分割结果中导出Kripke结构

2008 9th International Workshop on Discrete Event Systems Pub Date : 2008-05-28 DOI: 10.1109/WODES.2008.4605980

S. Tadepalli, Naren Ramakrishnan, B. Mishra, L. T. Watson, R. Helm

引用次数: 6

Building effective formal models to prove time properties of networked automation systems 建立有效的形式化模型来证明网络化自动化系统的时间特性

2008 9th International Workshop on Discrete Event Systems Pub Date : 2008-05-28 DOI: 10.1109/WODES.2008.4605968

S. Ruel, O. D. Smet, Jean-Marc Faure

引用次数: 8

Optimal timing control of interconnected, switched systems with applications to robotic marionettes 互联、切换系统的最佳定时控制与机器人牵线木偶的应用

2008 9th International Workshop on Discrete Event Systems Pub Date : 2008-05-28 DOI: 10.1109/WODES.2008.4605938

P. Martin, M. Egerstedt

引用次数: 13

State feedback stabilization of single-input min-max-plus systems 单输入最小-最大+系统的状态反馈镇定

2008 9th International Workshop on Discrete Event Systems Pub Date : 2008-05-28 DOI: 10.1109/WODES.2008.4605950

Yuegang Tao, Guoping Liu, Dehui Sun

引用次数: 2

STSLib and its application to two benchmarks STSLib及其在两个基准测试中的应用

2008 9th International Workshop on Discrete Event Systems Pub Date : 2008-05-28 DOI: 10.1109/WODES.2008.4605932

Chuan Ma, W. Wonham

引用次数: 37