Laboratoire d’analyse et d’architecture des systèmes
H.E.GOUGAM, Y.PENCOLE, A.SUBIAS
Revue Scientifique : Discrete Event Dynamic Systems, Vol.27, N°1, pp.143-180, Mars 2017 , N° 16414
Checking the diagnosability of a discrete event system aims at determining whether a fault can always be identified with certainty after the observation of a bounded number of events. This paper investigates the problem of pattern diagnosability of systems modeled as bounded labeled prioritized Petri nets that extends the diagnosability problem on single fault events to more complex behaviors. An effective method to automatically analyze the diagnosability of a pattern is proposed. It relies on a specific Petri net product that turns the pattern diagnosability problem into a model-checking problem.
O.LOPEZ SANTOS, L.MARTINEZ SALAMERO, G.GARCIA, H.VALDERRAMA-BLAVI, D.A.ZAMBRANO-PRADA
MAC, URV, Unibague
Revue Scientifique : IEEE Transactions on Power Electronics, Vol.32, N°3, pp.2253-2264, Mars 2017, DOI 10.1109/TPEL.2016.2557582 , N° 16132
The conduction modes of the quadratic boost converter are explored in the context of high DC gain applications. A complete analytical description of the steady-state behavior of the converter operating in four possible inductor current discontinuous conduction modes is presented. Boundaries between modes are determined together with the corresponding transitions. The study covers the operation of the converter using a pulse width modulator (PWM) for constant switching frequency, and employing a hysteresis comparator for variable switching frequency. Both cases are analyzed for the same set of converter parameters and different constant resistive loads, while the converter is fed by a low DC voltage ranging from 20 to 30 VDC. Several simulations are used to verify the waveforms and average values predicted by the theoretical analysis. Experimental results in a 60 W prototype are in good agreement with the theoretical predictions, and efficiency measurements reveal that one of the discontinuous conduction modes can compete with the continuous conduction mode in high DC gain applications.
A.BISOFFI, L.ZACCARIAN, M.DA LIO, D.CARNEVALE
Trento, MAC, Rome
Revue Scientifique : Automatica, Vol.77, pp.344-352, Mars 2017 , N° 17019
In AC/DC converters, a peculiar periodic nonsmooth waveform arises, the so-called ripple. In this paper we propose a novel model that captures this nonsmoothness by means of a hybrid dynamical system performing state jumps at certain switching instants, and we illustrate its properties with reference to a three phase diode bridge rectifier. As the ripple corrupts an underlying desirable signal, we propound two observer schemes ensuring asymptotic estimation of the ripple, the first with and the second without knowledge of the switching instants. Our theoretical developments are well placed in the context of recent techniques for hybrid regulation and constitute a contribution especially for our second observer, where the switching instants are estimated. Once asymptotic estimation of the ripple is achieved, the ripple can be conveniently canceled from the desirable signal, and thanks to the inherent robustness properties of the proposed hybrid formulation, the two observer schemes require only that the desirable signal is slowly time varying compared to the ripple. Exploiting this fact, we illustrate the effectiveness of our second hybrid observation law on experimental data collected from the Joint European Torus tokamak.
G.VALMORBIDA, A.GARULLI, L.ZACCARIAN
L2S, DII Siene, MAC
Revue Scientifique : Automatica, Vol.76, pp.164-168, Février 2017 , N° 17020
Sufficient conditions are presented for regional stability and nonlinear L2mL2m gain analysis of linear systems subject to saturation, based on piecewise polynomial Lyapunov functions. The proposed conditions are formulated in terms of convex optimization problems and improve existing results both for the quadratic (L2L2 gain) and the polynomial (L2mL2m gain) cases.
C.TESSIER, F.VIALLET, A.MARY, B.TONDU, L.BAUDOUIN, P.DUCOURNAU, I.QUEINNEC, G.MOCHEL, C.VARENNE, N.DESSENS
ONERA, EFTS, LIRCES, Nice, GEPETTO, MAC, LISST, Toulouse, URFIST-UFTMIP, TRACES, UT2J
Rapport LAAS N°17018, Février 2017, 56p.
Les écoles doctorales du site toulousain ont demandé fin 2015 que l’École Des Docteurs pilote un groupe de travail permettant de développer une formation à « l’Éthique de la Recherche et à l’intégrité scientifique ». Un groupe de chercheurs et d’enseignants-chercheurs, identifiés grâce à un appel à participation diffusé dans les écoles doctorales toulousaines, a développé un « kit de formation » comprenant : un diaporama support de cours, des propositions de dilemmes éthiques formatés et ce guide pratique à destination des formateurs. Ces documents sont inspirés du Cahier « Proposition de formation doctorale ; Initiation à l’éthique de la recherche scientifique » de la CERNA (Commission de réflexion sur l’Éthique de la Recherche en sciences et technologies du Numérique d’Allistene), des propositions des différents acteurs du groupe de travail, issus de disciplines diverses et du retour d’expérience des 8 premières journées de formation données à des groupes de doctorants issus de différentes écoles doctorales . L’Université de Toulouse est la première en France où cette formation est dispensée de manière transversale à tous les doctorants. Les échanges interdisciplinaires (entre formateurs et entre étudiants) sont particulièrement fructueux pour la dynamique de formation, qui se doit d’être participative. Cette formation est donnée en binôme, chaque binôme comprenant un intervenant issu des disciplines science, technologie, santé, ingénierie et un intervenant issu des sciences humaines et sociale, droit économie, gestion. Pendant l’année universitaire 2015-2016, cette formation a été testée lors de 4 sessions. Elle a été reconduite à plus grande échelle pour l’année universitaire 2016-2017, avec des binômes « ancien formateur/nouveau formateur », permettant ainsi d’assurer la formation des formateurs tout en conservant la cruciale complémentarité disciplinaire. À ce jour sur le site toulousain, ce sont donc une douzaine d’intervenants chercheurs, enseignants-chercheurs, ingénieurs et personnels techniques de recherche et de formation qui ont formé plus de 130 doctorants de disciplines et horizons différents.
R.BALDACCI, S.U.NGUEVEU , R.WOLFER CALVO
Bologne, ROC, LIPN
Revue Scientifique : Transportation Science, 47p., Février 2017, doi http://dx.doi.org/10.1287/trsc.2016.0711 , N° 15589
This paper proposes an exact method for solving an optimization problem arising in several distribution networks where customers can be served directly, using vehicle routes from a central depot, or through transhipment facilities. The problem consists of optimizing the following inter-dependent decisions: selecting transhipment facilities, allocating customers to these facilities, and designing vehicle routes emanating from a central depot to minimize the total distribution cost. This problem is called the Vehicle Routing Problem with Transhipment Facilities (vrptf). The paper describes two integer-programming formulations for the vrptf, i.e., an edge-flow based formulation and a Set Partitioning (SP) based formulation. The LP-relaxation of the two formulations are further strengthened by the addition of different valid inequalities. We also describe two new route relaxations used by dual ascent heuristics to find near-optimal dual solutions of LP-relaxation of the SP model. The valid inequalities and the route relaxations are used in a branch-and-cut-and-price approach to solve the problem to optimality. The proposed method is tested on a large family of instances, including real-world examples. The computational results obtained indicate the effectiveness of the proposed method.
Y.EBIHARA, D.PEAUCELLE, D.ARZELIER
Revue Scientifique : IEEE Transactions on Automatic Control, Vol.62, N°2, pp.652-667, Février 2017, doi 10.1109/TAC.2016.2558287 , N° 14557
This paper is concerned with the analysis and synthesis of interconnected systems constructed from heterogeneous positive subsystems and a nonnegative interconnection matrix. We first show that admissibility, to be defined in this paper, is an essential requirement in constructing such interconnected systems. Then, we clarify that the interconnected system is admissible and stable if and only if a Metzler matrix, which is built from the coefficient matrices of positive subsystems and the nonnegative interconnection matrix, is Hurwitz stable. By means of this key result, we further provide several results that characterize the admissibility and stability of the interconnected system in terms of the Frobenius eigenvalue of the interconnection matrix and the weighted L1-induced norm of the positive subsystems again to be defined in this paper. Moreover, in the case where every subsystem is SISO, we provide explicit conditions under which the interconnected system has the property of persistence, i.e., its state converges to a unique strictly positive vector (that is known in advance up to a strictly positive constant multiplicative factor) for any nonnegative and nonzero initial state. As an important consequence of this property, we show that the output of the interconnected system converges to a scalar multiple of the right eigenvector of a nonnegative matrix associated with its Frobenius eigenvalue, where the nonnegative matrix is nothing but the interconnection matrix scaled by the steady-stage gains of the positive subsystems. This result is then naturally and effectively applied to formation control of multi-agent systems with positive dynamics. This result can be seen as a generalization of a well-known consensus algorithm that has been basically applied to interconnected systems constructed from integrators.
P.BETTIOL, B.BONNARD, A.NOLOT, J.ROUOT
LM, Brest, IMB, Bourgogne, MAC
Rapport LAAS N°17008, Janvier 2017, 23p.
In , based on the observation of copepods, Takagi proposed a model to analyze the swimming of microorganisms using sinusoidal paddling or sequential paddling followed by a recovery stroke in unison, and they are compared with the concept of efficiency. Our aim is to provide an interpretation in the frame of optimal control theory and sub-Riemannian geometry. The Maximum principle is used to select two types of periodic control candidates as minimizers: sinusoidal up to time repa-rameterization and the sequential paddling, interpreted as an abnormal stroke in sub-Riemannian geometry. Geometric analysis combined with numerical simulations are decisive tools to compute the optimal solutions, refining Takagi computations. A family of simple strokes with small amplitudes emanating from a center is characterized as an invariant of SR-geometry and allow to identify the metric used by the swimmer.
MAC, Tel Aviv
Rapport LAAS N°17011, Janvier 2017, 15p.
Time-dependent Lyapunov functionals appeared to be very efficient for sampled-data systems. In , new Lyapunov functionals were constructed for sampled-data control in the presence of a constant input delay. The construction of these functionals was based on Wirtinger's inequality leading to simplified and efficient stability conditions in terms of Linear Matrix Inequalities (LMIs). In the present paper we extend the latter results to the discrete-time sampled-data systems. We show that the proposed approach is less conservative on some examples with a lower number of decision variables.
E.HEBRARD, M.J.HUGUET, D.VEYSSEIRE, L.SAUVAN, B.CABON
ROC, Airbus Defence & Sp
Revue Scientifique : Constraints, Vol.22, N°1, pp.73-89, Janvier 2017 , N° 17009
The payload of communications satellites must go through a series of tests to assert their ability to survive in space. Each test involves some equipment of the payload to be active, which has an impact on the temperature of the payload. Sequencing these tests in a way that ensures the thermal stability of the payload and minimizes the overall duration of the test campaign is a very important objective for satellite manufacturers. The problem can be decomposed in two sub-problems corresponding to two objectives: First, the number of distinct configurations necessary to run the tests must be minimized. This can be modeled as packing the tests into configurations, and we introduce a set of implied constraints to improve the lower bound of the model. Second, tests must be sequenced so that the number of times an equipment unit has to be switched on or off is minimized. We model this aspect using the constraint Switch, where a buffer with limited capacity represents the currently active equipment units, and we introduce an improvement of the propagation algorithm for this constraint. We then introduce a search strategy in which we sequentially solve the sub-problems (packing and sequencing). Experiments conducted on real and random instances show the respective interest of our contributions.