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 …

Cyber physical systems (CPSs) are rapidly developing, with increasing scale, complexity,
and heterogeneity. However, testing CPSs systematically to ensure that they operate with …

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 …

Abstract Since many Cyber–Physical Systems (CPS) interact with the real world, they are
safety-or mission-critical. Temporal specification languages like STL (Signal Temporal …

Formal specifications on temporal behavior of Cyber-Physical Systems (CPS) is essential for
verification of performance and safety. Existing solutions for verifying the satisfaction of …

Industrial Control Systems (ICS) are evolving with advances in new technology. The addition
of wireless sensors and actuators and new control techniques means that engineering …

An early design space exploration of Cyber-Physical Systems (CPS) is a challenging task
due to multi-domain areas and tight interaction of computing systems (cyber) and …

Formal verification methods have been shown to be very effective in finding corner case
bugs and ensuring safety of embedded software systems. The use of formal verification …

Abstract Autonomous Vehicles (AVs) have the potential to significantly evolve transportation.
AVs are expected to make transportation safer by avoiding accidents that happen due to …