Modelling and Implementation of a Microscopic Traffic Simulation System 1st Edition by Johannes Brügmann 3832541330 9783832541330

Modelling and Implementation of a Microscopic Traffic Simulation System 1st Edition by Johannes Brügmann – Ebook PDF Instant Download/Delivery:  3832541330, 9783832541330
Full download Modelling and Implementation of a Microscopic Traffic Simulation System 1st Edition  after payment

Product details:

ISBN 10: 3832541330
ISBN 13: 9783832541330
Author: Johannes Brügmann

This thesis presents the foundations, the initial state, and the progress made in modelling and implementing a real-world and real-time online microscopic traffic simulation system for highway traffic. To successfully model and implement such a simulation system, this thesis recommends the use of a number of formal methods applied at the right places. As part of the recommendation, this thesis proposes a microscopic traffic simulation system. To explore the feasibility and the potential of the recommended methods, it observes and examines the proposed system from multiple views and under various different aspects.

As part of the examination, this thesis provides a (semi-)formal specification, a model implementation, an implementation of a productive system, and the benefits that result from validating such a system. The results and any proper application of them have the potential to increase the reliability and the trustworthiness for any future implementation of the proposed simulation system. The presented results additionally motivate to apply the proposed approach to similar simulation systems. The thesis concludes the presentation of the results with some considerations for future implementations.

Modelling and Implementation of a Microscopic Traffic Simulation System 1st Table of contents:

1 Introduction

1.1 Traffic simulation systems

1.2 Application domains

1.3 Outline

2 Initial position

2.1 Requirements

2.1.1 Project history

2.1.2 Project context

2.1.3 Feature requests

2.1.4 Re-architecture demands.

2.1.4.1 Storage and access of loop detector data

2.1.4.2 Topological data

2.1.4.3 Data model and data flow

2.1.4.4 Traffic and simulation model

2.2 State of the art

2.2.1 System classification

2.2.2 Detector models

2.2.3 Traffic models.

2.2.4 Network models

2.2.5 Vehicle generation

2.2.6 Simulation systems

2.3 Summary

3 Conceptual design

3.1 General remarks

3.1.1 Methodology

3.1.2 Nomenclature

3.2 Vehicle model..

3.2.1 Vehicle types

3.2.2 Vehicles

3.3 Network model

3.3.1 Cells.

3.3.2 Sections

3.3.3 Roadways

3.3.4 Topological analysis

3.3.5 Occupation tables

3.3.6 Switching areas

3.4 Traffic model

3.4.1 Longitudinal motion

3.4.1.1 Classic model.

3.4.1.2 Optimisation

3.4.1.3 Further considerations.

3.4.2 Lateral motion

3.5 Detector model

3.5.1 Detector operations

3.5.2 Loop detectors

3.5.3 Prognosis detectors

3.5.4 Invariant detectors

3.5.5 Local detectors

3.5.6 Global detectors

3.6 Tuning model…

3.6.1 Accumulators

3.6.2 Tuning elements

3.7 Simulation model.

3.7.1 System specification

3.7.2 Multicomponent specification

3.7.3 Network specification

3.7.4 Dynamic network.

3.7.5 Further decompositions

3.8 Summary

– Implementation issues

4.1 General remarks

4.1.1 Development process.

4.1.2 Programming languages

4.1.3 Implementation goals

4.2 Simulation model implementation

4.2.1 Simulation engines

4.2.2 Libraries.

4.2.2.1 Bigloo specific libraries

4.2.2.2 Maude specific libraries

4.2.3 Vehicles

4.2.4 Roadways

4.2.5 Occupation tables

4.2.6 Detectors

4.2.7 Accumulators

4.2.8 Tuning elements

4.2.9 Tuning areas

4.2.10 Vehicle update

4.2.11 Switching areas

4.2.12 Traffic roads.

4.2.13 Simulation networks

4.3 Vehicle models

4.4 Traffic models.

4.5 Detector models

4.6 Tuning element models.

4.6.1 Accumulator models

4.6.2 Tuning element and tuning area models

4.7 Running the simulation

4.8 Summary

5 Benefits of the presented work

5.1 Obtaining and distributing traffic information

5.1.1 Road user traffic information

5.1.2 Road operator traffic information

5.1.3 Scientific traffic information

5.1.4 Further traffic information.

5.2 Verification and validation

5.2.1 Numerical solution verification

5.2.2 Collision freeness

5.2.3 Further verification.

5.2.4 Travel-time validation

5.2.5 Performance validation

5.3 Implementing the next version

5.3.1 Design decisions

5.3.2 Implementation issues

5.4 Summary

People also search for Modelling and Implementation of a Microscopic Traffic Simulation System 1st :

modelling and implementation of an inverted pendulum
    
financial modelling theory implementation and practice
    
modelling simulation and implementation of a quadrotor uav
    
modeling agencies for new models

Tags:

Johannes Brügmann,Modelling,Implementation