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

Discreteness, hybrid automata, and biology 离散性、混合自动机和生物学

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

A. Casagrande, C. Piazza, A. Policriti

{"title":"Discreteness, hybrid automata, and biology","authors":"A. Casagrande, C. Piazza, A. Policriti","doi":"10.1109/WODES.2008.4605960","DOIUrl":"https://doi.org/10.1109/WODES.2008.4605960","url":null,"abstract":"Most of the observable natural phenomena exhibit a mixed discrete-continuous behavior characterized by laws changing according to a phase cycle. Such behaviors can be modeled in a very natural way by a class of automata called hybrid automata. In this class the evolution of measurable quantities, such as concentrations, is represented according to both dynamical system evolutions - on dense domains - and rules phases through a discrete transition structure. Once the real systems are modeled in such a framework, one may want to analyze them by applying automatic techniques, such as model checking or abstract interpretation. Unfortunately, the interleaving of dense and discrete evolutions soon leads to undecidability results on hybrid automata. This paper addresses questions regarding the decidability of reachability problem for hybrid automata (i.e., ldquocan the systems reach a state a from a state b?rdquo) by proposing a more ldquonaturerdquo-oriented semantics. In particular, after observing that dense domains are abstractions of real world, we suggest that, for any biological system, there should be a value isin such that if the distance of two objects are less than isin, we cannot distinguish them. Using the above considerations, we propose a new semantics for hybrid automata which guarantees the decidability of reachability. Moreover, we provide a biological example showing that the new semantics mimics the real world behaviors better than the ldquoclassicalrdquo one.","PeriodicalId":105225,"journal":{"name":"2008 9th International Workshop on Discrete Event Systems","volume":"51 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":"133860555","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

Opacity enforcing control synthesis 不透明度强制控制合成

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

Jérémy Dubreil, P. Darondeau, H. Marchand

引用次数: 77

Sufficient conditions for diagnosability of Petri nets Petri网可诊断性的充分条件

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

Francesco Basile, Pasquale Chiacchiot, Gianmaria De Tommasi

引用次数: 21

Decentralized modular diagnosis of concurrent discrete event systems 并发离散事件系统的分散模块化诊断

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

C. Zhou, R. Kumar, R. Sreenivas

{"title":"Decentralized modular diagnosis of concurrent discrete event systems","authors":"C. Zhou, R. Kumar, R. Sreenivas","doi":"10.1109/WODES.2008.4605977","DOIUrl":"https://doi.org/10.1109/WODES.2008.4605977","url":null,"abstract":"The problem of decentralized modular fault diagnosis of concurrent discrete event systems, that is composed of a set of component modules, is formulated and studied. In the proposed decentralized modular framework, diagnosis is performed by the local diagnosers, located at the component sites, using their own local observations. This is to ensure the scalability of the approach with respect to the number of component modules, and we require that the local diagnosers be ldquomodularly computablerdquo, i.e., their computation should be based on the local models, and not the global models. It is also required that there are no missed-detections (every fault is detected within a bounded number of transitions) and no false-alarms (a fault detection report is issued only when a fault has occurred). We formally define the decentralized modular diagnosis problem and introduce the notion of modular diagnosability as a key property for the existence of desired decentralized modular diagnosers. We show that under this property, the complexity for constructing the local diagnosers is polynomial in the number of local modules. We present a method for testing the modular diagnosability property by reducing it to an instance of a certain codiagnosability property for which known verification techniques exist.","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":"130646551","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}

引用次数: 27

Performing fault diagnosis for PNs using g-markings: A benchmark case 使用g标记对pn进行故障诊断:一个基准案例

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

F. Basile, P. Chiacchio, G. De Tommasi, D. Del Grosso

引用次数: 2

Relations between networks of standard automata and networks of I/O automata 标准自动机网络与I/O自动机网络之间的关系

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

J. Lunze

引用次数: 9

SAT-solving in practice sat解题实践

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

Koen Claessen, N. Eén, M. Sheeran, Niklas Sörensson

引用次数: 40

Enhancing hybrid state Petri nets with the analysis power of stochastic hybrid processes 利用随机混合过程的分析能力增强混合状态Petri网

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

M. Everdij, H. Blom

引用次数: 9

Generalised nonblocking 普遍的非阻塞

2008 9th International Workshop on Discrete Event Systems Pub Date : 2008-05-01 DOI: 10.1109/wodes.2008.4605969

R. Malik, R. Leduc

引用次数: 21

From discrete to continuous and back: Abstractions and mesoscopic phenomena in cells 从离散到连续再返回:细胞中的抽象和介观现象

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

Á. Halász, J.A. Agung, George J. Pappas, V. Kumar

引用次数: 1