Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

39 résultats
Page :
triés par
Image document

Further investigation on “A multiplicative regularization for force reconstruction”

 Mathieu Aucejo , Olivier de Smet
Mechanical Systems and Signal Processing, 2018, 104, pp.487-493. ⟨10.1016/j.ymssp.2017.11.026⟩
Article dans une revue hal-02068504v1
Image document

Efficient representation for formal verification of PLC programs

 Vincent Gourcuff , Olivier de Smet , Jean-Marc Faure
8th International Workshop On Discrete Event Systems (WODES'06), Jul 2006, Ann Arbor, United States. pp. 182-187
Communication dans un congrès hal-00175431v1
Image document

Bayesian structural source identification using local generalized Gaussian priors

 Mathieu Aucejo , Olivier de Smet
Internoise 2013, Sep 2013, Innsbruck, Austria
Communication dans un congrès hal-02068563v1
Image document

Identification de sources vibratoires par approche bayésienne: apport des a priori locaux suivant une loi normale généralisée

 Mathieu Aucejo , Olivier de Smet
21ème Congrès Français de Mécanique, Aug 2013, Bordeaux, France
Communication dans un congrès hal-02305511v1
Image document

BAYESIAN FORMULATIONS FOR FORCE RECONSTRUCTION PROBLEMS

 Mathieu Aucejo , Olivier de Smet
2nd International Conference on Uncertainty Quantification in Computational Sciences and Engineering, UNCECOMP 2017, Jun 2017, Rhodes Island, Greece
Communication dans un congrès hal-02068535v1
Image document

A Sparse adaptive Bayesian filter for input estimation problems

 Julian Ghibaudo , Mathieu Aucejo , Olivier de Smet
Mechanical Systems and Signal Processing, 2022, ⟨10.1016/j.ymssp.2022.109416⟩
Article dans une revue hal-03700301v1
Image document

An optimal Bayesian regularization for force reconstruction problems

 Mathieu Aucejo , Olivier de Smet
Mechanical Systems and Signal Processing, 2019, 126, pp.98-115. ⟨10.1016/j.ymssp.2019.02.021⟩
Article dans une revue hal-02068524v1
Image document

Finding the bounds of response time of networked automation systems by iterative proofs

 Silvain Ruel , Olivier de Smet , Jean-Marc Faure
13th IFAC Symposium on Information Control Problems in Manufacturing (INCOM 2009), Jun 2009, Moscow, Russia. paper 63
Communication dans un congrès hal-00379372v1
Image document

Improving large-sized PLC programs verification using abstractions

 Vincent Gourcuff , Olivier de Smet , Jean-Marc Faure
17th IFAC World Congress, Seoul (Korea), Jul 2008, South Korea. pp.10.3182/20080706-5-KR-1001.1584
Communication dans un congrès hal-00359168v1
Image document

Performances of a family of new Kalman filters for input estimations

 Julian Ghibaudo , Mathieu Aucejo , Olivier de Smet
ISMA 2022, Sep 2022, Leuven, Belgium
Communication dans un congrès hal-03778380v1
Image document

Verification of a timed multitask system with UPPAAL

 Houda Bel Mokadem , Béatrice Berard , Vincent Gourcuff , Jean-Marc Roussel , Olivier de Smet
10th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'05), Sep 2005, Catania, Italy. pp.CF-000606
Communication dans un congrès hal-00175467v1
Image document

On a full Bayesian inference for force reconstruction problems

 Mathieu Aucejo , Olivier de Smet
Mechanical Systems and Signal Processing, 2018, 104, pp.36-59. ⟨10.1016/j.ymssp.2017.10.023⟩
Article dans une revue hal-02068508v1
Image document

Bayesian source identification using local priors

 Mathieu Aucejo , Olivier de Smet
Mechanical Systems and Signal Processing, 2016, 66-67, pp.120-136. ⟨10.1016/j.ymssp.2015.05.004⟩
Article dans une revue hal-02068262v1
Image document

A Stationary Iterated Multiplicative Regularization for Force Reconstruction Problems

 Mathieu Aucejo , Olivier de Smet
6th Noise and Vibration Emerging Methods Conference, NOVEM 2018, May 2018, Ibiza, Spain
Communication dans un congrès hal-02068532v1
Image document

On a space-time regularization for force reconstruction problems

 Mathieu Aucejo , Olivier de Smet , Jean-François Deü
Mechanical Systems and Signal Processing, 2019, 118, pp.549-567. ⟨10.1016/j.ymssp.2018.09.002⟩
Article dans une revue hal-02068528v1
Image document

Identification de sources mécaniques par régularisation multiplicative

 Mathieu Aucejo , Olivier de Smet
22ème Congrès Français de Mécanique, Aug 2015, Lyon, France
Communication dans un congrès hal-02068558v1
Image document

Building effective formal models to prove time properties of networked automation systems

 Silvain Ruel , Olivier de Smet , Jean-Marc Faure
9th International Workshop On Discrete Event Systems, WODES'08, May 2008, Goteborg, Sweden. pp. 334-339
Communication dans un congrès hal-00359053v1
Image document

Détermination de l'équivalence comportementale d'algorithmes de contrôle - commande

 Vincent Gourcuff , Olivier de Smet , Jean-Marc Faure
Conference Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'06), Mar 2006, paris, France. pp. 111-125
Communication dans un congrès hal-00175464v1
Image document

An iterated multiplicative regularization for force reconstruction problems

 Mathieu Aucejo , Olivier de Smet
Journal of Sound and Vibration, 2018, 437, pp.16-28. ⟨10.1016/j.jsv.2018.09.020⟩
Article dans une revue hal-02068522v1
Image document

Performances of a family of new sequential Bayesian filters for input estimation

 Julian Ghibaudo , Mathieu Aucejo , Olivier de Smet
Mechanical Systems and Signal Processing, 2023, 204, pp.110794. ⟨10.1016/j.ymssp.2023.110794⟩
Article dans une revue hal-04221352v1
Image document

Vibration prediction of rotating composite fan blades comprising viscoelastic damping treatments

 Lucie Rouleau , Olivier de Smet , Jean-François Deü
Journal of Sound and Vibration, 2022, 536, pp.117135. ⟨10.1016/j.jsv.2022.117135⟩
Article dans une revue hal-04016963v1
Image document

A multiplicative regularization for force reconstruction

 Mathieu Aucejo , Olivier de Smet
Mechanical Systems and Signal Processing, 2017, 85, pp.730-745. ⟨10.1016/j.ymssp.2016.09.011⟩
Article dans une revue hal-02068499v1
Image document

Efficient representation for formal verification of time performances of networked automation architectures

 Silvain Ruel , Olivier de Smet , Jean-Marc Faure
17th IFAC World Congress, Jul 2008, Séoul, South Korea. pp. 5119-5124
Communication dans un congrès hal-00359064v1
Image document

Identification de sources vibratoires par régularisation multiplicative espace-fréquence

 Mathieu Aucejo , Olivier de Smet
13ème Congrès Français d’Acoustique joint avec le 20ème colloque Vibrations, Shocks and Noise, CFA/VISHNO 2016, Apr 2016, Le Mans, France
Communication dans un congrès hal-02068554v1

Structural vibration damping of composite fan blades using passive piezoelectric shunts

 Jean-François Deü , Boris Lossouarn , Olivier Thierry , Olivier de Smet
29th International Conference on Adaptive Structures and Technologies, ICAST 2018, Sep 2018, Seoul, South Korea
Communication dans un congrès hal-03179614v1
Image document

A novel algorithm for solving multiplicative mixed-norm regularization problems

 Mathieu Aucejo , Olivier de Smet
Mechanical Systems and Signal Processing, 2020, 140, pp.106887. ⟨10.1016/j.ymssp.2020.106887⟩
Article dans une revue hal-02551104v1
Image document

Une nouvelle méthode d'identification de force basée sur une vision bayésienne unifiée du filtrage de type Kalman

 Julian Ghibaudo , Mathieu Aucejo , Olivier de Smet
Congrès Français de Mécanique 2022, Aug 2022, Nantes, France
Communication dans un congrès hal-03768674v1
Image document

On a general Iteratively Reweighted algorithm for solving force reconstruction problems

 Mathieu Aucejo , Olivier de Smet
Journal of Sound and Vibration, 2019, 458, pp.376-388. ⟨10.1016/j.jsv.2019.06.041⟩
Article dans une revue hal-02179323v1
Image document

On a space-frequency regularization for source reconstruction

 Mathieu Aucejo , Olivier de Smet
13th International Conference on Motion and Vibration Control and of the 12th International Conference on Recent Advances in Structural Dynamics, MOVIC RASD 2016, Jul 2016, Southampton, United Kingdom. pp.012191, ⟨10.1088/1742-6596/744/1/012191⟩
Communication dans un congrès hal-02068543v1
Image document

Verification of a timed multitask system with UPPAAL

 Houda Bel Mokadem , Béatrice Berard , Vincent Gourcuff , Olivier de Smet , Jean-Marc Roussel
IEEE Transactions on Automation Science and Engineering, 2010, 7 (4), pp.921 - 932. ⟨10.1109/TASE.2010.2050199⟩
Article dans une revue hal-00527736v1
Page :