Search results for "020901 industrial engineering & automation"
showing 10 items of 724 documents
The Microbiota Promotes Arterial Thrombosis in Low-Density Lipoprotein Receptor-Deficient Mice
2019
Our results demonstrate a functional role for the commensal microbiota in atherothrombosis. In a ferric chloride injury model of the carotid artery, GF C57BL/6J mice had increased occlusion times compared to colonized controls. Interestingly, in late atherosclerosis, HFD-fed GF Ldlr−/− mice had reduced plaque rupture-induced thrombus growth in the carotid artery and diminished ex vivo thrombus formation under arterial flow conditions.
Sard property for the endpoint map on some Carnot groups
2016
In Carnot-Caratheodory or sub-Riemannian geometry, one of the major open problems is whether the conclusions of Sard's theorem holds for the endpoint map, a canonical map from an infinite-dimensional path space to the underlying finite-dimensional manifold. The set of critical values for the endpoint map is also known as abnormal set, being the set of endpoints of abnormal extremals leaving the base point. We prove that a strong version of Sard's property holds for all step-2 Carnot groups and several other classes of Lie groups endowed with left-invariant distributions. Namely, we prove that the abnormal set lies in a proper analytic subvariety. In doing so we examine several characterizat…
Sub-Finsler Geodesics on the Cartan Group
2018
This paper is a continuation of the work by the same authors on the Cartan group equipped with the sub-Finsler $\ell_\infty$ norm. We start by giving a detailed presentation of the structure of bang-bang extremal trajectories. Then we prove upper bounds on the number of switchings on bang-bang minimizers. We prove that any normal extremal is either bang-bang, or singular, or mixed. Consequently, we study mixed extremals. In particular, we prove that every two points can be connected by a piecewise smooth minimizer, and we give a uniform bound on the number of such pieces.
Semianalyticity of isoperimetric profiles
2009
It is shown that, in dimensions $<8$, isoperimetric profiles of compact real analytic Riemannian manifolds are semi-analytic.
Robotic path planning for non-destructive testing – A custom MATLAB toolbox approach
2016
AbstractThe requirement to increase inspection speeds for non-destructive testing (NDT) of composite aerospace parts is common to many manufacturers. The prevalence of complex curved surfaces in the industry provides motivation for the use of 6 axis robots in these inspections. The purpose of this paper is to present work undertaken for the development of a KUKA robot manipulator based automated NDT system. A new software solution is presented that enables flexible trajectory planning to be accomplished for the inspection of complex curved surfaces often encountered in engineering production. The techniques and issues associated with conventional manual inspection techniques and automated s…
Controllability and strong controllability of differential inclusions
2012
Abstract In this paper, we prove sufficient conditions for controllability and strong controllability in terms of the Mordukhovich subdifferential for two classes of differential inclusions. The first one is the class of sub-Lipschitz multivalued functions introduced by Loewen–Rockafellar (1994) [10] . The second one, introduced recently by Clarke (2005) [18] , is the class of multivalued functions which are pseudo-Lipschitz and satisfy the so-called tempered growth condition. To do this, we establish an error bound result in terms of the Mordukhovich subdifferential outside Asplund spaces.
Mechanical Bistable Structures for Microrobotics and Mesorobotics from Microfabrication to Additive Manufacturing
2018
International audience; The use of mechanical bistable structures in the design of microrobots and mesorobots has many advantages especially for flexible robotic structures. However, depending on the fabrication technology used, the adequacy of theoretical and experimental mechanical behaviors can vary widely. In this paper, we present the manufacturing results of bistable structures made with two extensively used contemporary technologies: MEMS and FDM additive manufacturing. Key issues of these fabrication technologies are discussed in the context of microrobotics and mesorobotics applications.
Safety Assurance of a High Voltage Controller for an Industrial Robotic System
2020
Abstract Due to the risk of discharge sparks and ignition, there are strict rules concerning the safety of high voltage electrostatic systems used in industrial painting robots. In order to assure that the system fulfils its safety requirements, formal verification is an important tool to supplement traditional testing and quality assurance procedures. The work in this paper presents formal verification of the most important safety functions of a high voltage controller. The controller has been modelled as a finite state machine, which was formally verified using two different model checking software tools; Simulink Design Verifier and RoboTool. Five safety critical properties were specifie…
A Multi-touch Interface for Multi-robot Path Planning and Control
2014
In the last few years, research in human-robot interaction has moved beyond the issues concerning the design of the interaction between a person and a single robot. Today many researchers have shifted their focus toward the problem of how humans can control a multi-robot team. The rising of multi-touch devices provides a new range of opportunities in this sense. Our research seeks to discover new insights and guidelines for the design of multi-touch interfaces for the control of biologically inspired multi-robot teams. We have developed an iPad touch interface that lets users exert partial control over a set of autonomous robots. The interface also serves as an experimental platform to stud…
Investigating the effect of residual stress on hydrogen cracking in multi-pass robotic welding through process compatible non-destructive testing
2021
Abstract In this paper, the effect of Welding Residual Stress (WRS) on the size and morphology of hydrogen-induced cracks (HIC) is studied. Four samples were manufactured using a 6-axis welding robot and in two separate batches. The difference between the two batches was the clamping system used, which resulted in different amounts of welding deformation and WRS. The hydrogen cracks were intentionally manufactured in the samples using a localised water-quenching method, where water was sprayed over a specific weld pass in a predetermined position. The Phased-Array Ultrasonic Testing (PAUT) system was implemented during the welding process (high-temperature in-process method), to detect the …