Search

Your search keyword '"Université libre de Bruxelles (ULB)"' showing total 4 results
Start Over Author "Université libre de Bruxelles (ULB)" Language nauru
4 results on '"Université libre de Bruxelles (ULB)"'

1. Robust virtual dynamic strain sensors from acceleration measurements

Author

Tondreau, Gilles, Deraemaeker, Arnaud, Jaigu, Anne, Le Cam, Vincent and Mevel, Laurent and Schoefs, Franck, Université libre de Bruxelles (ULB), IFFSTTAR, Inria, Université de Nantes, Le Cam, Vincent and Mevel, Laurent and Schoefs, and Franck

Subjects
Signal processing, Stress & strain, [STAT.TH] Statistics [stat]/Statistics Theory [stat.TH], Essais non destructifs, [PHYS.MECA]Physics [physics]/Mechanics [physics], [STAT.TH]Statistics [stat]/Statistics Theory [stat.TH], [SPI.MECA]Engineering Sciences [physics]/Mechanics [physics.med-ph], [SPI.MECA] Engineering Sciences [physics]/Mechanics [physics.med-ph], [MATH.MATH-ST]Mathematics [math]/Statistics [math.ST], Ponts, tunnels, ouvrages d'art, Physics::Accelerator Physics, Sensor systems and networks, [PHYS.MECA] Physics [physics]/Mechanics [physics], [MATH.MATH-ST] Mathematics [math]/Statistics [math.ST]
Abstract

International audience; The possibility to deduce dynamic strains from acceleration measurements is investigated in this paper. The classic technique applied on beam-like structures which consists in using vertical accelerations to estimate longitudinal strains with a second order central finite difference is compared with two methods based on horizontal accelerations. Time domain responses of accelerometers and strain sensors installed on a simply supported beam are simulated, and the trains deduced from accelerations are compared with the real strains. The possibility of locating damage with the mode shape obtained with estimated strains is also addressed.

Published
2014

2. Observation of tropospheric δD by IASI over western Siberia: comparison with a general circulation model

Author

Matthieu Pommier, Daniel Hurtmans, Pierre-François Coheur, Camille Risi, Cathy Clerbaux, Vyacheslav I. Zakharov, François-Marie Bréon, Jean-Lionel Lacour, Jean Jouzel, K. G. Gribanov, Laboratoire des Sciences du Climat et de l'Environnement [Gif-sur-Yvette] (LSCE), Institut national des sciences de l'Univers (INSU - CNRS)-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université de Versailles Saint-Quentin-en-Yvelines (UVSQ), Spectroscopie de l'atmosphère, Service de Chimie Quantique et Photophysique, Université libre de Bruxelles (ULB), Laboratoire de Météorologie Dynamique (UMR 8539) (LMD), Département des Géosciences - ENS Paris, École normale supérieure - Paris (ENS Paris), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-École normale supérieure - Paris (ENS Paris), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Centre National de la Recherche Scientifique (CNRS)-École des Ponts ParisTech (ENPC)-École polytechnique (X)-Institut national des sciences de l'Univers (INSU - CNRS)-Université Pierre et Marie Curie - Paris 6 (UPMC), Modélisation INVerse pour les mesures atmosphériques et SATellitaires (SATINV), Institut national des sciences de l'Univers (INSU - CNRS)-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université de Versailles Saint-Quentin-en-Yvelines (UVSQ)-Institut national des sciences de l'Univers (INSU - CNRS)-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université de Versailles Saint-Quentin-en-Yvelines (UVSQ), TROPO - LATMOS, Laboratoire Atmosphères, Milieux, Observations Spatiales (LATMOS), Université de Versailles Saint-Quentin-en-Yvelines (UVSQ)-Université Pierre et Marie Curie - Paris 6 (UPMC)-Institut national des sciences de l'Univers (INSU - CNRS)-Centre National de la Recherche Scientifique (CNRS)-Université de Versailles Saint-Quentin-en-Yvelines (UVSQ)-Université Pierre et Marie Curie - Paris 6 (UPMC)-Institut national des sciences de l'Univers (INSU - CNRS)-Centre National de la Recherche Scientifique (CNRS), Climate and Environmental Physics Laboratory [Russia], Ural Federal University [Ekaterinburg] (UrFU), Glaces et Continents, Climats et Isotopes Stables (GLACCIOS), Université de Versailles Saint-Quentin-en-Yvelines (UVSQ)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Institut national des sciences de l'Univers (INSU - CNRS)-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS), Université Pierre et Marie Curie - Paris 6 (UPMC)-Institut national des sciences de l'Univers (INSU - CNRS)-École polytechnique (X)-École des Ponts ParisTech (ENPC)-Centre National de la Recherche Scientifique (CNRS)-Département des Géosciences - ENS Paris, École normale supérieure - Paris (ENS-PSL), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-École normale supérieure - Paris (ENS-PSL), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL), and Université de Versailles Saint-Quentin-en-Yvelines (UVSQ)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Institut national des sciences de l'Univers (INSU - CNRS)-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Université de Versailles Saint-Quentin-en-Yvelines (UVSQ)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Institut national des sciences de l'Univers (INSU - CNRS)-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)

