Search

Schwarzschild and Reissner-Nordstr{\o}m black hole solutions are found in the context of a non-minimal matter-curvature coupling with the Weyl connection, both in vacuum and in the presence of a cosmological constant-like matter content. This special case of non-metricity leads to black hole solutions with non-vanishing scalar curvature. Moreover, vacuum Schwarzschild solutions differ from the ones from a constant curvature scenario in $f(R)$ theories with the appearance of a coefficient in the term linear in r and a corrected "cosmological constant". Non-vacuum Shwarzschild solutions have formally the same solutions as in the previous case with the exception being the physical interpretation of a cosmological constant as the source of the matter Lagrangian as not a simple reparametrization of the $f(R)$ description. Reissner-Nordstr{\o}m solutions cannot be found in vacuum, but only in the presence of matter fields, such that the solutions also differ from the constant curvature scenario in $f(R)$ theories by the term linear in r and corrected/dressed charge and cosmological constant., Comment: 32 pages, 8 figures, 5 tables

We introduce a novel event-trigger threshold (ETT) regulation mechanism based on the quantitative semantics of propositional logic (PL). We exploit the expressiveness of the PL vocabulary to deliver a precise and flexible specification of ETT regulation based on system requirements and properties. Additionally, we present a modified ETT regulation mechanism that provides formal guarantees for satisfaction/violation detection of arbitrary PL properties. To validate our proposed method, we consider a convoy of vehicles in an adaptive cruise control scenario. In this scenario, the PL operators are used to encode safety properties and the ETTs are regulated accordingly, e.g., if our safety metric is high there can be a higher ETT threshold, while a smaller threshold is used when the system is approaching unsafe conditions. Under ideal ETT regulation conditions in this safety scenario, we show that reductions between 41.8 - 96.3% in the number of triggered events is possible compared to using a constant ETT while maintaining similar safety conditions., Comment: 17 pages, 7 figures

The rapid adoption of Electric Vehicles (EVs) poses challenges for electricity grids to accommodate or mitigate peak demand. Vehicle-to-Vehicle Charging (V2VC) has been recently adopted by popular EVs, posing new opportunities and challenges to the management and operation of EVs. We present a novel V2VC model that allows decision-makers to take V2VC into account when optimizing their EV operations. We show that optimizing V2VC is NP-Complete and find that even small problem instances are computationally challenging. We propose R-V2VC, a heuristic that takes advantage of the resulting totally unimodular constraint matrix to efficiently solve problems of realistic sizes. Our results demonstrate that R-V2VC presents a linear growth in the solution time as the problem size increases, while achieving solutions of optimal or near-optimal quality. R-V2VC can be used for real-world operations and to study what-if scenarios when evaluating the costs and benefits of V2VC., Comment: 7 pages, 6 figures, and 3 tables. This work has been submitted to the IEEE for possible publication

Uncertainty is an inherent property of any complex system, especially those that integrate physical parts or operate in real environments. In this paper, we focus on the Digital Twins of adaptive systems, which are particularly complex to design, verify, and optimize. One of the problems of having two systems (the physical one and its digital replica) is that their behavior may not always be consistent. In addition, both twins are normally subject to different types of uncertainties, which complicates their comparison. In this paper we propose the explicit representation and treatment of the uncertainty of both twins, and show how this enables a more accurate comparison of their behaviors. Furthermore, this allows us to reduce the overall system uncertainty and improve its behavior by properly averaging the individual uncertainties of the two twins. An exemplary incubator system is used to illustrate and validate our proposal.

Establishing digital twins is a non-trivial endeavour especially when users face significant challenges in creating them from scratch. Ready availability of reusable models, data and tool assets, can help with creation and use of digital twins. A number of digital twin frameworks exist to facilitate creation and use of digital twins. In this paper we propose a digital twin framework to author digital twin assets, create digital twins from reusable assets and make the digital twins available as a service to other users. The proposed framework automates the management of reusable assets, storage, provision of compute infrastructure, communication and monitoring tasks. The users operate at the level of digital twins and delegate rest of the work to the digital twin as a service framework., Comment: 8 pages, 6 figures. Accepted at Digital Twin 2023

A digital twin (DT) monitors states of the physical twin (PT) counterpart and provides a number of benefits such as advanced visualizations, fault detection capabilities, and reduced maintenance cost. It is the ability to be able to detect the states inside the DT that enable such benefits. In order to estimate the desired states of a PT, we propose the use of a Kalman Filter (KF). In this tutorial, we provide an introduction and detailed derivation of the KF. We demonstrate the use of KF to monitor and anomaly detection through an incubator system. Our experimental result shows that KF successfully can detect the anomaly during monitoring., Comment: 14 pages

We discuss, in the context of alternative theories of gravity with nonminimal coupling between matter and curvature, if inflationary solutions driven by a single scalar field can be reconciled with the swampland conjectures about the emergence of de Sitter solutions in string theory. We find that the slow-roll conditions are incompatible with the swampland conjectures for a fairly generic inflationary solution in such alternative theories of gravity., Comment: 12 pages

