Now showing items 21-40 of 68

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

    Fonseca Casas, Pau; Codina Sancho, Esteve; Montero Mercadé, Lídia; Linares Herreros, María Paz; Montañola Sales, Cristina (2014)
    Conference report
    Open Access
    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 ...
  • Formalizing geographical models using specification and description language, the wildfire example 

    Fonseca Casas, Pau; Casanovas Garcia, Josep; Figueras Jové, Jaume; Guasch Petit, Antonio (2013)
    Conference report
    Open Access
    In this paper we explore how we can use Specification and Description Language, to represent simulation models that make an intensive use of geographical information, like environmental simulation models. The purpose is ...
  • Formalizing geographical models using specification and description language: the wildfire example 

    Fonseca Casas, Pau; Casanovas Garcia, Josep; Figueras Jové, Jaume; Guasch Petit, Antonio (2013)
    Conference report
    Restricted access - publisher's policy
    In this paper we explore how we can use Specification and Description Language, to represent simulation models that make an intensive use of geographical information, like environmental simulation models. The purpose is ...
  • Formal simulation model to optimize building sustainability 

    Fonseca Casas, Pau; Fonseca Casas, Antoni; Garrido Soriano, Núria; Casanovas Garcia, Josep (2014-03)
    Article
    Open Access
    In this work, we present a simulation model that makes it possible to find optimal values for various building parameters and the associated impacts that reduce the energy demand or consumption of the building. In the ...
  • Indústria 4.0 / Status Report Marc de referència sobre la Indústria 4.0 octubre 2016 

    Fonseca Casas, Pau (2016-10-31)
    External research report
    Open Access
    L¿objecte d¿aquest document és donar a conèixer els elements de la Indústria 4.0 als enginyers, al teixit industrial català i a la societat, podent ser utilitzat com a instrument que faciliti el debat i la construcció d'un ...
  • Integrating bus stop modeling and simulation in public transport network design: a survey 

    Codina Sancho, Esteve; Fonseca Casas, Pau; Colls, Màxim; Montero Mercadé, Lídia (2012)
    Conference report
    Restricted access - publisher's policy
    In this paper a survey of public transportation network design and assignment models is presented with the purpose to analyze the level of detail that is considered regarding aspects such as congestion and interaction ...
  • JGPSS, an open source GPSS framework to teach simulation 

    Fonseca Casas, Pau; Casanovas Garcia, Josep (2009-12-13)
    Conference lecture
    Open Access
    GPSS has been used for years to teach simulation. Different tools following the GPSS syntax exist. Usually these tools can be used to construct simulation models helping in the teaching of simulation. However no available ...
  • Modeling a Chilean Hospital using specification and description language 

    Leiva Olmos, Jorge; Fonseca Casas, Pau; Ocaña Rebull, Jordi (IGI Global, 2013-07)
    Part of book or chapter of book
    Restricted access - publisher's policy
    In this chapter, the authors present a formal model of the Anesthesia Unit and Surgical Wards (UAPQ) of a Chilean hospital. The objective was to document and to understand its operation, to assist hospital management and ...
  • Modelling surgical pavilions and a unit of anaesthesia on a Chilean hospital using Specification and Description Language 

    Leiva Olmos, J.; Fonseca Casas, Pau; Ocaña, J. (2011)
    Conference lecture
    Open Access
    This work addresses the problem of performing a formal modelling of the processes related to the surgical pavilions and an anaesthesia unit on a Chilean hospital. To perform this modelling we used Specification and ...
  • NECADA 

    Fonseca Casas, Pau; Fonseca Casas, Antoni (2014-10-17)
    Computer program
    Restricted access - confidentiality agreement
  • NECADA. Optimization software for sustainable architecture 

    Fonseca Casas, Pau; Fonseca Casas, Antoni (2015)
    Conference report
    Open Access
    In this work, we present a hybrid infrastructure, named NECADA, which supports the execution of a detailed simulation model representing all building processes on a supercomputer, cloud, cluster of computers or desktop ...
  • NZEB. Optimización mediante co-simulación. Estudio de caso (e)Co, prototipo del concurso Solar Decathlon 2012 

    Fonseca Casas, Pau (2012)
    Conference lecture
    Open Access
    Actualmente, en los estudios de arquitectura, hay una necesidad de integrar diferentes disciplinas y técnicos especializados en el grupo de trabajo; donde se hace imprescindible el uso de simuladores y software CAD ...
  • Optimal Buildings' Energy Consumption Calculus through a Distributed Experiment Execution 

    Fonseca Casas, Pau; Fonseca, Antoni; Garrido Soriano, Núria; Ortiz, Joana Aina; Casanovas, Josep; Salom Tormo, Jaume (Hindawi Publishing Corporation, 2015)
    Article
    Open Access
    The calculus of building energy consumption is a demanding task because multiple factors must be considered during experimentation. Additionally, the definition of the model and the experiments is complex because the problem ...
  • Optimal buildings’ energy consumption calculus through a distributed experiment execution 

    Fonseca Casas, Pau; Fonseca i Casas, Antoni; Garrido Soriano, Núria; Ortiz, Joana; Casanovas Garcia, Josep; Solom, Jaume (2015-11-05)
    Article
    Open Access
    The calculus of building energy consumption is a demanding task because multiple factors must be considered during experimentation. Additionally, the definition of the model and the experiments is complex because the problem ...
  • Optimization of aircraft boarding processes considering passengers’ grouping characteristics 

    Carmona Budesca, Gerard; Juan, Angel A.; Fonseca Casas, Pau (2014)
    Conference report
    Open Access
    A ircraft boarding is one of the critical process es affecting the turnaround time whe n a plane is at an airport. In this work , the aircraft boarding problem is studied with the aim of designing a boarding ...
  • Optimization of energy renovation of residential sector in Catalonia based on comfort, energy and costs 

    Ortiz, Joana; Fonseca Casas, Antoni; Salom, Jaume; Russo, Verdina; Garrido Soriano, Núria; Fonseca Casas, Pau (2015)
    Conference report
    Open Access
    The paper describes OptiHab study, done in the framework of the MARIE project. The objective of OptiHab is to provide technical and economic information to optimize the energy renovation of residential sector in Catalonia, ...
  • Passenger flow simulation in a hub airport: an application to the Barcelona International Airport 

    Fonseca Casas, Pau; Casanovas Garcia, Josep; Ferran, Xavier (2014-05)
    Article
    Open Access
    This paper describes a conceptual model intended to be applied in a general approach to the micro-simulation of hub airports terminals. The proposed methodology is illustrated with the development of a simulation model ...
  • Representing Fibonacci function through cellular automata using specification and description language 

    Fonseca Casas, Pau; Colls, Màxim; Casanovas Garcia, Josep (2010)
    Conference lecture
    Open Access
    In this poster we show how to use Specification and Description Language (SDL) to represent cellular automata models. To achieve that we use a generalization of the common cellular automata, named m:n-$CA^k$. Also we add ...
  • SDL - The IoT Language 

    Sherratt, Edel; Ober, Ileana; Gaudin, Emmanuel; Fonseca Casas, Pau; Kristoffersen, Finn (2015-10-12)
    Part of book or chapter of book
    Restricted access - publisher's policy
    Interconnected smart devices constitute a large and rapidly growing element of the contemporary Internet. A smart thing can be as simple as a web-enabled device that collects and transmits sensor data to a repository for ...
  • SDL – The IoT Language 

    Sherratt, Edel; Ober, Ileana; Gaudin, Emmanuel; Fonseca Casas, Pau; Kristoffersen, Finn (2015)
    Conference report
    Restricted access - publisher's policy
    Interconnected smart devices constitute a large and rapidly growing element of the contemporary Internet. A smart thing can be as simple as a web-enabled device that collects and transmits sensor data to a repository for ...