Search results for "Multia"

showing 10 items of 159 documents

Trajectory Decentralized Fuzzy Control of Multiple UAVs.

2008

This paper considers a complete position and heading rate control system for multiple unmanned aerial vehicles (UAVs) with constant altitude. A decentralized trajectory planning algorithm is proposed, where the UAVs will avoid collisions while moving. In order to stabilize the UAVs in the reference planned trajectories and ensure the boundedness of the control velocities, a fuzzy control law is proposed with Lyapunov's stability proof. Simulation experiments developed in Matlab environment confirm the effectiveness and the robustness of the proposed control algorithm with respect to possible turbulence disturbances perturbing the nominal motion of the UAVs.

Lyapunov stabilityLyapunov functionAutomatic controlComputer scienceTrajectory Decentralized Fuzzy Control Multiple UAVFuzzy control systemMotion controlComputer Science::Multiagent SystemsComputer Science::Roboticssymbols.namesakeSettore ING-INF/04 - AutomaticaComputer Science::Systems and ControlControl theoryControl systemTrajectorysymbolsMotion planning
researchProduct

MRF Model-Based Approach for Image Segmentation Using a Chaotic MultiAgent System

2006

In this paper, we propose a new Chaotic MultiAgent System (CMAS) for image segmentation. This CMAS is a distributed system composed of a set of segmentation agents connected to a coordinator agent. Each segmentation agent performs Iterated Conditional Modes (ICM) starting from its own initial image created initially from the observed one by using a chaotic mapping. However, the coordinator agent receives and diversifies these images using a crossover and a chaotic mutation. A chaotic system is successfully used in order to benefit from the special chaotic characteristic features such as ergodic property, stochastic aspect and dependence on initialization. The efficiency of our approach is s…

Markov random fieldbusiness.industryComputer scienceMulti-agent systemCrossoverChaoticInitializationImage segmentationComputingMethodologies_ARTIFICIALINTELLIGENCEComputer Science::Multiagent SystemsNonlinear Sciences::Chaotic DynamicsComputerSystemsOrganization_MISCELLANEOUSIterated conditional modesSegmentationArtificial intelligencebusinessAlgorithm
researchProduct

Particle characterization using multiple scattering decorrelation methods: hard-sphere model system

2000

Applying static light scattering experiments, we characterize colloidal particles that are used as model hard-sphere systems in experiments investigating their crystallization kinetics. The particles comprise of a compact core of poly(methyl methacrylate) and short polymer hairs grafted onto the surface. We use a contrast variation procedure to determine the refractive index variation within the particles and observe that one component of the binary mixture used as a solvent penetrates the particles and masks completely the small polymer hairs. Making use of the determined refractive index variation, we obtain the average particle radius and its polydispersity from measurements of the parti…

Materials scienceScatteringbusiness.industryMultiangle light scatteringMolecular physicsSmall-angle neutron scatteringLight scatteringCondensed Matter::Soft Condensed Mattersymbols.namesakeOpticsDynamic light scatteringsymbolsScattering theoryRayleigh scatteringBiological small-angle scatteringbusinessPhysical review. E, Statistical physics, plasmas, fluids, and related interdisciplinary topics
researchProduct

Laser light scattering and polydispersity of polymers

1977

The application of lasers to light scattering improves the potentials of elastic scattering, especially in the high molecular weight range and enables the technique of inelastic scattering to be used. For elastic light scattering an experimental arrangement and an evaluation method is described which allows, within appropriate molecular weight ranges, the determination of the ratio Mw/Mn from the experimental scattering function with an accuracy down to 0.02. The newer technique of inelastic light scattering yields the coefficient of translational diffusion D. Besides D, the friction coefficient f is also directly accessible. The basic equations are reported, as well as an application to mi…

Materials sciencebusiness.industryScatteringGeneral EngineeringMultiangle light scatteringInelastic scatteringSmall-angle neutron scatteringMolecular physicsLight scatteringOpticsAnalytical light scatteringStatic light scatteringBiological small-angle scatteringbusinessJournal of Polymer Science: Polymer Symposia
researchProduct

Light scattering in opal heterojunctions

2006

Light propagation in photonic hetero-crystals, consisting of two opal films with different lattice constants, has been investigated in the realistic regime of weak scattering, when the main light flux is transported by ballistic photons. The light scattering at the photonic bandgap interface is studied in combination with transmission data. The spectra and directionality diagrams of scattered light of single- and hetero-opal films are compared. The rate of decrease of the scattering intensity as a function of the scattering angle has been used to quantify the scattering strength. The anisotropy of the interface scattering is identified by deducing the trajectories of single scattered photon…

Materials sciencebusiness.industryScatteringMultiangle light scatteringCondensed Matter PhysicsMolecular physicsAtomic and Molecular Physics and OpticsLight scatteringElectronic Optical and Magnetic MaterialsCondensed Matter::Materials Sciencesymbols.namesakeOpticsHardware and ArchitecturesymbolsGrazing-incidence small-angle scatteringScattering theoryElectrical and Electronic EngineeringBiological small-angle scatteringRayleigh scatteringbusinessBallistic photonPhotonics and Nanostructures - Fundamentals and Applications
researchProduct

MECHANISM DESIGN FOR OPTIMAL CONSENSUS PROBLEMS

2006

