Intersection management of Connected Autonomous Vehicles (CAVs) has the potential to
improve safety and mobility. CAVs approaching an intersection can exchange information …

Utilizing intelligent transportation infrastructures can significantly improve the throughput of
intersections of Connected Autonomous Vehicles (CAV), where an Intersection Manager …

The prevalence of automating complex physical processes through learning and
interactions among heterogeneous components adds to the increasing complexity of Cyber …

Wireless systems beyond 5G evolve towards embracing both sensing and communication,
resulting in increased convergence of the digital and the physical world. The existence of …

Cyber-physical systems (CPS) integrate computation and communication capabilities to
monitor and control physical systems. Even though this integration improves the …

In order to test the performance and verify the correctness of Cyber-Physical Systems (CPS),
the timing constraints on the system behavior must be met. Signal Temporal Logic (STL) can …

In this work, we consider systems whose components suffer from clock offsets and
quantization and study the effect of those on a reinforcement learning (RL) algorithm …

Time is a foundational aspect of Cyber-Physical Systems (CPS). Correct time and timing of
system events are critical to optimized responsiveness to the environment, in terms of …

The Ptolemy-HLA distributed co-simulation framework leverages two open source tools,
Ptolemy II and HLA/CERTI, for the simulation of Cyber-Physical Systems (CPS). This …

The computation of a cyber-physical system's reaction to a stimulus typically involves the
execution of several tasks. The delay between stimulus and reaction thus depends on the …