Subjects
Atmospheric Science, 010504 meteorology & atmospheric sciences, Télédétection, 0207 environmental engineering, 02 engineering and technology, Infrared atmospheric sounding interferometer, Atmospheric sciences, 01 natural sciences, Troposphere, Physico-chimie générale, Altitude, medicine, lcsh:TA170-171, 020701 environmental engineering, Western siberia, 0105 earth and related environmental sciences, [PHYS.PHYS.PHYS-AO-PH]Physics [physics]/Physics [physics]/Atmospheric and Oceanic Physics [physics.ao-ph], lcsh:TA715-787, lcsh:Earthwork. Foundations, Humidity, Seasonality, medicine.disease, lcsh:Environmental engineering, 13. Climate action, General Circulation Model, Environmental science, Satellite
Abstract

This study presents the joint H216O and HDO retrieval from Infrared Atmospheric Sounding Interferometer (IASI) spectra over western Siberia. IASI is an instrument on board the MetOp-A European satellite. The global coverage of the instrument and the good signal-to-noise ratio allow us to provide information on δD over this remote region. We show that IASI measurements may be used to estimate integrated δD between the surface and 3 km altitude or from 1 to 5 km depending on the thermal contrast, with observational errors lower than 4% and 7%, respectively. The retrieved data are compared to simulations from an isotopic general circulation model, LMDZ-iso for 2011. The satellite measurements and the model agree well and they reproduce well the seasonal and day-to-day variations for δD, presenting a good correlation (r up to 0.8 with the smoothed data in summer). The IASI-based retrievals also show the seasonal variation of the specific humidity in both altitude ranges.

Published
2014

3. Global State Estimates for Distributed Systems

Author

Thierry Massart, Tristan Le Gall, Hervé Marchand, Gabriel Kalyon, Université libre de Bruxelles (ULB), Laboratoire d'Intégration des Systèmes et des Technologies (LIST), Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA), Verification models and techniques applied to testing and control of reactive systems (VERTECS), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Roberto Bruni, Juergen Dingel, TC 6, WG 6.1, and Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA))

Subjects
0209 industrial biotechnology, Finite-state machine, Theoretical computer science, Reachability problem, FIFO (computing and electronics), Computer science, Informatique générale, Subroutine, Distributed computing, Computation, 0102 computer and information sciences, 02 engineering and technology, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], Abstract interpretation, 01 natural sciences, Undecidable problem, 020901 industrial engineering & automation, 010201 computation theory & mathematics, State (computer science), Algorithm
Abstract

International audience; We consider distributed systems modeled as communicating finite state machines with reliable unbounded FIFO channels. As an essential sub-routine for control, monitoring and diagnosis applications, we provide an algorithm that computes, during the execution of the system, an estimate of the current global state of the distributed system for each local subsystem. This algorithm does not change the behavior of the system; each subsystem only computes and records a symbolic representation of the state estimates, and piggybacks some extra information to the messages sent to the other subsystems in order to refine their estimates. Our algorithm relies on the computation of reachable states. Since the reachability problem is undecidable in our model, we use abstract interpretation techniques to obtain regular overapproximations of the possible FIFO channel contents, and hence of the possible current global states. An implementation of this algorithm provides an empirical evaluation of our method.

Published
2011

4. Decentralized Control of Infinite Systems

Author

Thierry Massart, Tristan Le Gall, Gabriel Kalyon, Hervé Marchand, Université libre de Bruxelles (ULB), Verification models and techniques applied to testing and control of reactive systems (VERTECS), Inria Rennes – Bretagne Atlantique, and Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)

Subjects
0209 industrial biotechnology, Mathematical optimization, Computer science, business.industry, Informatique générale, Computation, Structure (category theory), 020207 software engineering, Usability, 02 engineering and technology, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], Abstract interpretation, Decentralised system, Set (abstract data type), 020901 industrial engineering & automation, Control and Systems Engineering, Control theory, Modeling and Simulation, 0202 electrical engineering, electronic engineering, information engineering, State (computer science), Electrical and Electronic Engineering, business
Abstract

International audience; We propose algorithms for the synthesis of decentralized state-feedback controllers with partial observation of infinite state systems, which are modeled by Symbolic Transition Systems. We first consider the computation of safe controllers ensuring the avoidance of a set of forbidden states and then extend this result to the deadlock free case. The termination of the algorithms solving these problems is ensured by the use of abstract interpretation techniques, but at the price of overapproximations, in particular, in the computation of the states which must be avoided. We then extend our algorithms to the case where the system to be controlled is given by a collection of subsystems (modules). This structure is exploited to locally compute a controller for each module. Our tool SMACS gives an empirical evaluation of our methods by showing their feasibility, usability and efficiency.

Published
2011

Catalog

Books, media, physical & digital resources
See catalog results