Search results for "Automation"

showing 10 items of 1181 documents

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…

Mathematics - Differential Geometry0209 industrial biotechnologyPure mathematics53C17 22F50 22E25 14M17SubvarietyGroup Theory (math.GR)02 engineering and technologySard's property01 natural sciencesSet (abstract data type)020901 industrial engineering & automationAbnormal curves; Carnot groups; Endpoint map; Polarized groups; Sard's property; Sub-Riemannian geometry; Analysis; Mathematical PhysicsMathematics - Metric GeometryFOS: MathematicsPoint (geometry)Canonical mapAbnormal curves; Carnot groups Endpoint map Polarized groups Sard's property Sub-Riemannian geometry Analysis0101 mathematicsMathematics - Optimization and ControlMathematical PhysicsMathematicsApplied Mathematics010102 general mathematicsta111Polarized groupsCarnot groupLie groupEndpoint mapMetric Geometry (math.MG)Base (topology)ManifoldSub-Riemannian geometryDifferential Geometry (math.DG)Optimization and Control (math.OC)Carnot groupsAbnormal curvesMathematics - Group TheoryAnalysis
researchProduct

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.

Mathematics - Differential Geometry0209 industrial biotechnologyPure mathematicsPhysics::General PhysicsGeodesic49K1549J1502 engineering and technology01 natural sciencesContinuationGeneral Relativity and Quantum CosmologyPhysics::Popular Physics020901 industrial engineering & automationMathematics (miscellaneous)Geometric controlFOS: Mathematics0101 mathematicsMathematics - Optimization and ControlMathematics010102 general mathematicsta111matemaattinen optimointiPhysics::History of Physics49J15; 49K15; Cartan group; geometric control; Sub-Finsler geometry; time-optimal control; Mathematics (miscellaneous)säätöteoriaDifferential Geometry (math.DG)Optimization and Control (math.OC)geometric controlNorm (mathematics)Piecewisetime-optimal controldifferentiaaliyhtälötSub-Finsler geometryCartan groupRegular and Chaotic Dynamics
researchProduct

Semianalyticity of isoperimetric profiles

2009

It is shown that, in dimensions $<8$, isoperimetric profiles of compact real analytic Riemannian manifolds are semi-analytic.

Mathematics - Differential Geometry0209 industrial biotechnologyRiemannian Geometry Real Analytic Geometry Geometric measure Theory Metric Geometry Geometric Analysis.Calibration (statistics)02 engineering and technologyAstrophysics::Cosmology and Extragalactic Astrophysics01 natural sciencessymbols.namesake020901 industrial engineering & automationFOS: MathematicsMathematics::Metric GeometryMorse theory0101 mathematicsMathematics::Symplectic GeometryIsoperimetric inequalityMorse theoryMathematicsRiemann surface010102 general mathematicsMathematical analysis53C20;49Q20;14P15;32B20Differential Geometry (math.DG)Computational Theory and Mathematics[MATH.MATH-DG]Mathematics [math]/Differential Geometry [math.DG]Riemann surfaceCalibrationsymbolsGeometry and TopologyMathematics::Differential GeometryIsoperimetric inequalityAnalysis
researchProduct

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…

Mathematics(all)0209 industrial biotechnologyEngineeringTKGeneral Mathematics02 engineering and technologycomputer.software_genre01 natural sciencesIndustrial and Manufacturing EngineeringSettore ING-IND/14 - Progettazione Meccanica E Costruzione Di Macchine020901 industrial engineering & automationSoftwareAutomated non-destructive inspectionsNondestructive testingObstacle avoidancePath-planningComputer Aided DesignMotion planningSimulationbusiness.industry010401 analytical chemistryRoboticsAutomation0104 chemical sciencesComputer Science ApplicationsControl and Systems EngineeringTrajectoryRobotbusinesscomputerSoftwareRobotics and Computer-Integrated Manufacturing
researchProduct

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.

Mathematics::Functional Analysis0209 industrial biotechnologyClass (set theory)Pure mathematicsApplied Mathematics010102 general mathematicsMathematical analysis02 engineering and technologySubderivative01 natural sciencesControllability020901 industrial engineering & automationDifferential inclusion0101 mathematicsAnalysisMathematicsNonlinear Analysis: Theory, Methods & Applications
researchProduct

Evaluation of a Real, Low Cost, Urban WSN Deployment for Accurate Environmental Monitoring

2011

There are many areas where Wireless Sensor Networks (WSN) can offer innovative solutions for environmental monitoring applications and the meteorological community, but due to their complexity in terms of energy constraints and low performance devices, very few real deployments can be found. In this paper we will explain in detail the design, implementation and performance evaluation of a sparse WSN that has been working maintenance-free for over 12 months. The network has been designed for environmental monitoring purposes, and several motes, attached to lampposts, accurately measure the Temperature and Relative Humidity at various locations in a local street. Our contribution is an enhanc…

