Simulation

A methodology for a complete simulation of Cyber-Physical Energy Systems

The number of computation cycles used for simulation-based Verification of Cyber Physical Energy Systems is outpacing the available throughput of simulation resources. In this paper, a methodology for the verification of the CPES at hand with the aim of full coverage of the system's states is proposed. This approach relies on representing the unpredictable behaviour of the environment in order to cover all feasible possible scenarios. Processed by JModelica, the simulation results are covering the system's complete dynamic behaviour.

Optimal Personalised Treatment Computation through In Silico Clinical Trials on Patient Digital Twins

In Silico Clinical Trials (ISCT), i.e., clinical experimental campaigns carried out by means of computer simulations, hold the promise to decrease time and cost for the safety and efficacy assessment of pharmacological treatments, reduce the need for animal and human testing, and enable precision medicine.

Generating T1DM virtual patients for in silico clinical trials via AI-guided statistical model checking

The availability of a representative population of virtual patients, i.e., a population large enough to represent all relevant human patient behaviours, is a key enabler for the design of In Silico Clinical Trials (ISCTs), that is trials following simulation-based approaches for the safety and efficacy assessment of pharmacological treatments and biomedical devices. This involves the development of Virtual Physiological Human (VPH) models able to represent the whole phenotypes spectrum of the human physiology of interest.

Reconciling interoperability with efficient Verification and Validation within open source simulation environments

A Cyber–Physical System (CPS) comprises physical as well as software subsystems. Simulation-
based approaches are typically used to support design and Verification and Validation (V&V)
of CPSs in several domains such as: aerospace, defence, automotive, smart grid and healthcare.
Accordingly, many simulation-based tools are available to support CPS design. This, on one
side, enables designers to choose the toolchain that best suits their needs, on the other side

A ROS-Based Framework for Simulation and Benchmarking of Multi-robot Patrolling Algorithms

Experiments with teams of mobile robots in the physical world often represent a challenging task due to the complexity involved. One has to make sure that the robot hardware configuration, the software integration and the interaction with the environment is thoroughly tested so that the deployment of robot teams runs smoothly. This usually requires long preparation time for experiments and takes the focus away from what is essential, i.e. the cooperative task performed by the robots.

The technological design as cognitive process. Theories, models, inventions

This contribution reflects the contemporary terms of the dialectic between the design culture and augmented technical tools. The environmental unit is specified as a model of informed interactions: the organization of the professional and research activities undergo a considerable reflection on the cognitive and operative process, and on the reordering of the skills needed to govern this transformation. We wonder what abilities will have to be acquired or reinforced by the discipline of technological design, in order to support the role of interpreter of physical space.

A software validation for DC electrified transportation system: a tram line of Rome

The paper reports a measurement campaign and a simulation validation for the 'Roma-Giardinetti' tram line in Rome, that provides urban service from the main train station of Rome 'Roma Termini' towards a suburban neighborhood of the city. A digital oscilloscope recorder Yokogawa OR100 has been used for the measurements. A monitoring on voltage and current profiles along the line, as well as on power consumptions of the tramline during the daily service, has been performed.

Optical modelling and analysis of the Q and U bolometric interferometer for cosmology

Remnant radiation from the early universe, known as the Cosmic Microwave Background (CMB), has been redshifted and cooled, and today has a blackbody spectrum peaking at millimetre wavelengths. The QUBIC (Q&U Bolometric Interferometer for Cosmology) instrument is designed to map the very faint polaristion structure in the CMB. QUBIC is based on the novel concept of bolometric interferometry in conjunction with synthetic imaging. It will have a large array of input feedhorns, which creates a large number of interferometric baselines.

Distributed load balancing for heterogeneous fog computing infrastructures in smart cities

Smart cities represent an archetypal example of infrastructures where the fog computing paradigm can express its potential: we have a large set of sensors deployed over a large geographic area where data should be pre-processed (e.g., to extract relevant information or to filter and aggregate data) before sending the result to a collector that may be a cloud data center, where relevant data are further processed and stored.

Geometrical and functional criteria as a methodological approach to implement a new cycle path in an existing Urban Road Network: A Case study in Rome

Most road accidents occur in urban areas and notably at urban intersections, where cyclists and motorcyclists are the most vulnerable. In the last few years, cycling mobility has been growing; therefore, bike infrastructures should be designed to encourage this type of mobility and reduce motorized and/or private transport. The paper presents a study to implement a new cycle path in the existing cycle and road network in Rome, Italy.

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma