首页 > 最新文献

Discrete event dynamic systems最新文献

英文 中文
Correction to: Arborescent architecture for decentralized diagnosis of discrete event systems 更正:离散事件系统分散诊断的树状结构
Pub Date : 2020-05-15 DOI: 10.1007/s10626-020-00317-x
A. Khoumsi
{"title":"Correction to: Arborescent architecture for decentralized diagnosis of discrete event systems","authors":"A. Khoumsi","doi":"10.1007/s10626-020-00317-x","DOIUrl":"https://doi.org/10.1007/s10626-020-00317-x","url":null,"abstract":"","PeriodicalId":92890,"journal":{"name":"Discrete event dynamic systems","volume":"29 44","pages":"377 - 379"},"PeriodicalIF":0.0,"publicationDate":"2020-05-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141204976","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}
引用次数: 1
Model-checking precision agriculture logistics: the case of the differential harvest 精准农业物流模型检查:差异收获案例
Pub Date : 2020-05-08 DOI: 10.1007/s10626-020-00313-1
R. Saddem-yagoubi, O. Naud, Karen Godary-Dejean, D. Crestani
{"title":"Model-checking precision agriculture logistics: the case of the differential harvest","authors":"R. Saddem-yagoubi, O. Naud, Karen Godary-Dejean, D. Crestani","doi":"10.1007/s10626-020-00313-1","DOIUrl":"https://doi.org/10.1007/s10626-020-00313-1","url":null,"abstract":"","PeriodicalId":92890,"journal":{"name":"Discrete event dynamic systems","volume":"34 11","pages":"579 - 604"},"PeriodicalIF":0.0,"publicationDate":"2020-05-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141206162","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}
引用次数: 0
Model-checking precision agriculture logistics: the case of the differential harvest 精准农业物流模型检查:差异收获案例
Pub Date : 2020-05-08 DOI: 10.1007/s10626-020-00313-1
R. Saddem-yagoubi, O. Naud, Karen Godary-Dejean, D. Crestani
{"title":"Model-checking precision agriculture logistics: the case of the differential harvest","authors":"R. Saddem-yagoubi, O. Naud, Karen Godary-Dejean, D. Crestani","doi":"10.1007/s10626-020-00313-1","DOIUrl":"https://doi.org/10.1007/s10626-020-00313-1","url":null,"abstract":"","PeriodicalId":92890,"journal":{"name":"Discrete event dynamic systems","volume":"12 12","pages":"579 - 604"},"PeriodicalIF":0.0,"publicationDate":"2020-05-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141206136","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}
引用次数: 0
Synthesis of covert actuator attackers for free 免费合成隐蔽致动器攻击器
Pub Date : 2020-05-07 DOI: 10.1007/s10626-020-00312-2
Liyong Lin, Yuting Zhu, R. Su
{"title":"Synthesis of covert actuator attackers for free","authors":"Liyong Lin, Yuting Zhu, R. Su","doi":"10.1007/s10626-020-00312-2","DOIUrl":"https://doi.org/10.1007/s10626-020-00312-2","url":null,"abstract":"","PeriodicalId":92890,"journal":{"name":"Discrete event dynamic systems","volume":"51 20","pages":"561 - 577"},"PeriodicalIF":0.0,"publicationDate":"2020-05-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141206264","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}
引用次数: 38
Refinements of behavioural abstractions for the supervisory control of hybrid systems 完善混合系统监督控制的行为抽象
Pub Date : 2020-04-22 DOI: 10.1007/s10626-020-00315-z
Jung‐Min Yang, T. Moor, J. Raisch
{"title":"Refinements of behavioural abstractions for the supervisory control of hybrid systems","authors":"Jung‐Min Yang, T. Moor, J. Raisch","doi":"10.1007/s10626-020-00315-z","DOIUrl":"https://doi.org/10.1007/s10626-020-00315-z","url":null,"abstract":"","PeriodicalId":92890,"journal":{"name":"Discrete event dynamic systems","volume":"93 20","pages":"533 - 560"},"PeriodicalIF":0.0,"publicationDate":"2020-04-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141210661","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}
引用次数: 7
Modeling for supervisor synthesis – a lock-bridge combination case study 主管合成建模--锁桥组合案例研究
Pub Date : 2020-03-30 DOI: 10.1007/s10626-020-00314-0
F. Reijnen, M. Goorden, J. M. Mortel-Fronczak, J. Rooda
{"title":"Modeling for supervisor synthesis – a lock-bridge combination case study","authors":"F. Reijnen, M. Goorden, J. M. Mortel-Fronczak, J. Rooda","doi":"10.1007/s10626-020-00314-0","DOIUrl":"https://doi.org/10.1007/s10626-020-00314-0","url":null,"abstract":"","PeriodicalId":92890,"journal":{"name":"Discrete event dynamic systems","volume":" 7","pages":"499 - 532"},"PeriodicalIF":0.0,"publicationDate":"2020-03-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141219965","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}
引用次数: 23
Synthesis of least restrictive controllable supervisors for extended finite-state machines with variable abstraction 为具有变量抽象的扩展有限状态机合成限制最少的可控监督器
Pub Date : 2020-03-21 DOI: 10.1007/s10626-019-00302-z
R. Malik, Marcelo Teixeira
{"title":"Synthesis of least restrictive controllable supervisors for extended finite-state machines with variable abstraction","authors":"R. Malik, Marcelo Teixeira","doi":"10.1007/s10626-019-00302-z","DOIUrl":"https://doi.org/10.1007/s10626-019-00302-z","url":null,"abstract":"","PeriodicalId":92890,"journal":{"name":"Discrete event dynamic systems","volume":" 9","pages":"211 - 241"},"PeriodicalIF":0.0,"publicationDate":"2020-03-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141221356","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
Flexible Nets: a modeling formalism for dynamic systems with uncertain parameters. 柔性网络:具有不确定参数的动态系统的建模形式。
Pub Date : 2019-01-01 Epub Date: 2019-08-22 DOI: 10.1007/s10626-019-00287-9
Jorge Júlvez, Stephen G Oliver

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.

动态系统的建模经常受到待建模系统知识有限和难以获得准确数据的阻碍。这通常会导致许多不确定的系统参数,这些参数很难纳入数学模型。因此,为了使用它们并构建有用的模型,需要能够容纳所有可用数据(即使不确定)的建模形式化。本文展示了如何利用柔性网络(FNs)形式来处理不确定参数,同时提供有吸引力的分析可能性。神经网络由两个网络组成,一个是事件网络,一个是强度网络,这两个网络对系统的状态和过程之间的关系进行了建模。当事件网捕获系统中的进程如何更新系统状态时,强度网模拟了这些进程的速度如何由系统状态决定。不确定参数由与事件网和强度网相关的不等式集来解释。FNs不仅被证明是处理系统不确定性的一种有价值的形式,而且能够以一种方便的方式建模不同的系统特征,例如资源分配和控制行为。
{"title":"Flexible Nets: a modeling formalism for dynamic systems with uncertain parameters.","authors":"Jorge Júlvez,&nbsp;Stephen G Oliver","doi":"10.1007/s10626-019-00287-9","DOIUrl":"https://doi.org/10.1007/s10626-019-00287-9","url":null,"abstract":"<p><p>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.</p>","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. 图上感染的随机行走模型:移动代理的流行病和谣言传播。
Pub Date : 2011-01-01 Epub Date: 2010-08-17 DOI: 10.1007/s10626-010-0092-5
Moez Draief, Ayalvadi Ganesh

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.

我们要解决的问题是,当用户在图上进行独立随机行走时,如何理解底层网络拓扑结构对病毒传播和信息传播的影响。为此,我们提出了一个简单的感染模型,可以研究任意图上两个随机行走者的重合时间。通过研究同时在图中移动的易感个体和受感染个体的重合时间,我们可以得到感染概率的估计值。本文的主要成果是指出网络拓扑结构对感染概率的影响。更准确地说,我们证明了对于同质图(包括规则图和经典厄尔多斯-雷尼模型),重合时间与图中的节点数成反比。然后,我们对表现出异质连接模式的幂律图模型进行了研究,结果表明重合时间存在相变,相变取决于度分布的幂律参数。最后,我们对有 k 个随机漫步者的情况进行了初步分析,并给出了完整图和规则图的收敛时间上限。
{"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":"<p><p>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 <i>k</i> random walkers and provide upper bounds on the convergence time for both the complete graph and regular graphs.</p>","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网控制综合
Pub Date : 2000-01-01 DOI: 10.1023/A:1008397810443
Haoxun Chen
{"title":"Control Synthesis of Petri Nets Based on S-Decreases","authors":"Haoxun Chen","doi":"10.1023/A:1008397810443","DOIUrl":"https://doi.org/10.1023/A:1008397810443","url":null,"abstract":"","PeriodicalId":92890,"journal":{"name":"Discrete event dynamic systems","volume":"50 1","pages":"233-249"},"PeriodicalIF":0.0,"publicationDate":"2000-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90407242","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}
引用次数: 36
期刊
Discrete event dynamic systems
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1