Discrete Event System Specification for IoT Applications.

The Internet of Things (IoT) has emerged as a transformative technology with a variety of applications across various industries. However, the development of IoT systems is hindered by challenges such as interoperability, system complexity, and the need for streamlined development and maintenance processes. In this study, we introduce a robust architecture grounded in discrete event system specification (DEVS) as a model-driven development solution to overcome these obstacles.

Mitigating the negative impact of new buildings on existing buildings' user comfort-a case study analysis.

Campus master plans are released every few years for developing and implementing its physical infrastructure. Open spaces, compactness, connectivity, greenness, and environmental impact have often been the focus on its framework. In particular, the effect of new building development on existing buildings' occupant comfort and design intent is mostly ignored.

Complexity measure based on sensitivity analysis applied to an intensive care unit system.

This work proposes a system complexity metric and its application to Intensive Care Unit (ICU) system. The methodology for applying said complexity metric comprises: (i) parameters sensitivity indices calculation, (ii) mapping connections dynamics between system components, and (iii) system's complexity calculation. After simulating the ICU computer model and using the proposed methodology, we obtained results regarding: number of admissions, number of patients in the queue, length of stay, beds in use, ICU performance, and system complexity values (in regular or overloaded operation).

A grid-shaped cellular modeling approach for wireless sensor networks.

WSN (Wireless Sensor Network) applications have been widely used in recent years. We introduce a new method for modeling WSN, based on the specification of the WSN using the Cell-Discrete-Event Systems Specification (DEVS) formalism: the space is partitioned into cells where each cell can be considered a sensor, an obstacle, or anything of a behavior with defined rules. This model is then converted automatically into DEVS model at runtime.

Advanced models for centroidal particle dynamics: short-range collision avoidance in dense crowds.

Computer simulation of dense crowds is finding increased use in event planning, congestion prediction, and threat assessment. State-of-the-art particle-based crowd methods assume and aim for collision-free trajectories. That is an idealistic yet not overly realistic expectation, as near-collisions increase in dense and rushed settings compared with typically sparse pedestrian scenarios.

A DEVS-based engine for building digital quadruplets.

Development of Embedded Real-Time Systems is prone to error, and developing bug-free applications is expensive and no guarantees can be provided. We introduce the concept of Digital Quadruplet which includes: a 3D virtual representation of the physical world (a Digital Twin), a Discrete-Event formal model of the system of interest (called the "Digital Triplet"), which can be used for formal analysis as well as simulation studies, and a physical model of the real system under study for experimentation (called the "Digital Quadruplet"). We focus on the definition of the idea of a Digital Quadruplet and how to make these four apparati consistent and reusable.

Large-scale investigation of oxygen response mutants in Saccharomyces cerevisiae.

A genome-wide screen of a yeast non-essential gene-deletion library was used to identify sick phenotypes due to oxygen deprivation. The screen provided a manageable list of 384 potentially novel as well as known oxygen responding (anoxia-survival) genes. The gene-deletion mutants were further assayed for sensitivity to ferrozine and cobalt to obtain a subset of 34 oxygen-responsive candidate genes including the known hypoxic gene activator, MGA2.

Simulation of a presynaptic nerve terminal with a tethered particle system model.

Presynaptic nerve terminals are located at the ends of nerve cells; a signal propagating through a nerve cell reaches one of these compartments before being transmitted to an adjacent nerve cell. A tethered particle system (TPS) is a type of impulse-based model recently developed for the simulation of deformable biological structures. In a TPS, collisions can cause approaching particles to rebound outwards, as one would expect, but they can also caused separating particles to retract inwards.