Search results for "Systems engineering"

showing 10 items of 1230 documents

Elementary Clothoid-Based Three-Dimensional Curve for Unmanned Aerial Vehicles

2022

UNMANNED aerial vehicles (UAVs), either multirotor or fixed-wing UAVs, can be used in many fields to solve complex problems in safety [1], communications [2, 3], military applications [4, 5], civilian applications [6, 7], protection of nuclear plants [8], energy efficiency [9], nonlinear control [10, 11], and path planning [12], among others. Vertical takeoff and landing (VTOL) is by far the most used UAV's configuration [13]. Probably the main reason is that, nowadays, there are lots of low-cost multirotor models. VTOL strategies can be applied to fixed-wing airplanes [14]; however, in normal operation they usually fly horizontally to keep a constant altitude [15, 16], but they need to per…

TecnologiaSpace and Planetary ScienceControl and Systems EngineeringApplied MathematicsAerospace EngineeringElectrical and Electronic EngineeringJournal of Guidance, Control, and Dynamics
researchProduct

RF Acquisition System Based on μTCA for Testing of High-Gradient Acceleration Cavities

2022

The radio frequency (RF) laboratory hosted in the Corpuscular Physics Institute (IFIC) of the University of Valencia is designed to house a high-power and high-repetition-rate facility to test normal conduction RF accelerator cavities in the S-Band (2.9985 GHz) in order to perform R&D activities related to particle accelerator cavities. The system, which manages the entire process of RF signal generation, data acquisition and closed-loop control of the laboratory, is currently based on a modular and compact PXI platform system. This contribution details the development of a platform with similar features, but which is based on open architecture standards at both the hardware and softwar…

TelecomunicacióComputer Networks and CommunicationsHardware and ArchitectureControl and Systems EngineeringAcceleradors de partículesSignal ProcessingSistemes d'identificació per radiofreqüènciaradio frequency; accelerator cavities; μTCA systems; Low Level RF systemElectrical and Electronic Engineering
researchProduct

Comprehensive Modeling and Experimental Testing of Fault Detection and Management of a Nonredundant Fault-Tolerant VSI

2015

This paper presents an investigation and a comprehensive analysis on fault operations in a conventional three-phase voltage source inverter. After an introductory section dealing with power converter reliability and fault analysis issues in power electronics, a generalized switching function accounting for both healthy and faulty conditions and an easy and feasible method to embed fault diagnosis and reconfiguration within the control algorithm are introduced. The proposed system has simple and compact implementation. Experimental results operating both at open- and closed-loop current control, obtained using a test bench realized using a dSPACE system and the fault-tolerant inverter protot…

Test benchEngineeringControl; Fault diagnosis; Fault tolerance; Inverters; Power converters; Pulsewidth modulationSettore ING-IND/32 - Convertitori Macchine E Azionamenti ElettriciFault (power engineering)Pulse width modulationFault detection and isolationMathematical modelControl theoryControlinverterInsulated gate bipolar transistorElectrical and Electronic EngineeringCircuit faultFault diagnosisPower convertersFault tolerant systembusiness.industryControl reconfigurationFault toleranceFault toleranceControl engineeringfault diagnosiInvertersPower converterStuck-at faultControl and Systems EngineeringInverterpulsewidth modulationVectorbusiness
researchProduct

Industrial Scaled Automated Structural Testing with the Evolutionary Testing Tool

2010

Evolutionary testing has been researched and promising results have been presented. However, evolutionary testing has remained predominately a research-based activity not practiced within industry. Although attempts have been made, such as Daimler's Evolutionary Structural Test (EST) prototype, until now, no such tool has been suitable for industrial adoption. The European project EvoTest (IST-33472) team has been working from 2006 till2009 to improve this situation. This paper describes the final version of the Evolutionary Testing Framework (ETF) resulting from the EvoTest project. In specific we will present the EvoTest Structural Testing tool for fully automatic structural testing that …

Test strategyComputer sciencebusiness.industryTest data generationSystems engineeringInformation systemSystem testingArchitecturebusinessAutomationEvolutionary computationTest (assessment)2010 Third International Conference on Software Testing, Verification and Validation
researchProduct

On the impact of forgetting on learning machines

1995

People tend not to have perfect memories when it comes to learning, or to anything else for that matter. Most formal studies of learning, however, assume a perfect memory. Some approaches have restricted the number of items that could be retained. We introduce a complexity theoretic accounting of memory utilization by learning machines. In our new model, memory is measured in bits as a function of the size of the input. There is a hierarchy of learnability based on increasing memory allotment. The lower bound results are proved using an unusual combination of pumping and mutual recursion theorem arguments. For technical reasons, it was necessary to consider two types of memory : long and sh…

Theoretical computer scienceActive learning (machine learning)Computer scienceSemi-supervised learningMutual recursionArtificial IntelligenceInstance-based learningHierarchyForgettingKolmogorov complexitybusiness.industryLearnabilityAlgorithmic learning theoryOnline machine learningInductive reasoningPumping lemma for regular languagesTerm (time)Computational learning theoryHardware and ArchitectureControl and Systems EngineeringArtificial intelligenceSequence learningbusinessSoftwareCognitive psychologyInformation SystemsJournal of the ACM
researchProduct

A solution to the stochastic point location problem in metalevel nonstationary environments.

2008

