Searcharxiv⌕ Search

arXiv subjects

Claudio Gomes

Publications and source records attributed to Claudio Gomes.

4 recordsLinked to original sources
arXiv2024

Precision on Demand: Propositional Logic for Event-Trigger Threshold Regulation

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.

eess.SY↗
arXiv2021

Cassini and extra force constraints to nonminimally coupled gravity with screening mechanism

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.

gr-qc↗
arXiv2019

An Empirical Survey on Co-simulation: Promising Standards, Challenges and Research Needs

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.

cs.CY↗