The increasing power of computer technologies, the evolution of software en- neering and the advent of the intelligent transport systems has prompted traf c simulation to become one of the most used approaches for traf c analysis in s- port of the design and evaluation of traf c systems. The ability of traf c simulation to emulate the time variability of traf c phenomena makes it a unique tool for capturing the complexity of traf c systems. In recent years, traf c simulation – and namely microscopic traf c simulation – has moved from the academic to the professional world. A wide variety of traf- c simulation software is currently available on the market and it is utilized by thousands of users, consultants, researchers and public agencies. Microscopic traf c simulation based on the emulation of traf c ows from the dynamics of individual vehicles is becoming one the most attractive approaches. However, traf c simulation still lacks a uni ed treatment. Dozens of papers on theory and applications are published in scienti c journals every year. A search of simulation-related papers and workshops through the proceedings of the last annual TRB meetings would support this assertion, as would a review of the minutes from speci cally dedicated meetings such as the International Symposiums on Traf c Simulation (Yokohama, 2002; Lausanne, 2006; Brisbane, 2008) or the International Workshops on Traf c Modeling and Simulation (Tucson, 2001; Barcelona, 2003; Sedona, 2005; Graz 2008). Yet, the only comprehensive treatment of the subject to be found so far is in the user’s manuals of various software products.

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.

Simulation Approaches in Transportation Analysis: Recent Advances and Challenges presents the latest developments in transport simulation, including dynamic network simulation and micro-simulation of people’s movement in an urban area. It offers a collection of the major simulation models that are now in use throughout the world; it illustrates each model in detail, examines potential problems, and points to directions for future development. The reader will be able to understand the functioning, applicability, and usefulness of advanced transport simulation models. The material in this book will be of wide use to graduate students and practitioners as well as researchers in the transportation engineering and planning fields.

The MATSim (Multi-Agent Transport Simulation) software project was started around 2006 with the goal of generating traffic and congestion patterns by following individual synthetic travelers through their daily or weekly activity programme. It has since then evolved from a collection of stand-alone C++ programs to an integrated Java-based framework which is publicly hosted, open-source available, automatically regression tested. It is currently used by about 40 groups throughout the world. This book takes stock of the current status. The first part of the book gives an introduction to the most important concepts, with the intention of enabling a potential user to set up and run basic simulations. The second part of the book describes how the basic functionality can be extended, for example by adding schedule-based public transit, electric or autonomous cars, paratransit, or within-day replanning. For each extension, the text provides pointers to the additional documentation and to the code base. It is also discussed how people with appropriate Java programming skills can write their own extensions, and plug them into the MATSim core. The project has started from the basic idea that traffic is a consequence of human behavior, and thus humans and their behavior should be the starting point of all modelling, and with the intuition that when simulations with 100 million particles are possible in computational physics, then behavior-oriented simulations with 10 million travelers should be possible in travel behavior research. The initial implementations thus combined concepts from computational physics and complex adaptive systems with concepts from travel behavior research. The third part of the book looks at theoretical concepts that are able to describe important aspects of the simulation system; for example, under certain conditions the code becomes a Monte Carlo engine sampling from a discrete choice model. Another important aspect is the interpretation of the MATSim score as utility in the microeconomic sense, opening up a connection to benefit cost analysis. Finally, the book collects use cases as they have been undertaken with MATSim. All current users of MATSim were invited to submit their work, and many followed with sometimes crisp and short and sometimes longer contributions, always with pointers to additional references. We hope that the book will become an invitation to explore, to build and to extend agent-based modeling of travel behavior from the stable and well tested core of MATSim documented here.

This textbook provides a comprehensive and instructive coverage of vehicular traffic flow dynamics and modeling. It makes this fascinating interdisciplinary topic, which to date was only documented in parts by specialized monographs, accessible to a broad readership. Numerous figures and problems with solutions help the reader to quickly understand and practice the presented concepts. This book is targeted at students of physics and traffic engineering and, more generally, also at students and professionals in computer science, mathematics, and interdisciplinary topics. It also offers material for project work in programming and simulation at college and university level. The main part, after presenting different categories of traffic data, is devoted to a mathematical description of the dynamics of traffic flow, covering macroscopic models which describe traffic in terms of density, as well as microscopic many-particle models in which each particle corresponds to a vehicle and its driver. Focus chapters on traffic instabilities and model calibration/validation present these topics in a novel and systematic way. Finally, the theoretical framework is shown at work in selected applications such as traffic-state and travel-time estimation, intelligent transportation systems, traffic operations management, and a detailed physics-based model for fuel consumption and emissions.

A single source of information for researchers and professionals, Traffic Simulation and Data: Validation Methods and Applications offers a complete overview of traffic data collection, state estimation, calibration and validation for traffic modelling and simulation. It derives from the Multitude Project-a European Cost Action project that incorpo

This book constitutes the thoroughly refereed proceedings of the First International Conference on Simulation of Urban Mobility, SUMO 2013, held in Berlin, Germany, in May 2013. The 12 revised full papers presented tin this book were carefully selected and reviewed from 22 submissions. The papers are organized in two topical sections: models and technical innovations and applications and surveys.

In September 2018, researchers from Armenia, Chile, Germany and Japan met in Yerevan to discuss technologies with applications in Smart Cities, Data Science and Information-Theoretic Approaches for Smart Systems, Technical Challenges for Smart Environments, and Smart Human Centered Computing. This book presents their contributions to the CODASSCA 2018 workshop on Collaborative Technologies and Data Science in Smart City Applications, a cutting-edge topic in Computer Science today.