Pretrain, prompt, and transfer: Evolving digital twins for time-to-event analysis in cyber-physical systems
Cyber-physical systems (CPSs), eg, elevators and autonomous driving systems, are
progressively permeating our everyday lives. To ensure their safety, various analyses need …
progressively permeating our everyday lives. To ensure their safety, various analyses need …
Runtime Verification and Field-based Testing for ROS-based Robotic Systems
R Caldas, JAP García, M Schiopu… - IEEE Transactions …, 2024 - ieeexplore.ieee.org
Robotic systems are becoming pervasive and adopted in increasingly many domains, such
as manufacturing, healthcare, and space exploration. To this end, engineering software has …
as manufacturing, healthcare, and space exploration. To this end, engineering software has …
Runtime Verification and Field Testing for ROS-Based Robotic Systems
R Caldas, JAP García, M Schiopu, P Pelliccione… - arXiv preprint arXiv …, 2024 - arxiv.org
Robotic systems are becoming pervasive and adopted in increasingly many domains, such
as manufacturing, healthcare, and space exploration. To this end, engineering software has …
as manufacturing, healthcare, and space exploration. To this end, engineering software has …
Maximizing Electric Power Recovery through Advanced Compensation with MPPT Algorithms
S Touairi, M Zekraoui… - Modelling and Simulation …, 2024 - Wiley Online Library
The present investigation introduces an advanced methodology for maximum power point
tracking (MPPT) applied to a piezo harvester scheme. A comprehensive rectifier circuit …
tracking (MPPT) applied to a piezo harvester scheme. A comprehensive rectifier circuit …
A merging interaction model explains human drivers' behaviour from input signals to decisions
One of the bottlenecks of automated driving technologies is safe and socially acceptable
interactions with human-driven vehicles, for example during merging. Driver models that …
interactions with human-driven vehicles, for example during merging. Driver models that …
Towards an Engineering Discipline for Resilient Cyber-Physical Systems
RD Caldas - arXiv preprint arXiv:2407.15562, 2024 - arxiv.org
Resilient cyber-physical systems comprise computing systems able to continuously interact
with the physical environment in which they operate, despite runtime errors. The term …
with the physical environment in which they operate, despite runtime errors. The term …
A hierarchical pedestrian behavior model to generate realistic human behavior in traffic simulation
S Larter, R Queiroz, S Sedwards… - 2022 IEEE Intelligent …, 2022 - ieeexplore.ieee.org
Modelling pedestrian behavior is crucial in the development and testing of autonomous
vehicles. In this work, we present a hierarchical pedestrian behavior model that generates …
vehicles. In this work, we present a hierarchical pedestrian behavior model that generates …