Searcharxiv⌕ Search

arXiv subjects

Cláudio Gomes

Publications and source records attributed to Cláudio Gomes.

33 records · Page 2Linked to original sources
arXiv2021

The Incubator Case Study for Digital Twin Engineering

To demystify the Digital Twin concept, we built a simple yet representative thermal incubator system. The incubator is an insulated box fitted with a heatbed, and complete with a software system for communication, a controller, and simulation models. We developed two simulation models to predict the temperature inside the incubator, one with two free parameters and one with four free parameters. Our experiments showed that the latter model was better at predicting the thermal inertia of the heatbed itself, which makes it more appropriate for further development of the digital twin. The hardware and software used in this case study are available open source, providing an accessible platform for those who want to develop and verify their own techniques for digital twins.

eess.SY↗
arXiv2020

Stability Conditions for the Horndeski Scalar Field Gravity Model

We constrain the viable models of Horndeski gravity, written in its equivalent Generalised Galileon version, by resorting to the Witten positive energy theorem. We find that the free function $G_3(ϕ, X)$ in the Lagrangian is constrained to be a function solely of the scalar field, $G_3(ϕ)$, and relations among the free functions are found. Other criterion for stability are also analysed, such as the attractiveness of gravity, the Dolgov-Kawasacki instability and the energy conditions. Some applications for Cosmology are discussed

gr-qc↗
arXiv2020

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.

math.DS↗
arXiv2020

Jeans Instability in Non-Minimal Matter-Curvature Coupling Gravity

The weak field limit of the nonminimally coupled Boltzmann equation is studied, and relations between the invariant Bardeen scalar potentials are derived. The Jean's criterion for instabilities is found through the modified dispersion relation. Special cases are scrutinised and considerations on the model parameters are discussed for Bok globules.

gr-qc↗
arXiv2020

Nonminimally Coupled Boltzmann Equation I: Foundations

We derive the Boltzmann equation in the context of a gravity theory with non-minimal coupling between matter and curvature. We show that as the energy-momentum tensor is not conserved in these theories, it follows a condition on the normalisation of an homogeneous distribution function. The Boltzmann H-theorem is preserved such that the entropy vector flux is still a non-decreasing function in these theories. The case of an homogeneous and isotropic Universe is analysed.

gr-qc↗
arXiv2018

Nonminimally coupled Weyl gravity

Weyl gravity in the presence of a non-minimal matter-curvature coupling is presented. Some properties arising from the non-metricity give rise to a second order theory whose vacuum is compatible with a cosmological constant, under conditions on the vector field.

gr-qc↗
arXiv2018

Cosmology with SKA

We review some of the major contributions that the Square Kilometer Array (SKA) will provide for Cosmology. We discuss the SKA measurements of the equation of state parameter for dark energy from Baryonic Acoustic Oscillations (BAO), of the dark matter power spectrum and modifications of the Poisson equation or the slip relation from weak lensing. We also comment on measurements of the cosmic magnetism and its role on the dynamics of the Universe.

astro-ph.CO↗
arXiv2018

Co-simulation of Continuous Systems: A Tutorial

Co-simulation consists of the theory and techniques to enable global simulation of a coupled system via the composition of simulators. Despite the large number of applications and growing interest in the challenges, the field remains fragmented into multiple application domains, with limited sharing of knowledge. This tutorial aims at introducing co-simulation of continuous systems, targeted at researchers new to the field.

cs.CE↗
arXiv2018

Minimally Constrained Stable Switched Systems and Application to Co-simulation

We propose an algorithm to restrict the switching signals of a constrained switched system in order to guarantee its stability, while at the same time attempting to keep the largest possible set of allowed switching signals. Our work is motivated by applications to (co-)simulation, where numerical stability is a hard constraint, but should be attained by restricting as little as possible the allowed behaviours of the simulators. We apply our results to certify the stability of an adaptive co-simulation orchestration algorithm, which selects the optimal switching signal at run-time, as a function of (varying) performance and accuracy requirements.

