Cyber-physical systems (CPSs), eg, elevators and autonomous driving systems, are
progressively permeating our everyday lives. To ensure their safety, various analyses need …

Robotic systems are becoming pervasive and adopted in increasingly many domains, such
as manufacturing, healthcare, and space exploration. To this end, engineering software has …

Safe and socially acceptable interactions with human-driven vehicles are a major challenge
in automated driving. A good understanding of the underlying principles of such traffic …

Robotic systems are becoming pervasive and adopted in increasingly many domains, such
as manufacturing, healthcare, and space exploration. To this end, engineering software has …

The present investigation introduces an advanced methodology for maximum power point
tracking (MPPT) applied to a piezo harvester scheme. A comprehensive rectifier circuit …

基于场景的仿真测试方法是自动驾驶汽车安全性验证的重要手段, 然而当前测试场景生成方法多
输出独立场景片段, 如何模拟真实人类驾驶过程生成具有一定挑战的连续交互测试场景已成为 …

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 …

Resilient cyber-physical systems comprise computing systems able to continuously interact
with the physical environment in which they operate, despite runtime errors. The term …

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 …