A framework for efficient model transformations

The reported productivity gains while using models and model transformations to develop entire systems, after almost a decade of experience applying model-driven approaches for system development, are already undeniable benefits of this approach. However, the slowness of higher-level, rule based model transformation languages hinders the applicability of this approach to industrial scales. Lower-level, and efficient, languages can be used but productivity and easy maintenance seize to exist. The abstraction penalty problem is not new, it also exists for high-level, object oriented languages but everyone is using them now. Why is not everyone using rule based model transformation languages then? In this thesis, we propose a framework, comprised of a language and its respective environment, designed to tackle the most performance critical operation of high-level model transformation languages: the pattern matching. This framework shows that it is possible to mitigate the performance penalty while still using high-level model transformation languages

Stability of planar switched systems under delayed event detection

This is an accepted manuscript of an article published by IEEE in 2020 59th IEEE Conference on Decision and Control (CDC), available online: https://ieeexplore.ieee.org/document/9304152 The accepted version of the publication may differ from the final published version.In this paper, we analyse the impact of delayed event detection on the stability of a 2-mode planar hybrid automata. We consider hybrid automata with a unique equilibrium point for all the modes, and we find the maximum delay that preserves stability of that equilibrium point. We also show for the class of hybrid automata treated that the instability of the equilibrium point for the equivalent hybrid automaton with delay in the transitions is equivalent to the existence of a closed orbit in the hybrid state space, a result that is inspired by the Joint Spectral Radius theorem. This leads to an algorithm for computing the maximum stable delay exactly. Other potential applications of our technique include co-simulation, networked control systems and delayed controlled switching with a state feedback control.Published versio

Panoramic snapshot of serum soluble mediator interplay in pregnant women with convalescent COVID-19: an exploratory study

IntroductionSARS-CoV-2 infection during pregnancy can induce changes in the maternal immune response, with effects on pregnancy outcome and offspring. This is a cross-sectional observational study designed to characterize the immunological status of pregnant women with convalescent COVID-19 at distinct pregnancy trimesters. The study focused on providing a clear snapshot of the interplay among serum soluble mediators.MethodsA sample of 141 pregnant women from all prenatal periods (1st, 2nd and 3rd trimesters) comprised patients with convalescent SARS-CoV-2 infection at 3-20 weeks after symptoms onset (COVID, n=89) and a control group of pre-pandemic non-infected pregnant women (HC, n=52). Chemokine, pro-inflammatory/regulatory cytokine and growth factor levels were quantified by a high-throughput microbeads array.ResultsIn the HC group, most serum soluble mediators progressively decreased towards the 2nd and 3rd trimesters of pregnancy, while higher chemokine, cytokine and growth factor levels were observed in the COVID patient group. Serum soluble mediator signatures and heatmap analysis pointed out that the major increase observed in the COVID group related to pro-inflammatory cytokines (IL-6, TNF-α, IL-12, IFN-γ and IL-17). A larger set of biomarkers displayed an increased COVID/HC ratio towards the 2nd (3x increase) and the 3rd (3x to 15x increase) trimesters. Integrative network analysis demonstrated that HC pregnancy evolves with decreasing connectivity between pairs of serum soluble mediators towards the 3rd trimester. Although the COVID group exhibited a similar profile, the number of connections was remarkably lower throughout the pregnancy. Meanwhile, IL-1Ra, IL-10 and GM-CSF presented a preserved number of correlations (≥5 strong correlations in HC and COVID), IL-17, FGF-basic and VEGF lost connectivity throughout the pregnancy. IL-6 and CXCL8 were included in a set of acquired attributes, named COVID-selective (≥5 strong correlations in COVID and <5 in HC) observed at the 3rd pregnancy trimester.Discussion and conclusionFrom an overall perspective, a pronounced increase in serum levels of soluble mediators with decreased network interplay between them demonstrated an imbalanced immune response in convalescent COVID-19 infection during pregnancy that may contribute to the management of, or indeed recovery from, late complications in the post-symptomatic phase of the SARS-CoV-2 infection in pregnant women

Stability of Planar Switched Systems under Delayed Event Detection

In this paper, we analyse the impact of delayed event detection on the stability of a 2-mode planar hybrid automata. We consider hybrid automata with a unique equilibrium point for all the modes, and we find the maximum delay that preserves stability of that equilibrium point. We also show for the class of hybrid automata treated that the instability of the equilibrium point for the equivalent hybrid automaton with delay in the transitions is equivalent to the existence of a closed orbit in the hybrid state space, a result that is inspired by the Joint Spectral Radius theorem. This leads to an algorithm for computing the maximum stable delay exactly. Other potential applications of our technique include co-simulation, networked control systems and delayed controlled switching with a state feedback control

The FMI 3.0 Standard Interface for Clocked and Scheduled Simulations

This paper presents an overview and formalization of the Functional Mock-up Interface (FMI) 3.0. The formalization captures the new FMI 3.0 standard and is intended to be used as an introduction for conceptualizing the use of clocks in the FMI standard to support the simulation of event-based cyber-physical systems. The FMI 3.0 standard supports two kinds of clock-based simulations: Synchronous Clocked Simulation to ensure predictable systems scheduling with multiple simultaneous events and scheduled execution to facilitate real-time simulations comprising multiple black-box models by allowing fine-grained control over the computation time of submodels. The formalization is a basis for developing tools for orchestrating, verifying and validating the composition of multiple FMUs. The formalization is provided as an accessible VDM-SL specification

Núcleos de Ensino da Unesp: artigos 2008

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq

Growing knowledge: an overview of Seed Plant diversity in Brazil

Abstract An updated inventory of Brazilian seed plants is presented and offers important insights into the country's biodiversity. This work started in 2010, with the publication of the Plants and Fungi Catalogue, and has been updated since by more than 430 specialists working online. Brazil is home to 32,086 native Angiosperms and 23 native Gymnosperms, showing an increase of 3% in its species richness in relation to 2010. The Amazon Rainforest is the richest Brazilian biome for Gymnosperms, while the Atlantic Rainforest is the richest one for Angiosperms. There was a considerable increment in the number of species and endemism rates for biomes, except for the Amazon that showed a decrease of 2.5% of recorded endemics. However, well over half of Brazillian seed plant species (57.4%) is endemic to this territory. The proportion of life-forms varies among different biomes: trees are more expressive in the Amazon and Atlantic Rainforest biomes while herbs predominate in the Pampa, and lianas are more expressive in the Amazon, Atlantic Rainforest, and Pantanal. This compilation serves not only to quantify Brazilian biodiversity, but also to highlight areas where there information is lacking and to provide a framework for the challenge faced in conserving Brazil's unique and diverse flora