We consider stationary consensus protocols for networks of dynamic agents with fixed and switching topologies. At each time instant, each agent knows only its and its neighbors’ state, but must reach consensus on a group decision value that is function of all the agents’ initial state.We show that our protocol design is the solution of individual optimizations performed by the agents. This notion suggests a game theoretic interpretation of consensus problems as mechanism design problems. Under this perspective a supervisor entails the agents to reach a consensus by imposing individual objectives. We prove that such objectives can be chosen so that rational agents have a unique optimal proto…

Mathematical optimizationMechanism designDynamic agentsComputer sciencemedia_common.quotation_subjectDistributed computingmechanismcontainment controlRational agentStationary consensus protocolsNetwork topologyTopologyUniform consensusComputer Science::Multiagent SystemsSwitching topologiesComputer Science::Systems and ControlDynamic agents; Protocol design; Stationary consensus protocols; Switching topologiesSettore MAT/09 - Ricerca OperativaFunction (engineering)Protocol designProtocol (object-oriented programming)Game theoryMulti agent systemsmedia_common
researchProduct

Solving the Discrete Multiple Criteria Problem using Convex Cones

1984

An interactive method employing pairwise comparisons of attainable solutions is developed for solving the discrete, deterministic multiple criteria problem assuming a single decision maker who has an implicit quasi-concave increasing utility (or value) function. The method chooses an arbitrary set of positive multipliers to generate a proxy composite linear objective function which is then maximized over the set of solutions. The maximizing solution is compared with several solutions using pairwise judgments asked of the decision maker. Responses are used to eliminate alternatives using convex cones based on expressed preferences, and then a new set of weights is found that satisfies the i…

Mathematical optimizationStrategy and ManagementRegular polygonMultiple criteriaPairwise comparisonManagement Science and Operations ResearchDecision makerProxy (statistics)Mathematical proofMathematicsDecision analysismultiattribute programming: multiple criteria convex cones [decision analysis utility/preference]Management Science
researchProduct

A study of personality subtypes in treatment seeking obese patients

2014

Previous research has not been able to identify a distinct personality style that refers specifically to obese individuals. The purpose of this investigation was to explore whether different personality-based groups can be identified in obese individuals, as has been shown with eating disorder patients. Data were collected from 149 obese patients (BMI = 37.3, ± 6.4; 83% female) seeking dietary treatment and psychological support for their weight problems. Participants completed the Millon Clinical Multiaxial Inventory III (MCMI-III; Millon, 1997) and a battery of eight measures assessing psychological distress, mood states, eating behaviors, obesity-related quality of life, and interperson…

Millon Clinical Multiaxial Inventorymedicine.medical_specialtyobesitypersonality typologiesmedia_common.quotation_subjectlcsh:BF1-990obesity personality typologies MCMI-III personality disorders cluster analysis.Settore M-PSI/08 - Psicologia ClinicamedicinePersonalitypersonality disordersPsychiatrymedia_commoncluster analysis.medicine.diseasePersonality disordersPsychiatry and Mental healthClinical PsychologyDistressEating disordersMoodlcsh:PsychologyPersonality styleMCMI-IIIPsychologyPsychosocialClinical psychologyResearch in Psychotherapy
researchProduct

Towards a Formal Analysis of MQtt Protocol in the Context of Communicating Vehicles

2017

International audience; The paper presents a formal approach to model, analyze, and verify a variant of Message Queue Telemetry Transport protocol (MQtt), dedicated to communicating vehicles (MQtt-CV) that send collected data to automotive infrastructures(subscribers). Our formal approach is based on Promela language and its system verification tool, the model checker SPIN. We propose a slight modification of MQtt protocol to reduce the big volume of data collected and sent by vehicles to infrastructures. Indeed, in the original version of MQtt protocol, when a broker receives data from publishers, it sends them directly to its subscribers without any filtration. As consequence, subscribers…

Model checkingComputer scienceDistributed computingAutomotive industryContext (language use)02 engineering and technology[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE][INFO.INFO-IU]Computer Science [cs]/Ubiquitous Computing[INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]0202 electrical engineering electronic engineering information engineeringProtocol (object-oriented programming)computer.programming_languageMQTTbusiness.industryVolume (computing)020206 networking & telecommunications020207 software engineering[INFO.INFO-MO]Computer Science [cs]/Modeling and SimulationPromela[INFO.INFO-MA]Computer Science [cs]/Multiagent Systems [cs.MA][INFO.INFO-ET]Computer Science [cs]/Emerging Technologies [cs.ET][INFO.INFO-DC]Computer Science [cs]/Distributed Parallel and Cluster Computing [cs.DC]businessMessage queuecomputerComputer network
researchProduct

Deciding properties of integral relational automata

1994

This paper investigates automated model checking possibilities for CTL* formulae over infinite transition systems represented by relational automata (RA). The general model checking problem for CTL* formulae over RA is shown undecidable, the undecidability being observed already on the class of Restricted CTL formulae. The decidability result, however, is obtained for another substantial subset of the logic, called A-CTL*+, which includes all ”linear time” formulae.

Model checkingDiscrete mathematicsClass (set theory)TheoryofComputation_COMPUTATIONBYABSTRACTDEVICESComputer scienceComputer Science::Software EngineeringDecidabilityUndecidable problemComputer Science::Multiagent SystemsCTL*TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESRelational calculusTheoryofComputation_LOGICSANDMEANINGSOFPROGRAMSComputer Science::Logic in Computer ScienceAutomata theoryTime complexityComputer Science::Formal Languages and Automata Theory
researchProduct