math.OC↗
arXiv2018

Gravitational waves in theories with a non-minimal curvature-matter coupling

Gravitational waves in the presence of a non-minimal curvature-matter coupling are analysed, both in the Newman-Penrose and perturbation theory formalisms. Considering a cosmological constant as a source, the non-minimally coupled matter-curvature model reduces to $f(R)$ theories. This is in good agreement with the most recent data. Furthermore, a dark energy-like fluid is briefly considered, where the propagation equation for the tensor modes differs from the previous scenario, in that the scalar mode equation has an extra term, which can be interpreted as the longitudinal mode being the result of the mixture of two fundamental excitations $δR$ and $δρ$.

gr-qc↗
arXiv2018

Inflation with Planck: a survey of some "exotic" inflationary models

We examine some inflationary models based on modifications of gravity in the light of Planck 2015 data, such as the generalised Chaplygin inspired inflation, models based in $N=1$ supergravity and braneworld scenarios. We also show that, conversely, potentials with a very flat plateau yield a primordial spectrum similar to that of the Starobinsky model with no need to modify general relativity.

hep-th↗
arXiv2017

Inflation in non-minimal matter-curvature coupling theories

We study inflationary scenarios driven by a scalar field in the presence of a non-minimal coupling between matter and curvature. We show that the Friedmann equation can be significantly modified when the energy density during inflation exceeds a critical value determined by the non-minimal coupling, which in turn may considerably modify the spectrum of primordial perturbations and the inflationary dynamics. In particular, we show that these models are characterised by a consistency relation between the tensor-to-scalar ratio and the tensor spectral index that can differ significantly from the predictions of general relativity. We also give examples of observational predictions for some of the most commonly considered potentials and use the results of the Planck collaboration to set limits on the scale of the non-minimal coupling.

gr-qc↗
arXiv2017

Hybrid System Modelling and Simulation with Dirac Deltas

For a wide variety of problems, creating detailed continuous models of (continuous) physical systems is, at the very least, impractical. Hybrid models can abstract away short transient behaviour (thus introducing discontinuities) in order to simplify the study of such systems. For example, when modelling a bouncing ball, the bounce can be abstracted as a discontinuous change of the velocity, instead of resorting to the physics of the ball (de-)compression to keep the velocity signal continuous. Impulsive differential equations can be used to model and simulate hybrid systems such as the bouncing ball. In this approach, the force acted on the ball by the floor is abstracted as an infinitely large function in an infinitely small interval of time, that is, an impulse. Current simulators cannot handle such approximations well due to the limitations of machine precision. In this paper, we explore the simulation of impulsive differential equations, where impulses are first class citizens. We present two approaches for the simulation of impulses: symbolic and numerical. Our contribution is a theoretically founded description of the implementation of both approaches in a Causal Block Diagram modelling and simulation tool. Furthermore, we investigate the conditions for which one approach is better than the other.

math.NA↗
arXiv2017

Co-simulation: State of the art

It is essential to find new ways of enabling experts in different disciplines to collaborate more efficient in the development of ever more complex systems, under increasing market pressures. One possible solution for this challenge is to use a heterogeneous model-based approach where different teams can produce their conventional models and carry out their usual mono-disciplinary analysis, but in addition, the different models can be coupled for simulation (co-simulation), allowing the study of the global behavior of the system. Due to its potential, co-simulation is being studied in many different disciplines but with limited sharing of findings. Our aim with this work is to summarize, bridge, and enhance future research in this multidisciplinary area. We provide an overview of co-simulation approaches, research challenges, and research opportunities, together with a detailed taxonomy with different aspects of the state of the art of co-simulation and classification for the past five years. The main research needs identified are: finding generic approaches for modular, stable and accurate coupling of simulation units; and expressing the adaptations required to ensure that the coupling is correct.

eess.SY↗