Continuous approximation of collective system behaviour: A tutorial
In this paper we present an overview of the field of deterministic approximation of Markov
processes, both in discrete and continuous times. We will discuss mean field approximation …
processes, both in discrete and continuous times. We will discuss mean field approximation …
Half a century after Carl Adam Petri's Ph. D. thesis: A perspective on the field
M Silva - Annual reviews in control, 2013 - Elsevier
It is certainly worth remarking on half a century of a work defining a landmark in Discrete
Event Dynamic Systems (DEDS) theory. This invited contribution aims to combine some …
Event Dynamic Systems (DEDS) theory. This invited contribution aims to combine some …
A decentralized trust management system for intelligent transportation environments
X Chen, J Ding, Z Lu - IEEE Transactions on Intelligent …, 2020 - ieeexplore.ieee.org
Commercialized 5G technology will provide reliable and efficient connectivity of motor
vehicles that could support the dissemination of information under an intelligent …
vehicles that could support the dissemination of information under an intelligent …
A cloud-based trust management framework for vehicular social networks
X Chen, L Wang - IEEE Access, 2017 - ieeexplore.ieee.org
The mobile industry's evolution from 4G to 5G will lead to a deep progress on mobile
applications that are widely used in some new environments, such as vehicular social …
applications that are widely used in some new environments, such as vehicular social …
Scalable differential analysis of process algebra models
M Tribastone, S Gilmore… - IEEE Transactions on …, 2010 - ieeexplore.ieee.org
The exact performance analysis of large-scale software systems with discrete-state
approaches is difficult because of the well-known problem of state-space explosion. This …
approaches is difficult because of the well-known problem of state-space explosion. This …
Exploring fog computing-based adaptive vehicular data scheduling policies through a compositional formal method—PEPA
X Chen, L Wang - IEEE Communications Letters, 2017 - ieeexplore.ieee.org
Vehicular networks enable an efficient communication with the aim of improving data
dissemination among vehicles. However, a growing number of vehicles expect to conduct …
dissemination among vehicles. However, a growing number of vehicles expect to conduct …
On fluidization of discrete event models: observation and control of continuous Petri nets
As a preliminary overview, this work provides first a broad tutorial on the fluidization of
discrete event dynamic models, an efficient technique for dealing with the classical state …
discrete event dynamic models, an efficient technique for dealing with the classical state …
On process rate semantics
L Cardelli - Theoretical computer science, 2008 - Elsevier
We provide translations between process algebra and systems of chemical reactions. We
show that the translations preserve discrete-state (stochastic) and continuous-state …
show that the translations preserve discrete-state (stochastic) and continuous-state …
Patient flow scheduling and capacity planning in a smart hospital environment
Improving patient flow is a way to refine health services. An efficient patient flow can improve
the quality of services and the utilization of resources. A smart environment could facilitate …
the quality of services and the utilization of resources. A smart environment could facilitate …
The PEPA eclipse plugin
M Tribastone, A Duguid, S Gilmore - ACM SIGMETRICS Performance …, 2009 - dl.acm.org
The PEPA Eclipse Plug-in supports the creation and analysis of performance models, from
small-scale Markov models to large-scale simulation studies and differential equation …
small-scale Markov models to large-scale simulation studies and differential equation …