A third of the Dutch highways is monitored and controlled by roadside units. These RSUs are safety-critical systems, as they safeguard roadworks accidents. Therefore, it essential to have guarantees on correctness unit controller. Using supervisory control theory, a correct-by-construction supervisor obtained from model system its requirements. From model, controller implementation can be autom...

Mountain landscape, described as a global biodiversity hotspot due to high endemism, is threatened by land-use change, including management and modification of vegetation. However, there little knowledge about how road land use affect plant diversity in mountains landscapes, particularly southern Africa. Previous studies have studied the impact or on species separately concentrated single speci...

VANET is a type of ad hoc network in which the moving vehicles act as nodes. There has been lot of research for using VANETs in many applications. One of the main applications is the use of VANETs to improve driving safety. In any safety related applications, the vehicular nodes have to constantly communicate with each other and the roadside equipments. For e.g., the roadside units sense real t...

The North Eastern region of India is undergoing industrial development at a faster rate than expected. Roads form the main system of transportation and communication owing to the hilly topography of the region. Automobiles discharge a number of gaseous and trace metal contaminants. Human activities like stone grinding, road construction and sand milling also increase the atmospheric dust and he...