In this paper, we present a refinement of a Control Flow Analysis aimed at studying information flow security in the the calculus of Mobile Ambients. The improvements are achieved by making the analysis be flow-sensitive: the analysis is able to keep track of temporal dependencies of capabilities application when computing a safe approximation of the run-time topology of Mobile Ambient processes.

This paper deals with the model-reference control of timed event graphs using the dioid algebra and the residuation theory. It proposes a control structure based on a precompensator and a feedback controller to improve the controlled system performance. It is shown that this approach always leads to an optimal behavior of the closed-loop system. An example is given to illustrate the proposed ap...

Recently there has been a growing interest in modeling motor control systems with modular structures. Such control structures have many interesting properties, which have been described in recent studies. We here focus on some properties which are related to the fact that specific set of contexts can themselves be modeled modularly.

Turbulent flow downstream of a bileaflet mechanical heart valve is investigated using digital particle image velocimetry. Evolution of flow structures during the systole and diastole phases of a typical cardiac cycle is characterized by obtaining global flow velocity measurements in multiple cross-sections of the flow field. Instantaneous and time-averaged patterns of flow velocity, vorticity, ...

The occurrence of catastrophic earthquakes necessitates further researches in the structure engineering for retrofitting construction structures. In this paper, the application of the active control in the structures’ seismic response has been addressed. A single degree of freedom nonlinear structure has been studied. The nonlinear dynamic of the structure is considered in which, the nonlin...

This work studies an innovate working hydraulic system design for mobile applications, referred to as flow control. The fundamental difference compared to load sensing systems is that the pump is controlled based on the operator’s command signals rather than feedback signals from the loads. This control approach enables higher energy efficiency since the pressure difference between pump and loa...

Microbial community assembly and microbial functions are affected by a number of different but coupled drivers such as local habitat characteristics, dispersal rates, and species interactions. In groundwater systems, hydrological flow can introduce spatial structure and directional dependencies among these drivers. We examined the importance of hydrology in structuring bacterial communities and...