This paper reports the first known solution to the stochastic point location (SPL) problem when the environment is nonstationary. The SPL problem involves a general learning problem in which the learning mechanism (which could be a robot, a learning automaton, or, in general, an algorithm) attempts to learn a "parameter," for example, lambda*, within a closed interval. However, unlike the earlier reported results, we consider the scenario when the learning is to be done in a nonstationary setting. For each guess, the environment essentially informs the mechanism, possibly erroneously (i.e., with probability p), which way it should move to reach the unknown point. Unlike the results availabl…

Theoretical computer scienceAutomatic controlDiscretizationComputer scienceInformation Storage and RetrievalDecision Support TechniquesPattern Recognition AutomatedArtificial IntelligenceComputer SimulationElectrical and Electronic EngineeringStochastic ProcessesModels StatisticalLearning automatabusiness.industryStochastic processSignal Processing Computer-AssistedGeneral MedicineRandom walkComputer Science ApplicationsAutomatonHuman-Computer InteractionControl and Systems EngineeringPoint locationArtificial intelligencebusinessSoftwareAlgorithmsInformation SystemsIEEE transactions on systems, man, and cybernetics. Part B, Cybernetics : a publication of the IEEE Systems, Man, and Cybernetics Society
researchProduct

Boosting Textual Compression in Optimal Linear Time

2005

We provide a general boosting technique for Textual Data Compression. Qualitatively, it takes a good compression algorithm and turns it into an algorithm with a better compression performance guarantee. It displays the following remarkable properties: (a) it can turn any memoryless compressor into a compression algorithm that uses the “best possible” contexts; (b) it is very simple and optimal in terms of time; and (c) it admits a decompression algorithm again optimal in time. To the best of our knowledge, this is the first boosting technique displaying these properties.Technically, our boosting technique builds upon three main ingredients: the Burrows--Wheeler Transform, the Suffix Tree d…

Theoretical computer scienceBurrows–Wheeler transformSuffix treeString (computer science)Data_CODINGANDINFORMATIONTHEORYBurrows-Wheeler transformSubstringArithmetic codinglaw.inventionLempel-Ziv compressorsArtificial IntelligenceHardware and ArchitectureControl and Systems Engineeringlawtext compressionempirical entropyArithmetic codingGreedy algorithmTime complexityAlgorithmSoftwareInformation SystemsMathematicsData compression
researchProduct

Geometric and conceptual knowledge representation within a generative model of visual perception

1989

A representation scheme of knowledge at both the geometric and conceptual levels is offered which extends a generative theory of visual perception. According to this theory, the perception process proceeds through different scene representations at various levels of abstraction. The geometric domain is modeled following the CSG (constructive solid geometry) approach, taking advantage of the geometric modelling scheme proposed by A. Pentland, based on superquadrics as representation primitives. Recursive Boolean combinations and deformations are considered in order to enlarge the scope of the representation scheme and to allow for the construction of real-world scenes. In the conceptual doma…

Theoretical computer scienceKnowledge representation and reasoningbusiness.industryMechanical Engineeringmedia_common.quotation_subjectMachine learningcomputer.software_genreIndustrial and Manufacturing EngineeringConstructive solid geometryGenerative modelGeometric designArtificial IntelligenceControl and Systems EngineeringSuperquadricsConceptual modelFrame (artificial intelligence)Artificial intelligenceElectrical and Electronic EngineeringRepresentation (mathematics)businesscomputerSoftwaremedia_commonMathematicsJournal of Intelligent and Robotic Systems
researchProduct

Combining finite learning automata with GSAT for the satisfiability problem

2010

A large number of problems that occur in knowledge-representation, learning, very large scale integration technology (VLSI-design), and other areas of artificial intelligence, are essentially satisfiability problems. The satisfiability problem refers to the task of finding a satisfying assignment that makes a Boolean expression evaluate to True. The growing need for more efficient and scalable algorithms has led to the development of a large number of SAT solvers. This paper reports the first approach that combines finite learning automata with the greedy satisfiability algorithm (GSAT). In brief, we introduce a new algorithm that integrates finite learning automata and traditional GSAT use…

Theoretical computer scienceLearning automataComputer scienceRandom walkSatisfiabilitySet (abstract data type)Artificial IntelligenceControl and Systems EngineeringMaximum satisfiability problemBenchmark (computing)Combinatorial optimizationBoolean expressionElectrical and Electronic EngineeringBoolean satisfiability problemAlgorithmEngineering Applications of Artificial Intelligence
researchProduct

nalysis, Modeling and Simulation of Mechatronic Systems using the Bond Graph Method

2011

The Bond Graph is the proper choice of physical system used for: (i) Modeling which can be applied to systems combining multidisciplinary energy domains, (ii) Analysis to provide a great value proposition for finding the algebraic loops within the system enabling the process of troubleshooting and eliminating the defects by using the proper component(s) to fix the causality conflict even without being acquainted in the proper system, and (iii) Simulation facilitated through derived state space equations from the Bond Graph model is solved using industrial simulation software, such as 20-Sim. The Bond Graph technique is a graphical language of modeling, in which component energy ports are co…

Theoretical computer scienceMomentumComputer sciencePhysical systemDielectric electro active polymers (DEAP)Fourth order electrical systemTroubleshootingTopologycomputer.software_genrelcsh:QA75.5-76.95Modeling and simulationComponent (UML)Bond graphPush actuatorState-space representationProcess (computing)Casual strokeDisplacementEffective strokeComputer Science ApplicationsSimulation software20-Sim toolControl and Systems EngineeringModeling and SimulationEffective forcelcsh:Electronic computers. Computer sciencecomputerBond graphSoftwareModeling, Identification and Control: A Norwegian Research Bulletin
researchProduct