Ir al contenido (pulsa Retorno)

Universitat Politècnica de Catalunya

    • Català
    • Castellano
    • English
    • LoginRegisterLog in (no UPC users)
  • mailContact Us
  • world English 
    • Català
    • Castellano
    • English
  • userLogin   
      LoginRegisterLog in (no UPC users)

UPCommons. Global access to UPC knowledge

58.763 UPC E-Prints
You are here:
View Item 
  •   DSpace Home
  • E-prints
  • Grups de recerca
  • PROMALS - Grup de Recerca en Programació Matemática, Logística i Simulació
  • Ponències/Comunicacions de congressos
  • View Item
  •   DSpace Home
  • E-prints
  • Grups de recerca
  • PROMALS - Grup de Recerca en Programació Matemática, Logística i Simulació
  • Ponències/Comunicacions de congressos
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Formal and operational validation of a bus stop public transport network micro simulation

Thumbnail
View/Open
paper (1,025Mb)
Share:
 
  View Usage Statistics
Cita com:
hdl:2117/26412

Show full item record
Fonseca Casas, PauMés informacióMés informacióMés informació
Codina Sancho, EsteveMés informacióMés informacióMés informació
Montero Mercadé, LídiaMés informacióMés informacióMés informació
Linares Herreros, María PazMés informacióMés informacióMés informació
Montañola Sales, CristinaMés informació
Document typeConference report
Defense date2014
Rights accessOpen Access
Attribution-NonCommercial-NoDerivs 3.0 Spain
Except where otherwise noted, content on this work is licensed under a Creative Commons license : Attribution-NonCommercial-NoDerivs 3.0 Spain
Abstract
We present a detailed simulation model with the purpose of analyzing the congestion and interaction between bus lines and passengers at stops. Our main goal is to perform a complete validation of a simulation model formalized in a standard language in order to use it as a basis to perform more complex experiments. The basis of the model is a queuing model that leads us to perform an operational validation. Since the model is completely represented using a formal language, the specialist can perform a formal validation of the model previously to any implementation. Thanks to the modular structure of the formal language used to define the model, the model can be easily expanded to represent more complex systems. Due to a formal representation, the implementation process can be done automatically implying that analysts should only be concerned about the correct definition of the diagrams that represent the model behavior
CitationFonseca, P. [et al.]. Formal and operational validation of a bus stop public transport network micro simulation. A: Winter Simulation Conference. "Winter Simulation Conference 2014, December 7-10, 2014, Savannah, G.A.". Savannah, GA: 2014, p. 1-12. 
URIhttp://hdl.handle.net/2117/26412
Collections
  • PROMALS - Grup de Recerca en Programació Matemática, Logística i Simulació - Ponències/Comunicacions de congressos [54]
  • LIAM - Laboratori de Modelització i Anàlisi de la Informació - Ponències/Comunicacions de congressos [64]
  • Departament d'Estadística i Investigació Operativa - Ponències/Comunicacions de congressos [246]
Share:
 
  View Usage Statistics

Show full item record

FilesDescriptionSizeFormatView
con242s4-file1.pdfpaper1,025MbPDFView/Open

Browse

This CollectionBy Issue DateAuthorsOther contributionsTitlesSubjectsThis repositoryCommunities & CollectionsBy Issue DateAuthorsOther contributionsTitlesSubjects

© UPC Obrir en finestra nova . Servei de Biblioteques, Publicacions i Arxius

info.biblioteques@upc.edu

  • About This Repository
  • Contact Us
  • Send Feedback
  • Inici de la pàgina