Abstract: Driver behaviour is considered a key factor in the majority of car ac-cidents. As a consequence driver behaviour has been receiving vast attention in different domain areas, such as psychology, transport engineering and computer science. Computer scientists are primarily interested in what and how computing means can be applied to understand the relation between driver behaviour and trans-port systems. In this paper, we adopt a stochastic approach to conduct a quantitative investigation of driver behaviour. We use the Markovian process algebra PEPA (Per-formance Evaluation Process Algebra) to describe the overall system model. The system component describing the topology and dynamic of the traffic is composed in parallel with the ...
For simulation and analysis of vehicles there is a need to have a means of generating drive cycles w...
When congestion becomes a problem on a road or road network, there are generally three main solution...
The last 20 years has seen a growing interest in models of transportation networks which explicitly ...
We review and advance the state-of-the-art in the modelling of transportation systems as a stochasti...
We address the problem of formally verifying quantitative properties of driver models. We first prop...
Recent scholars have developed a number of stochastic car-following models that have succes...
The study presents a method for application of the theory Markov homogenous processes for modeling o...
We model railway traffic dynamics based on microscopic behavior of vehicles, i.e. speed and distance...
In this dissertation we make use of the theories of stochastic processes and operations research to ...
This book reveals the underlying mechanisms of complexity and stochastic evolutions of traffic flows...
The processor systems are modelled and analysed by stochastic Petri nets. The analysis is based on t...
In this tutorial we give an introduction to stochastic process algebras and their use in performance...
This dissertation investigates different aspects of the reliability of a transportation system subje...
This paper presents the formation of platoons and their velocity-size distribution in freeway traffi...
Based on experimental data taken from a driving simulator, we present different ways of how a stocha...
For simulation and analysis of vehicles there is a need to have a means of generating drive cycles w...
When congestion becomes a problem on a road or road network, there are generally three main solution...
The last 20 years has seen a growing interest in models of transportation networks which explicitly ...
We review and advance the state-of-the-art in the modelling of transportation systems as a stochasti...
We address the problem of formally verifying quantitative properties of driver models. We first prop...
Recent scholars have developed a number of stochastic car-following models that have succes...
The study presents a method for application of the theory Markov homogenous processes for modeling o...
We model railway traffic dynamics based on microscopic behavior of vehicles, i.e. speed and distance...
In this dissertation we make use of the theories of stochastic processes and operations research to ...
This book reveals the underlying mechanisms of complexity and stochastic evolutions of traffic flows...
The processor systems are modelled and analysed by stochastic Petri nets. The analysis is based on t...
In this tutorial we give an introduction to stochastic process algebras and their use in performance...
This dissertation investigates different aspects of the reliability of a transportation system subje...
This paper presents the formation of platoons and their velocity-size distribution in freeway traffi...
Based on experimental data taken from a driving simulator, we present different ways of how a stocha...
For simulation and analysis of vehicles there is a need to have a means of generating drive cycles w...
When congestion becomes a problem on a road or road network, there are generally three main solution...
The last 20 years has seen a growing interest in models of transportation networks which explicitly ...
Add to ORKG