In previous papers authors have considered agents as inertia-less self driven particles and designed a flocking algorithm. Application of this algorithm to agents with considerable inertial characteristics needs a behavioural controller. The controller uses the local information and helps every agent to imitate the desired behaviour as a member of the flocking frame which covers the main is...

Accurate detection of weak periodic signals within noise and possibility of secure messaging have made Duffing oscillator (DO) highly important in the field of communication. Investigation on the properties of DO is thus ardently sought for. An elegant approach to accomplish the same is to fabricate electronic circuit simulating DO non-linear equation and to study the effect of input signal amp...

BACKGROUND Since the passage of Proposition 99, California's comprehensive tobacco control programme has benefited from a localised policy adoption process that allows for the innovation and diffusion of strong local tobacco control policies throughout the state. METHODS The policy adoption continuum is described in the context of California's smoke-free workplace movement, and the influence ...

This paper presents CDDF, a model of computation underpinning the formal seman-tics of a number of parallel programming languages. CDDF integrates control ow elements for thedynamic construction of task graphs, and data ow elements to express dependent computationsand to decouple these using unbounded streams (Kahn process networks). It is a common groundto de ne the formal sema...

19 Our research centre was recently invited to participate in an industrial gathering on 'Systematic Testing' of embedded systems in Berlin, together with approximately eighty industrial participants from various sectors all over Europe ranging from the automotive industry, avionics, control systems and consumer electronics. It was observed that although these sectors vary in their technical in...

High-level robot controllers in realistic domains typically deal with processes which operate concurrently, change the world continuously, and where the execution of actions is event-driven as in “charge the batteries as soon as the voltage level is low”. While non-logicbased robot control languages are well suited to express such scenarios, they fare poorly when it comes to projecting, in a co...

Model-based intersection optimization strategies have been widely investigated for distributed traffic signal control in road networks. Due to the form of ‘‘black-box’’ optimization that is typically assumed, a basic challenge faced by these strategies is the combinatorial nature of the problem that must be solved. The underlying state space is exponential in the number of time steps in the loo...

With the increasing adoption of Model-Driven Engineering (MDE) the support of distributed development and hence model versioning has become a necessity. MDE research investigations targeting (meta-)model versioning, conflict management, and model co-evolution have progressively recognized the importance of tackling the problem at higher abstraction level and a number of solving techniques have ...