Urban traffic management problems have taken an important place in most of transportation research fields, hence the emergence of vehicular ad-hoc network (VANET) as an essential part of the intelligent transportation system ITS, that intervenes to improve and facilitate traffic management also control as far as improve global driving experience in the future. Indeed the concept of smart city o...

There have been tremendous developments in theories and technologies control for smart systems. In this paper we review applications to various systems that are crucial the future of cities, example enterprise manufacturing systems, transportation energy data centres. Beyond discussing existing technological trends methodological approaches developed so far managing controlling such also provid...

Large commercial buildings are complex cyber-physical systems containing expensive and critical equipment that ensure the safety comfort of their numerous occupants. Yet occupant visitor access to spaces within these still managed through unsystematic, inefficient, human-intensive processes. As a standard practice, long-term building occupants given privileges rooms based on organizational role...

The smart grid is an electronically controlled electrical grid that connects power generation, transmission, distribution, and consumers using information communication technologies. One of the key characteristics of the smart grid is its support for bi-directional information flow between the consumer of electricity and the utility provider. This two-way interaction allows electricity to be ge...

flow passing through lateral intakes and channel junctions is turbulent. sediment flow and bed forms areaffected by these flow patterns and vice versa. in this research, a laboratory study was carried out toexplore a possible method for sediment control for a set of submerged vanes and a single spur dikesimultaneously. since a larger portion of the near-bed flow was diverted, the intake receive...

we consider a grid network where nodes contain small buffers. a packet that faces a crowded buffer in its route will get extra latency and may be dropped. in this paper, we propose a novel flow control protocol called rfcc for grid networks. rfcc tries to reroute delayed packets and utilizes network coding to introduce a configurable amount of redundant information in the network, thereby incre...

This paper describes the status of a joint project between Gemplus and ONERA. It presents an approach enabling a smart card issuer to verify that a new applet securely interacts with already loaded applets. A security policy has been defined that associates levels to applet attributes and methods and defines authorized flows between levels. We propose a technique based on model checking to veri...

The smart grid (SG) is a promising platform for providing more reliable, efficient, and cost effective electricity to the consumers in a secure manner. Numerous initiatives across the globe are taken by both industry and academia in order to compile various security issues in the smart grid network. Unfortunately, there is no impactful survey paper available in the literature on authentications...

In this paper we investigate novel use cases for open multiapplication smart card platforms. These use cases require a fine-grained access control mechanism to protect the sensitive functionality of oncard applications. We overview the Security-by-Contract approach that validates at load time that the application code respects the interaction policies of other applications already on the card, ...