Discrete event dynamic systems最新文献_第5页

Correction to: Arborescent architecture for decentralized diagnosis of discrete event systems 更正：离散事件系统分散诊断的树状结构

Discrete event dynamic systems Pub Date : 2020-05-15 DOI: 10.1007/s10626-020-00317-x

A. Khoumsi

引用次数: 1

Model-checking precision agriculture logistics: the case of the differential harvest 精准农业物流模型检查：差异收获案例

Discrete event dynamic systems Pub Date : 2020-05-08 DOI: 10.1007/s10626-020-00313-1

R. Saddem-yagoubi, O. Naud, Karen Godary-Dejean, D. Crestani

引用次数: 0

Model-checking precision agriculture logistics: the case of the differential harvest 精准农业物流模型检查：差异收获案例

Discrete event dynamic systems Pub Date : 2020-05-08 DOI: 10.1007/s10626-020-00313-1

R. Saddem-yagoubi, O. Naud, Karen Godary-Dejean, D. Crestani

引用次数: 0

Synthesis of covert actuator attackers for free 免费合成隐蔽致动器攻击器

Discrete event dynamic systems Pub Date : 2020-05-07 DOI: 10.1007/s10626-020-00312-2

Liyong Lin, Yuting Zhu, R. Su

引用次数: 38

Refinements of behavioural abstractions for the supervisory control of hybrid systems 完善混合系统监督控制的行为抽象

Discrete event dynamic systems Pub Date : 2020-04-22 DOI: 10.1007/s10626-020-00315-z

Jung‐Min Yang, T. Moor, J. Raisch

引用次数: 7

Modeling for supervisor synthesis – a lock-bridge combination case study 主管合成建模--锁桥组合案例研究

Discrete event dynamic systems Pub Date : 2020-03-30 DOI: 10.1007/s10626-020-00314-0

F. Reijnen, M. Goorden, J. M. Mortel-Fronczak, J. Rooda

引用次数: 23

Synthesis of least restrictive controllable supervisors for extended finite-state machines with variable abstraction 为具有变量抽象的扩展有限状态机合成限制最少的可控监督器

Discrete event dynamic systems Pub Date : 2020-03-21 DOI: 10.1007/s10626-019-00302-z

R. Malik, Marcelo Teixeira

引用次数: 6

Flexible Nets: a modeling formalism for dynamic systems with uncertain parameters. 柔性网络:具有不确定参数的动态系统的建模形式。

Discrete event dynamic systems Pub Date : 2019-01-01 Epub Date: 2019-08-22 DOI: 10.1007/s10626-019-00287-9

Jorge Júlvez, Stephen G Oliver

{"title":"Flexible Nets: a modeling formalism for dynamic systems with uncertain parameters.","authors":"Jorge Júlvez, Stephen G Oliver","doi":"10.1007/s10626-019-00287-9","DOIUrl":"https://doi.org/10.1007/s10626-019-00287-9","url":null,"abstract":"The modeling of dynamic systems is frequently hampered by a limited knowledge of the system to be modeled and by the difficulty of acquiring accurate data. This often results in a number of uncertain system parameters that are hard to incorporate into a mathematical model. Thus, there is a need for modeling formalisms that can accommodate all available data, even if uncertain, in order to employ them and build useful models. This paper shows how the Flexible Nets (FNs) formalism can be exploited to handle uncertain parameters while offering attractive analysis possibilities. FNs are composed of two nets, an event net and an intensity net, that model the relation between the state and the processes of the system. While the event net captures how the state of the system is updated by the processes in the system, the intensity net models how the speed of such processes is determined by the state of the system. Uncertain parameters are accounted for by sets of inequalities associated with both the event net and the intensity net. FNs are not only demonstrated to be a valuable formalism to cope with system uncertainties, but also to be capable of modeling different system features, such as resource allocation and control actions, in a facile manner.","PeriodicalId":92890,"journal":{"name":"Discrete event dynamic systems","volume":"29 3","pages":"367-392"},"PeriodicalIF":0.0,"publicationDate":"2019-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s10626-019-00287-9","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"37773790","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 4

A random walk model for infection on graphs: spread of epidemics & rumours with mobile agents. 图上感染的随机行走模型：移动代理的流行病和谣言传播。

Discrete event dynamic systems Pub Date : 2011-01-01 Epub Date: 2010-08-17 DOI: 10.1007/s10626-010-0092-5

Moez Draief, Ayalvadi Ganesh

{"title":"A random walk model for infection on graphs: spread of epidemics & rumours with mobile agents.","authors":"Moez Draief, Ayalvadi Ganesh","doi":"10.1007/s10626-010-0092-5","DOIUrl":"10.1007/s10626-010-0092-5","url":null,"abstract":"We address the question of understanding the effect of the underlying network topology on the spread of a virus and the dissemination of information when users are mobile performing independent random walks on a graph. To this end, we propose a simple model of infection that enables to study the coincidence time of two random walkers on an arbitrary graph. By studying the coincidence time of a susceptible and an infected individual both moving in the graph we obtain estimates of the infection probability. The main result of this paper is to pinpoint the impact of the network topology on the infection probability. More precisely, we prove that for homogeneous graphs including regular graphs and the classical Erdős-Rényi model, the coincidence time is inversely proportional to the number of nodes in the graph. We then study the model on power-law graphs, that exhibit heterogeneous connectivity patterns, and show the existence of a phase transition for the coincidence time depending on the parameter of the power-law of the degree distribution. We finally undertake a preliminary analysis for the case with k random walkers and provide upper bounds on the convergence time for both the complete graph and regular graphs.","PeriodicalId":92890,"journal":{"name":"Discrete event dynamic systems","volume":"21 1","pages":"41-61"},"PeriodicalIF":0.0,"publicationDate":"2011-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7088300/pdf/","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"37773789","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Control Synthesis of Petri Nets Based on S-Decreases 基于s -递减的Petri网控制综合

Discrete event dynamic systems Pub Date : 2000-01-01 DOI: 10.1023/A:1008397810443

Haoxun Chen

引用次数: 36