Retour au site du LAAS-CNRS

Laboratoire d’analyse et d’architecture des systèmes
Choisir la langue : FR | EN

789documents trouvés

17006
01/06/2017

Mixed integer linear programming for quality of service optimization in Clouds

T.GUEROUT, P.LOPEZ, T.MONTEIL, C.ARTIGUES, Y.GAOUA, G.DA COSTA

SARA, ROC, IRIT-UPS

Revue Scientifique : Future Generation Computer Systems, Vol.71, pp.1-17, Juin 2017 , N° 17006

Lien : https://hal.archives-ouvertes.fr/hal-01438550

Diffusable

Plus d'informations

Abstract

The analysis of the Quality of Service (QoS) level in a Cloud Computing environment becomes an attractive research domain as the utilization rate is daily higher and higher. Its management has a huge impact on the performance of both services and global Cloud infrastructures. Thus, in order to nd a good trade-off, a Cloud provider has to take into account many QoS objectives, and also the manner to optimize them during the virtual machines allocation process. To tackle this complex challenge, this article proposed a multiobjective optimization of four relevant Cloud QoS objectives, using two different optimization methods: a Genetic Algorithm (GA) and a Mixed Integer Linear Programming (MILP) approach. The complexity of the virtual machine allocation problem is increased by the modeling of Dynamic Voltage and Frequency Scaling (DVFS) for energy saving on hosts. A global mixed-integer non linear programming formulation is presented and a MILP formulation is derived by linearization. A heuristic decomposition method, which uses the MILP to optimize intermediate objectives, is proposed. Numerous experimental results show the complementarity of the two heuristics to obtain various trade-offs between the different QoS objectives.

139662
14329
01/05/2017

Rigorous uniform approximation of D-finite functions using Chebyshev expansions

A.BENOIT, M.M.JOLDES, M.MEZZAROBBA

EXT, MAC, LIP6-CNRS

Revue Scientifique : Mathematics of Computation , Vol.86, N°305, pp.1303-1341, Mai 2017 , N° 14329

Lien : http://hal.archives-ouvertes.fr/hal-01022420

Diffusable

Plus d'informations

Abstract

A wide range of numerical methods exists for computing polynomial approximations of solutions of ordinary differential equations based on Chebyshev series expansions or Chebyshev interpolation polynomials. We consider the application of such methods in the context of rigorous computing (where we need guarantees on the accuracy of the result), and from the complexity point of view. It is well-known that the order-n truncation of the Chebyshev expansion of a function over a given interval is a near-best uniform polynomial approximation of the function on that interval. In the case of solutions of linear differential equations with polynomial coefficients, the coefficients of the expansions obey linear recurrence relations with polynomial coefficients. Unfortunately, these recurrences do not lend themselves to a direct recursive computation of the coefficients, owing among other things to a lack of initial conditions. We show how they can nevertheless be used, as part of a validated process, to compute good uniform approximations of D-finite functions together with rigorous error bounds, and we study the complexity of the resulting algorithms. Our approach is based on a new view of a classical numerical method going back to Clenshaw, combined with a functional enclosure method.

139597
17110
27/04/2017

A minimum-fuel fixed-time low-thrust rendezvous solved with the switching systems theory

C.GAZZINO, D.ARZELIER, L.CERRI, D.LOSA, C.LOUEMBET, C.PITTET-MECHIN

MAC, ROC, CNES, Thalès Alenia Space

Rapport LAAS N°17110, Avril 2017, 6p.

Lien : https://hal.laas.fr/hal-01511019

Diffusable

Plus d'informations

Abstract

In this paper, a fuel optimal rendezvous problem is tackled in the Hill-Clohessy-Wiltshire framework with several operational constraints as bounds on the thrust, non linear non convex and disjunctive operational constraints (on-off profile of the thrusters, minimum elapsed time between two consecutive firings...). An indirect method and a decomposition technique have already been combined in order to solve this kind of optimal control problem with such constraints. Due to a great number of parameters to tune, satisfactory results are hard to obtain and are sensitive to the initial condition. Assuming that no singular arc exists, it can be shown that the optimal control exhibits a bang-bang structure whose optimal switching times are to be found. Noticing that a system with a bang-bang control profile can be considered as two subsystems switching from one with control on to with control off, and vice-versa, a technique coming from the switching systems theory is used in order to optimise the switching times.

139665
17111
27/04/2017

Nonlinear control of multi-rotor aerial vehicles based on the zero-moment direction

G.MICHIELETTO, A.CENEDESE, L.ZACCARIAN, A.FRANCHI

RIS, University of Padova, MAC

Rapport LAAS N°17111, Avril 2017, 6p.

Lien : https://hal.laas.fr/hal-01513229

Diffusable

Plus d'informations

Abstract

A quaternion-based nonlinear control strategy is here presented to steer and keep a generic multi-rotor platform in a given reference position. Exploiting a state feedback structure, the proposed solution ensures the stabilization of the aerial vehicle so that its linear and angular velocity are zero and its attitude is constant. The main feature of the designed controller is the identification of a zero-moment direction in the feasible force space, i.e., a direction along which the control force intensity can be assigned independently of the control moment. The asymptotic convergence of the error dynamics is confirmed by simulation results on a hexarotor with tilted propellers.

139666
17103
25/04/2017

Observer-based event-triggered control for linear systems subject to cone-bounded nonlinearities

S.TARBOURIECH, A.SEURET, L.MOREIRA, J.M.GOMES DA SILVA Jr

MAC, UFRGS

Rapport LAAS N°17103, Avril 2017, 6p.

