arXiv subjects

Manuel Rodriguez

Publications and source records attributed to Manuel Rodriguez.

5 recordsLinked to original sources

arXiv2026

Shared Symbolic Backbones for Physically Consistent Multi-Output Symbolic Regression

Symbolic regression provides analytical expressions, but it is usually applied one output at a time. This is limiting in process systems, where state variables are often coupled through shared physical parameters. Independent symbolic regression can give accurate individual equations that are difficult to interpret as one model. We present a neuro-evolutionary symbolic regression method for coupled multi-output systems. The method searches for a shared symbolic backbone: a set of latent symbolic units that is discovered once and reused by several outputs through sparse additive or multiplicative read-outs. The discrete model structure is evolved by mutation and crossover, whereas the continuous parameters are tuned by gradient descent and inherited by the offspring. The method is assessed on a set of benchmarks with known ground truth and on a hydrothermal liquefaction yield case. The results show that coupling is not a general route to lower prediction error. Its main contribution is the enforcement and diagnosis of cross-output consistency when a physically shared factor is embedded in a latent expression and is weakly identifiable from the data. This occurs for Langmuir-Hinshelwood and site-coverage denominators, for which independent PySR does not close the consistency gap or recover the same shared form. Conversely, when each output is already identifiable, as in the Van de Vusse benchmark, independent symbolic regression matches or improves the coupled model. The proposed framework, rather than a general purpose predictor, is a structured shared-mechanism extractor. Its value is highest when the target structure is sparse, shared, weakly identifiable or constrained by closure.

cs.NE↗

arXiv2026

System-Level Isolation for Mixed-Criticality RISC-V SoCs: A "World" Reality Check

As RISC-V adoption accelerates, domains such as automotive, the Internet of Things (IoT), and industrial control are attracting growing attention. These domains are subject to stringent Size, Weight, Power, and Cost (SWaP-C) constraints, which have driven a shift toward heterogeneous Systems-on-Chip (SoCs) integrating general-purpose CPUs, tightly coupled accelerators, and diverse I/O devices with different integrity levels. While such integration improves cost efficiency and performance, it introduces a fundamental safety and security challenge: enforcing system-level isolation in mixed-criticality environments. Although RISC-V International has proposed several hardware isolation primitives, including RISC-V Worlds, IOPMP, and SmMTT, their interoperability, scalability, and suitability for real-time systems remain insufficiently understood. In this paper, we present a comparative analysis of these primitives from the perspective of practical heterogeneous SoC designs. We implement an IOPMP, a World-based checker, and a modified RISC-V World checker that addresses key limitations of the baseline specification, and evaluate their trade-offs in terms of security guarantees and power-performance-area (PPA). Our results show that the World-based checker introduces a fixed, configuration-independent access latency, achieving lower worst-case delay than the evaluated alternatives while scaling predictably with system size. At the macro level, we estimate that the proposed modifications reduce SoC area by up to approximately 5% compared to a baseline design. All artifacts will be released as open source, and we expect these findings to directly contribute to the evolution and ratification of RISC-V specifications, as well as to the design of future RISC-V SoCs.

cs.CR↗

arXiv2024

RISC-V Needs Secure 'Wheels': the MCU Initiator-Side Perspective

The automotive industry is experiencing a massive paradigm shift. Cars are becoming increasingly autonomous, connected, and computerized. Modern electrical/electronic (E/E) architectures are pushing for an unforeseen functionality integration density, resulting in physically separate Electronic Control Units (ECUs) becoming virtualized and mapped to logical partitions within a single physical microcontroller (MCU). While functional safety (FuSa) has been pivotal for vehicle certification for decades, the increasing connectivity and advances have opened the door for a number of car hacks and attacks. This development drives (cyber-)security requirements in cars, and has paved the way for the release of the new security certification standard ISO21434. RISC-V has great potential to transform automotive computing systems, but we argue that current ISA/extensions are not ready yet. This paper provides our critical perspective on the existing RISC-V limitations, particularly on the upcoming WorldGuard technology, to address virtualized MCU requirements in line with foreseen automotive applications and ISO21434 directives. We then present our proposal for the required ISA extensions to address such limitations, mainly targeting initiator-side protection. Finally, we explain our roadmap towards a full open-source proof-of-concept (PoC), which includes extending QEMU, an open-source RISC-V core, and building a complete software stack.

cs.CR↗

arXiv2020

Distributed Kuramoto Self-Synchronization of Vehicle Speed Trajectories in Traffic Networks

This paper presents a distributed synchronization strategy for connected and automated vehicles in traffic networks. The strategy considers vehicles traveling from one intersection to the next as waves. The phase angle and frequency of each wave map to its position and velocity, respectively. The goal is to synchronize traffic such that intersecting traffic waves are out of phase at every intersection. This ensures the safe collective navigation of intersections. Vehicles share their phase angles through the V2X infrastructure, and synchronize these angles using the Kuramoto equation. This is a classical model for the self-synchronization of coupled oscillators. The mapping between phase and location for vehicles on different roads is designed such that Kuramoto synchronization ensures safe intersection navigation. Each vehicle uses a constrained optimal control policy to achieve its desired target Kuramoto phase at the upcoming intersection. The overall outcome is a distributed traffic synchronization algorithm that simultaneously tackles two challenges traditionally addressed independently, namely: coordinating crossing at an individual intersection, and harmonizing traffic flow between adjacent intersections. Simulation studies highlight the positive impact of this strategy on fuel consumption and traffic delay time, compared to a network with traditional traffic light timing.

eess.SY↗

arXiv2003

Modelling the propagation of an ultrasonic ray through a heterogeneous medium

The estimation of mechanical properties of concrete is one of the most important applications of the ultrasonic method. This technique often involves the measuring of the ultrasonic pulse propagation velocity. However, there exist some factors influencing the effective ultrasonic pulse propagation velocity in concrete. This paper is devoted to a discussion of the behavior of the effective ultrasonic pulse propagation velocity as a function of the free water contained in concrete. The travelling of an ultrasonic ray through a heterogeneous medium composed by cement and aggregates(solid phase), water(liquid phase) and air(gaseous phase) was empirically modelled. A relationship between the transition time of the ultrasonic ray in the testing piece and the free water quantity was considered. We assumed an empirical intermediate relationship between the ultrasonic path length in porous space in concrete filled with water and the free water quantity in the testing piece. From experimental data points we evaluated the parameters of the model and obtained a fitting function for describing the dependence between the effective ultrasonic pulse propagation velocity and the free water quantity in concrete. We also analyzed the error propagation through the algorithm used. It allowed to decide under which conditions the linear approach between the effective ultrasonic pulse propagation velocity and the free water quantity in concrete can be applied.

cond-mat↗