By Topic

Multi-agent approach to modeling and simulation of urban transportation systems

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

The purchase and pricing options are temporarily unavailable. Please try again later.
3 Author(s)
P. Gruer ; Univ. de Technologie de Belfort Montbeliard, France ; V. Hilaire ; A. Koukarn

This work presents an approach to the modeling and simulation of urban public transport network. The main aspects of the approach are: agent orientation, a combined use of the Object-Z and Statechart formal languages . We show that the adoption of formal languages currently encountered in the software engineering field facilitates the construction of the simulation model and introduces new benefits, such as the reuse of model components. Additionally, formal languages allow one to verify some qualitative properties related to the correctness of the model before facing the simulation phase. Also, the formal approach allows for rapid construction and execution of the simulation itself by using industrial working environments such as Statemate

Published in:

Systems, Man, and Cybernetics, 2001 IEEE International Conference on  (Volume:4 )

Date of Conference: