Conservatoire national des arts et métiers

About: Conservatoire national des arts et métiers is a education organization based out in Paris, France. It is known for research contribution in the topics: Population & Orthogonal frequency-division multiplexing. The organization has 3573 authors who have published 7127 publications receiving 141430 citations. The organization is also known as: CNAM & Conservatoire des arts et métiers.

An overview of a method and its support tool for generating B specifications from UML notations

Abstract: This paper presents, through an example, an overview of our method which generates B specifications from an application described using UML notations. We are interested in data intensive applications. This allows us to automatically generate basic update operations from class diagrams. Then these operations are combined to elaborate more complex transactions described in UML by state and collaboration diagrams. The obtained B machines are directly usable in AtelierB and proofs can be performed allowing the consistency of the application to be checked. Finally the outlines of the prototype support tool are described.

Motion planning and nonlinear simulations for a tank containing a fluid

Abstract: We consider a tank containing a fluid. The tank is subjected to a one-dimensional horizontal move and the motion of the fluid is described by Saint-Venant's equations. We show how to parameterize the trajectories of the linearized system thanks to the horizontal coordinate of a particular point in the system — the “flat output”, see figure 2- and a periodic function. The motion planning problem of the linearized model is solved in the general case of joining two steady states. Next we provide an algorithm, based on Godunov scheme, with a dedicated way of dealing with boundary conditions, to numerically simulate the evolution of the nonlinear system. Nonlinear simulations provide a way of checking the accuracy of the motion planning based on the tangent linear system.