Lien : https://hal.laas.fr/hal-01497747

Diffusable

Plus d'informations

Abstract

The paper presents an observer-based event-triggered control strategy for linear systems subject to input cone-bounded nonlinearities by using only available measurable variables. Sufficient conditions based on linear matrix inequalities are proposed to ensure the asymptotic stability of the closed loop and the avoidance of Zeno behavior in an emulation context. Based on these conditions, a convex optimization problem to compute the parameters of the event-trigger rule aiming at reducing the number of control updates is proposed. The approach is illustrated on a numerical example that considers the control of a linear system with a logarithmic input quantization constraint.

139614
17102
20/04/2017

Lyapunov stability analysis of a linear system coupled to a heat equation

L.BAUDOUIN, A.SEURET, F.GOUAISBAUT, M.DATTAS

MAC

Rapport LAAS N°17102, Avril 2017, 6p.

Lien : https://hal.laas.fr/hal-01496115

Diffusable

Plus d'informations

Abstract

This paper addresses the stability analysis of a system of ordinary differential equations coupled with a classic heat equation using a Lyapunov approach. Relying on recent developments in the area of time-delay systems, a new method to study the stability of such a class of coupled finite/infinite dimensional systems is presented here. It consists in a Lyapunov analysis of the infinite dimensional state of the system using an energy functional enriched by the mean value of the heat variable. The main technical step relies on the use an efficient Bessel-like integral inequality on Hilbert space leading to tractable conditions expressed in terms of linear matrix inequalities. The results are then illustrated on academic examples and demonstrate the potential of this new approach.

139574
17081
12/04/2017

A consensus approach to PI gains tuning for quality-fair video delivery

L.DAL COL, S.TARBOURIECH, L.ZACCARIAN, M.KIEFFER

MAC, L2S

Rapport LAAS N°17081, DOI: 10.1002/rnc.3739, Avril 2017, 19p.

Diffusable

Plus d'informations

Abstract

In this paper, we provide necessary and sufficient conditifor the quality-fair delivery of multimedia contents to mobile users. We control the encoding rates and the transmission rates of the video streams, delivered through a limited capacity channel. This problem is cast into a problem of consensus among identical discrete-time linear systems, connected through a network with fixed and fully connected topology. The information exchanged over the communication network is the measure of the quality of the encoded videos. Based on a consensus result for identical linear systems, we reduce the problem of designing the proportional and integral gains of the encoding rate and transmission rate controllers to a linear static output feedback. We propose an iterative design technique based on linear matrix inequalities to solve the corresponding nonconvex problem, thereby providing a constructive optimality-based approach to the proportional and integral gains tuning problem. We demonstrate the effectiveness of our method in simulations, where we compare it with pre-existing approaches

139512
17095
12/04/2017

A new glideslope guidance algorithm for minimum-fuel fixed-time elliptic rendezvous using semidefinite programming

Y.ARIBA, D.ARZELIER, L.URBINA IGLESIAS

MAC, ROC

Rapport LAAS N°17095, Avril 2017, 6p.

Diffusable

139535
17074
03/04/2017

Hierarchical control of the over-actuated ROSPO platform via static input allocation

C.NAINER, M.FURCI, A.SEURET, L.ZACCARIAN, A.FRANCHI

Trento, RIS, MAC

Rapport LAAS N°17074, Avril 2017, 6p.

Lien : https://hal.laas.fr/hal-01496283

Diffusable

Plus d'informations

Abstract

This paper addresses the problem of control allocation applied to an over-actuated hovercraft-type vehicle. A hierarchical control architecture, consisting of a high level controller for trajectory tracking, and a control allocation algorithm, is developed and proved to be effective in tracking a desired trajectory while optimizing some cost related to actuator constraints. The control allocation algorithm exploits the redundancy of the system in order to keep the actuator states inside their saturation limits and tries to minimize the power consumption of the propellers. Unlike other papers on control allocation, actuator dynamics is taken into account. The control architecture is tested through simulations that well illustrate the capabilities of the proposed control design.

139424
17072
03/04/2017

Target tracking via a circular formation of unicycles

L.BRINON ARRANZ, A.SEURET, A.PASCOAL

GIPSA-Lab, MAC, ISR, Lisbonne

Rapport LAAS N°17072, Avril 2017, 6p.

Lien : https://hal.laas.fr/hal-01496284

Diffusable

Plus d'informations

Abstract

This paper deals with the problem of encircling a moving target with a fleet of unicycle-like vehicles. A new control law is developed to steer the vehicles to a circular formation whose center tracks the target. The novelty of this paper lies in the fact that the control law only uses the velocity of the target and the relative positions of the agents with respect to it, expressed in the local frame of each vehicle. Communication between agents is used to maintain the vehicles equally spaced along the circular formation. Simulation results show the effectiveness of the proposed strategy

139422
Les informations recueillies font l’objet d’un traitement informatique destiné à des statistiques d'utilisation du formulaire de recherche dans la base de données des publications scientifiques. Les destinataires des données sont : le service de documentation du LAAS.Conformément à la loi « informatique et libertés » du 6 janvier 1978 modifiée en 2004, vous bénéficiez d’un droit d’accès et de rectification aux informations qui vous concernent, que vous pouvez exercer en vous adressant à
Pour recevoir une copie des documents, contacter doc@laas.fr en mentionnant le n° de rapport LAAS et votre adresse postale. Signalez tout problème de dysfonctionnement à sysadmin@laas.fr. http://www.laas.fr/pulman/pulman-isens/web/app.php/