Sixth International Workshop on Discrete Event Systems, 2002. Proceedings.最新文献_第6页

Intelligent simulation for the estimation of the uplink outage probabilities in CDMA networks CDMA网络中上行链路中断概率估计的智能仿真

Sixth International Workshop on Discrete Event Systems, 2002. Proceedings. Pub Date : 2002-10-02 DOI: 10.1109/WODES.2002.1167718

F. Vázquez-Abad, I. Baltcheva

引用次数: 3

Computing bounds for forbidden state reachability functions for controlled Petri nets 受控Petri网禁止状态可达函数的边界计算

Sixth International Workshop on Discrete Event Systems, 2002. Proceedings. Pub Date : 2002-10-02 DOI: 10.1109/WODES.2002.1167692

L. Holloway, A. Khare

引用次数: 3

Centralized modular diagnosis and the phenomenon of coupling 集中模块化诊断和耦合现象

Sixth International Workshop on Discrete Event Systems, 2002. Proceedings. Pub Date : 2002-10-02 DOI: 10.1109/WODES.2002.1167683

E. Garcia, F. Morant, R. Blasco-Gimenez, A. Correcher, E. Quiles

引用次数: 9

Decentralized control of discrete event systems with bounded or unbounded delay communication 具有有界或无界延迟通信的离散事件系统的分散控制

Sixth International Workshop on Discrete Event Systems, 2002. Proceedings. Pub Date : 2002-10-02 DOI: 10.1109/WODES.2002.1167664

S. Tripakis

{"title":"Decentralized control of discrete event systems with bounded or unbounded delay communication","authors":"S. Tripakis","doi":"10.1109/WODES.2002.1167664","DOIUrl":"https://doi.org/10.1109/WODES.2002.1167664","url":null,"abstract":"We introduce problems of decentralized control with delayed communication, where delays are either unbounded or bounded by a given constant k. In the k-bounded-delay model, between the transmission of a message and its reception, the plant can execute at most k events. In the unbounded-delay model, the plant can execute any number of events between transmission and reception. We show that our framework yields an infinite hierarchy of control problems, /spl Cscr//spl Cscr/ =/spl Dscr//spl Cscr//spl Cscr//sub 0//spl sup//spl Dscr//spl Cscr//spl Cscr//sub 1//spl sup//spl Dscr//spl Cscr//spl Cscr//sub 2//spl sup//spl middot//spl middot//spl middot//spl sup//spl Dscr//spl Cscr//spl Uscr//spl Cscr//spl sup//spl Dscr//spl Cscr/ , where CC is the set of control problems solvable with a single controller (centralized case) and /spl Dscr//spl Cscr//spl Cscr//sub k/ (resp. /spl Dscr//spl Cscr//spl Uscr//spl Cscr/, /spl Dscr//spl Cscr/) is the set of problems solvable with two controllers in a k-bounded-delay network (resp. two controllers in an unbounded-delay network, two controllers without communication). The above containments are strict. We prove the undecidability of checking the existence of controllers in the unbounded-delay case, or in the case without any communication. Finally, we prove that a decentralized observation problem with bounded-delay communication is decidable.","PeriodicalId":435263,"journal":{"name":"Sixth International Workshop on Discrete Event Systems, 2002. Proceedings.","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-10-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126852615","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}

引用次数: 112

An extended event graph with negative places and negative tokens for time window constraints 带有负位置和负标记的扩展事件图，用于时间窗口约束

Sixth International Workshop on Discrete Event Systems, 2002. Proceedings. Pub Date : 2002-10-02 DOI: 10.1109/WODES.2002.1167674

Tae-Eog Lee, Jeong-Won Seo, Seong-Ho Park

引用次数: 13