In this article, we provide an introduction to simulation for cybersecurity and focus on three
themes:(1) an overview of the cybersecurity domain;(2) a summary of notable simulation …

Nowadays, inter‐vehicle and intra‐vehicle communication triggers the development of
safety and non‐safety applications in Vehicular Adhoc NETworks (VANET). These …

In networked multi-robot systems, communication plays a major role defining system's
dynamics and performance. Unfortunately, existing multi-robot simulators do not provide …

Transportation cyber–physical systems (TCPSs) require simulation-based testing and
evaluation due to the prohibitive cost of building realistic test beds. Given the …

Nowadays, both the modern and developing countries are planning to deploy Internet of
Vehicles for smart transportation systems to face the traffic congestion problems. Shifting …

Rapid urbanization has put increasingly pressure on traffic management in urban areas.
Conventional traffic signal with fixed or pre-defined variable cycles setting can slightly …

We introduce differential refinement logic (dRL), a logic with first-class support for refinement
relations on hybrid systems, and a proof calculus for verifying such relations. dRL …

Abstract Vehicular Ad-hoc Network (VANET) is a sub-class of Mobile Ad-hoc Networks
(MANETs) where it is built up by moving vehicles. VANET is getting increasingly popular in …

Spectrum sensing is one of the fundamental functionality performed by a cognitive radio to
identify vacant radio spectrum for dynamic spectrum access (DSA). However, there are …

Traffic forecasting is a critical challenge for Intelligent Transportation Systems (ITS),
increasingly enabled by the deepening interconnectedness of intelligent vehicles and traffic …