Flexible Nets: a modeling formalism for dynamic systems with uncertain parameters [0.03%]
灵活的网：具有不确定参数的动力系统的建模规范形式
Jorge Júlvez,Stephen G Oliver
Jorge Júlvez
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 incor...
A random walk model for infection on graphs: spread of epidemics & rumours with mobile agents [0.03%]
图上的感染随机游走模型：具有移动代理的流行病和谣言传播
Moez Draief,Ayalvadi Ganesh
Moez Draief
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 propo...
Infinitesimal Perturbation Analysis and Optimization for Make-to-Stock Manufacturing Systems Based on Stochastic Fluid Models [0.03%]
基于随机流模型的按库存生产系统的无穷小摄动分析与优化
Christos Panayiotou; Christos G. Cassandras
Christos Panayiotou; Christos G. Cassandras
Model Checking of Time Petri Nets Using the State Class Timed Automaton [0.03%]
使用状态类时间自动机对时间Petri网进行模型检验
Didier Lime; Olivier H. Roux
Didier Lime; Olivier H. Roux
Kurt Rohloff; Stéphane Lafortune
Kurt Rohloff; Stéphane Lafortune
Min–Max Inequalities and the Timing Verification Problem with Max and Linear Constraints [0.03%]
最小-最大不等式与含最大值及线性约束的时序验证问题
Yiping Cheng; Da-Zhong Zheng
Yiping Cheng; Da-Zhong Zheng
Olivier Contant; Stéphane Lafortune; Demosthenis Teneketzis
Olivier Contant; Stéphane Lafortune; Demosthenis Teneketzis
Qian Chuan Zhao; Da Zhong Zheng
Qian Chuan Zhao; Da Zhong Zheng
State Estimation of λ-free Labeled Petri Nets with Contact-Free Nondeterministic Transitions* [0.03%]
无λ标记的佩特里网的状态估计，带无接触非确定性变迁*
Alessandro Giua; Daniele Corona; Carla Seatzu
Alessandro Giua; Daniele Corona; Carla Seatzu