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...

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...

Background: In many parts of the world, roadsides are regularly managed for traffic-safety reasons. Hence, there are similarities between roadsides and certain other managed habitats, such as wooded pastures and mown or grazed grasslands. In contrast to roadsides, the latter habitats have declined rapidly in Europe during the last century, and today only a fraction of their former extent remain...

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...