We present a quantum treatment of the Jeans gravitational instability in the Newtonian limit of the non-minimal matter-curvature coupling gravity model. By relying on Wigner functions, allowing for the representation of quantum states in a classical phase space, we formulate a quantum kinetic treatment of this problem, generalizing the classical kinetic approach [C. Gomes, Eur. Phys. J. C 80, 633 (2020)]. This allows us to study the interplay between non-minimal matter-curvature coupling effects, quantum effects, and kinetic (finite-temperature) effects, on the Jeans criterion. We study in detail special cases of the model (general relativity, f(R) theories, pure non-minimal coupling, etc.) and confront the model with the observed stability of Bok globules., Comment: 13 pages, 2 figures, 3 plots

We consider a nonminimally coupled curvature-matter gravity theory at the Solar System scale. Both a fifth force of Yukawa type and a further non-Newtonian extra force that arises from the nonminimal coupling are present in the solar interior and in the solar atmosphere up to interplanetary space. The extra force depends on the spatial gradient of space-time curvature R. The conditions under which the effects of such forces can be screened by the chameleon mechanism and be made consistent with Cassini measurement of PPN parameter $\gamma$ are examined. This consistency analysis requires a specific study of Sun's dynamical contribution to the arising forces at all its layers., Comment: 27 pages, 11 figuures

Dynamical systems see widespread use in natural sciences like physics, biology, chemistry, as well as engineering disciplines such as circuit analysis, computational fluid dynamics, and control. For simple systems, the differential equations governing the dynamics can be derived by applying fundamental physical laws. However, for more complex systems, this approach becomes exceedingly difficult. Data-driven modeling is an alternative paradigm that seeks to learn an approximation of the dynamics of a system using observations of the true system. In recent years, there has been an increased interest in data-driven modeling techniques, in particular neural networks have proven to provide an effective framework for solving a wide range of tasks. This paper provides a survey of the different ways to construct models of dynamical systems using neural networks. In addition to the basic overview, we review the related literature and outline the most significant challenges from numerical simulations that this modeling paradigm must overcome. Based on the reviewed literature and identified challenges, we provide a discussion on promising research areas.

We construct the algebra of operators acting on the Hilbert spaces of Quantum Mechanics for systems of $N$ identical particles from the field operators acting in the Fock space of Quantum Field Theory by providing the explicit relation between the position and momentum operators acting in the former spaces and the field operators acting on the latter. This is done in the context of the non-interacting Klein-Gordon field. It may not be possible to extend the procedure to interacting field theories since it relies crucially on particle number conservation. We find it nevertheless important that such an explicit relation can be found at least for free fields. It also comes out that whatever statistics the field operators obey (either commuting or anticommuting), the position and momentum operators obey commutation relations. The construction of position operators raises the issue of localizability of particles in Relativistic Quantum Mechanics, as the position operator for a single particle turns out to be the Newton-Wigner position operator. We make some clarifications on the interpretation of Newton-Wigner localized states and we consider the transformation properties of position operators under Lorentz transformations, showing that they do not transform as tensors, rather in a manner that preserves the canonical commutation relations., Comment: 18 pages, 1 figure

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., Comment: 18 pages, 13 figures

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(\phi, X)$ in the Lagrangian is constrained to be a function solely of the scalar field, $G_3(\phi)$, 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, Comment: 12 pages

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., Comment: This is the extended version of the corresponding paper at the CDC Conference: Legat, Beno\^it, Cl\'audio Gomes, Paschalis Karalis, Rapha\"el M. Jungers, Eva M. Navarro-L\'opez, and Hans Vangheluwe. "Stability of Planar Switched Systems under Delayed Event Detection." In 2020 IEEE 59th Conference on Decision and Control. Virtual event: IEEE Comput. Soc. Press, 2020

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., Comment: 8 pages, 1 figure

In this note we comment on remarks about our recent effort to understand the specificities of the Boltzmann equation in the context of the alternative theories of gravity with non-minimal coupling between curvature and matter., Comment: 5 pages

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., Comment: 9 pages

Co-simulation is a promising approach for the modelling and simulation of complex systems, that makes use of mature simulation tools in the respective domains. It has been applied in wildly different domains, oftentimes without a comprehensive study of the impact to the simulation results. As a consequence, over the recent years, researchers have set out to understand the essential challenges arising from the application of this technique. This paper complements the existing surveys in that the social and empirical aspects were addressed. More than 50 experts participated in a two-stage Delphi study to determine current challenges, research needs and promising standards and tools. Furthermore, an analysis of the strengths, weakness, opportunities and threats of co-simulation utilizing the analytic hierarchy process resulting in a SWOT-AHP analysis is presented. The empirical results of this study show that experts consider the FMI standard to be the most promising standard for continuous time, discrete event and hybrid co-simulation. The results of the SWOT-AHP analysis indicate that factors related to strengths and opportunities predominate.

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., Comment: 12 pages

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., Comment: Talk delivered by one of us (O. B.) at the SKA days Pt, 7 February 2018, Lisbon, Portugal