This paper presents the results achieved while pursuing the verification and validation of a train system behavior at the first steps of development in an industrial context. At this stage, and at least from the industrial point of view, the train can be considered as a System of Systems (SoS). A method is proposed, supported by preliminary results...
The purpose of this research is to support decision-making for solving design issues in the development phase of complex systems supported by numerical simulation. We conducted our studies in a multinational car manufacturing company.The first part of the research was devoted to identifying the difficulties encountered in the issue resolution proce...
Proving correctness of distributed or concurrent algorithms is a mind-challenging and complex process. Slight errors in the reasoning are difficult to find, calling for computer-checked proof systems. In order to build computer-checked proofs with usual tools, such as Coq or TLA+, having sequential specifications of all base objects that are used a...
The mechanical model of a thin plate with boundary control and observation is presented as a port-Hamiltonian system (pHs), both in vectorial and tensorial forms: the Kirchhoff-Love model of a plate is described by using a Stokes-Dirac structure and this represents a novelty with respect to the existing literature. This formulation is carried out b...
The port-Hamiltonian formulation is a powerful method for modeling and interconnecting systems of different natures. In this paper, the port-Hamiltonian formulation in tensorial form of a thick plate described by the Mindlin–Reissner model is presented. Boundary control and observation are taken into account. Thanks to tensorial calculus, it can be...
In high-speed milling (HSM) of free-form surfaces, the tool path is mainly characterized by a set of short discontinuous segments in tangency. These discontinuities bring an intense kinematic parameter fluctuation of the computer numerical control (CNC) machine axes. The smoothing of the programmed tool path and the optimal choice of the manufactur...
Cyber-physical systems (CPS) integrate both physical and computational elements and their engineering requires bridging the continuous analog real world and the discrete digital world. User interfaces of cyber-physical systems belong to the class of command and control systems and their design and engineering usually follow ad-hoc craft processes h...
Metal additive manufacturing is a major field of study and innovation. In aerospace industry a lot of effort is made to modelise and optimize the designs. In this context, despite all efforts, metal additive manufacturing (especially SLM) still produce part generally considered as raw parts which still have some surfaces to be machined in order to ...
We propose a renovated approach around the use of Taylor expansions to provide polynomial approximations. We introduce a coinductive type scheme and finely-tuned operations that altogether constitute an algebra, where our multivariate Taylor expansions are first-class objects. As for applications, beyond providing classical expansions of integro-di...
In this study, the hysteresis nonlinearities of a piezotube actuator are investigated under different levels of surrounding temperature. The experimental results show that increasing of the surrounding temperature contributes to an increase in the output displacement of the piezotube actuator under the input range that is considered in the experime...