Measure (data warehouse)Computer sciencebusiness.industrySoftware deploymentEmbedded systemEnvironmental monitoringReal-time computingRelative humidityRouting (electronic design automation)businessWireless sensor networkEnergy (signal processing)Power (physics)2011 IEEE Eighth International Conference on Mobile Ad-Hoc and Sensor Systems
researchProduct

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.

Mesorobotics0209 industrial biotechnologyFabricationBistabilityComputer scienceMechanical bistable structuresContext (language use)NanotechnologyCurved beams[SDV.CAN]Life Sciences [q-bio]/Cancer02 engineering and technologyKey issuesFDM additive manufacturing01 natural sciences[SPI.AUTO]Engineering Sciences [physics]/AutomaticInformatique [cs]/Automatique020901 industrial engineering & automation[INFO.INFO-AU]Computer Science [cs]/Automatic Control Engineering0103 physical sciencesMicrorobotics[INFO.INFO-SY]Computer Science [cs]/Systems and Control [cs.SY][INFO.INFO-RB]Computer Science [cs]/Robotics [cs.RO][SPI.NANO]Engineering Sciences [physics]/Micro and nanotechnologies/Microelectronics010301 acousticsMicroelectromechanical systems[INFO.INFO-MO]Computer Science [cs]/Modeling and SimulationMEMSMicrofabrication
researchProduct

CCD characterization and measurements automation

2012

Abstract Modern mosaic cameras have grown both in size and in number of sensors. The required volume of sensor testing and characterization has grown accordingly. For camera projects as large as the LSST, test automation becomes a necessity. A CCD testing and characterization laboratory was built and is in operation for the LSST project. Characterization of LSST study contract sensors has been performed. The characterization process and its automation are discussed, and results are presented. Our system automatically acquires images, populates a database with metadata information, and runs express analysis. This approach is illustrated on 55 Fe data analysis. 55 Fe data are used to measure …

MetadataPhysicsNuclear and High Energy PhysicsMeasure (data warehouse)business.industryReal-time computingVolume (computing)Process (computing)businessInstrumentationAutomationCharge transfer efficiencyCharacterization (materials science)Nuclear Instruments and Methods in Physics Research Section A: Accelerators, Spectrometers, Detectors and Associated Equipment
researchProduct

Automatic Biological Cell Counting Using a Modified Gradient Hough Transform

2017

AbstractWe present a computational method for pseudo-circular object detection and quantitative characterization in digital images, using the gradient accumulation matrix as a basic tool. This Gradient Accumulation Transform (GAT) was first introduced in 1992 by Kierkegaard and recently used by Kaytanli & Valentine. In the present article, we modify the approach by using the phase coding studied by Cicconet, and by adding a “local contributor list” (LCL) as well as a “used contributor matrix” (UCM), which allow for accurate peak detection and exploitation. These changes help make the GAT algorithm a robust and precise method to automatically detect pseudo-circular objects in a microscop…

Microbiological Techniques0301 basic medicineCountingComputer scienceColony Count Microbial02 engineering and technologyPattern Recognition AutomatedHough transformlaw.inventionAutomation03 medical and health sciencesMatrix (mathematics)Digital imageCirclelawYeasts[SDV.IDA]Life Sciences [q-bio]/Food engineeringImage Processing Computer-AssistedMicroscopic imageInstrumentationMicroscopybusiness.industryClinical Coding[ SDV.IDA ] Life Sciences [q-bio]/Food engineeringPattern recognition021001 nanoscience & nanotechnologyObject detectionPeak detection030104 developmental biologyCoughSaccharomycetalesImagesBiological cellArtificial intelligenceCell0210 nano-technologybusinessAlgorithmsPhase coding
researchProduct

Detection of bacteria and yeast species by the BACTEC 9120 automated system with the routine use of aerobic, anaerobic, and fungal media

2008

ABSTRACT During the period 2006 and 2007, all blood cultures required by four units at high infective risk and most of those required by other units of the University Hospital of Palermo, Palermo, Italy were performed using a Bactec 9120 automated blood culture system with a complete set of Plus Aerobic/F, Plus Anaerobic/F, and Mycosis IC/F bottles. The aim of the study was to enable the authors to gain firsthand experience of the culture potentialities of the three different media, to obtain information regarding the overall and specific recovery of bacteria and yeasts from blood cultures in the hospital, and to reach a decision as to whether and when to utilize anaerobic and fungal bottle…

Microbiology (medical)BacilliSettore MED/07 - Microbiologia E Microbiologia ClinicaAutomated blood cultures Mycosis IC/F Candida albicansMycologyBiologyMicrobiologyAutomationSepsisYeastsmedicineHumansBlood cultureAnaerobiosisCandida albicansMycosisFungemiamedicine.diagnostic_testBacteriaObligate anaerobeBacterial Infectionsmedicine.diseasebiology.organism_classificationAerobiosisCulture MediaBloodItalyMycosesAnaerobic exerciseBacteria
researchProduct