Testing is an important step in validation process of critical systems. Black box testing consists in verifying that the system conforms to the behaviour of its model. In the case of realtime systems, temporal constraints have to be taken into account in test generation. In this paper we tackle the problem of conformance testing for parameterized Real-Time systems. introduced. Parameterized tim...

We solve the problem of cargo transfer in high sea states over a ramp from a large, medium-speed, rollon/roll-off (LMSR) vessel to a smaller connector vessel of a surface effect ship (SES) type. Our aim is to reduce rampmotion between the LMSR and SES in order to provide a safer environment for cargo transfer. We design an air cushion actuated controller to estimate and cancel the wave disturba...

We complete previous investigations on the dynamical stability of barotropic stars and collisionless stellar systems. A barotropic star that minimizes the energy functional at fixed mass is a nonlinearly dynamically stable stationary solution of the Euler-Poisson system. Formally, this minimization problem is similar to a condition of “canonical stability” in thermodynamics. A stellar system th...

We consider a language of recursively defined formulas about arrays of variables, suitable for specifying safety properties of parameterized systems. We then present an abstract interpretation framework which translates a paramerized system as a symbolic transition system which propagates such formulas as abstractions of underlying concrete states. The main contribution is a proof method for im...

BIP is a component-based framework for system design built on three pillars: behavior, interaction, and priority. In this paper, we introduce first-order interaction logic (FOIL) that extends BIP without priorities to systems parameterized in the number of components. We show that FOIL captures classical parameterized architectures such as token-passing rings, cliques of identical components co...

Although there are numerous publications on amygdala volumetry, so far there has not been many studies on modeling local amygdala surface shape variations in a rigorous framework. This paper present a systematic framework for modeling local amygdala shape. Using a novel surface flattening technique, we obtain a smooth mapping from the amygdala surface to a sphere. Then taking the spherical coor...

Borrowing the dynamical systems perspective, two studies aimed to examine the potential properties of nonlinearity and history dependence of psychological momentum. Male regional-level table tennis players were asked to empathize with players in a very important contest by watching two video scenarios of a table tennis game in two separate sessions. The videos presented two inverted scenarios i...