Recherche - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu

Filtrer vos résultats

70 résultats
Page :
triés par

Hybrid systems with constraints

 Jamal Daafouz , Sophie Tarbouriech , Mario Sigalotti
Wiley-ISTE, pp.263, 2013, 978-1-84821-527-6. ⟨10.1002/9781118639856⟩
Ouvrages hal-00831446v1
Image document

Pythagoras' theorem for areas

 Jean-Baptiste Hiriart-Urruty , Jean Pierre Quadrat , Jean Bernard Lasserre
The American Mathematical Monthly, 2001, 108 (6), pp.549-551
Article dans une revue hal-04118478v1
Image document

Comparison of Numerical Methods in the Contrast Imaging Problem in NMR

 Bernard Bonnard , Mathieu Claeys , Olivier Cots , Pierre Martinon
52nd IEEE Conference on Decision and Control, Dec 2013, Firenze, Italy
Communication dans un congrès hal-00800436v1
Image document

Exact algorithms for semidefinite programs with degenerate feasible set

 Didier Henrion , Simone Naldi , Mohab Safey El Din
ISSAC 2018 - 43rd International Symposium on Symbolic and Algebraic Computation, Jul 2018, New York City, United States. 17p., ⟨10.1145/3208976.3209022⟩
Communication dans un congrès hal-01705590v2
Image document

Arithmetic algorithms for extended precision using floating-point expansions

 Mioara Joldes , Olivier Marty , Jean-Michel Muller , Valentina Popescu
IEEE Transactions on Computers, 2016, 65 (4), pp.1197 - 1210. ⟨10.1109/TC.2015.2441714⟩
Article dans une revue hal-01111551v2
Image document

Fast and Accurate Computation of Orbital Collision Probability for Short-Term Encounters

 Romain Serra , Denis Arzelier , Mioara Joldes , Jean-Bernard Lasserre , Aude Rondepierre , et al.
Journal of Guidance, Control, and Dynamics, 2016, 39 (5), pp.1009-1021. ⟨10.2514/1.G001353⟩
Article dans une revue hal-01132149v1
Image document

Fuel-optimal impulsive fixed-time trajectories in the linearized circular restricted 3-body-problem

 Romain Serra , Denis Arzelier , Florent Bréhard , Mioara Joldes
IAC 2018 - 69th International Astronautical Congress; IAF Astrodynamics Symposium, International Astronautical Federation, Oct 2018, Bremen, Germany. pp.1-9
Communication dans un congrès hal-01830253v1
Image document

Two approaches for the stabilization of nonlinear KdV equation with boundary time-delay feedback

 Lucie Baudouin , Emmanuelle Crépeau , Julie Valein
IEEE Transactions on Automatic Control, 2019, 64 (4), pp.1403-1414. ⟨10.1109/TAC.2018.2849564⟩
Article dans une revue hal-01643321v1

Low-Complexity Controllers for Time-Delay Systems

 Alexandre Seuret , Hitay Ozbay , Catherine Bonnet , Hugues Mounier
Springer, 2, 238p., 2014, Advances in Delays and Dynamics, 978-3-319-05575-6. ⟨10.1007/978-3-319-05576-3⟩
Ouvrages hal-01997786v1
Image document

Design of Saturating State-Feedback with Sign-Indefinite Quadratic Forms

 Isabelle Queinnec , Sophie Tarbouriech , Giorgio Valmorbida , Luca Zaccarian
IEEE Transactions on Automatic Control, 2022, 67 (7), pp.3507 - 3520. ⟨10.1109/TAC.2021.3106878⟩
Article dans une revue hal-03353776v1
Image document

Rapport de Prospective du Conseil Scientifique de l’Institut des Sciences de l’Information et leurs Interactions (INS2I)

 Christian Barillot , Inbar Fijalkow , Isabelle Queinnec , Fabrice Theoleyre , Hélène Touzet , et al.
[0] CNRS. 2018, pp.1-87
Rapport hal-01956087v1

A New Method to Compute the Probability of Collision for Short-term Space Encounters

 Romain Serra , Denis Arzelier , Mioara Joldes , Jean-Bernard Lasserre , Aude Rondepierre , et al.
AIAA/AAS Astrodynamics Specialist Conference, Aug 2014, San Diego, United States. 6p., ⟨10.2514/6.2014-4366⟩
Communication dans un congrès hal-01092420v1
Image document

Derandomization and absolute reconstruction for sums of powers of linear forms

 Pascal Koiran , Mateusz Skomra
Theoretical Computer Science, 2021, 887, pp.63-84. ⟨10.1016/j.tcs.2021.07.005⟩
Article dans une revue hal-03457373v1
Image document

A certificate-based approach to formally verified approximations

 Florent Bréhard , Assia Mahboubi , Damien Pous
ITP 2019 - Tenth International Conference on Interactive Theorem Proving, Sep 2019, Portland, United States. pp.1-19, ⟨10.4230/LIPIcs.ITP.2019.8⟩
Communication dans un congrès hal-02088529v2
Image document

Convexly independent subsets of Minkowski sums of convex polygons

 Mateusz Skomra , Stéphan Thomassé
Discrete Mathematics, 2021, 344 (8), pp.112472. ⟨10.1016/j.disc.2021.112472⟩
Article dans une revue hal-03457272v1
Image document

Stability analysis of sampled-data systems using Sum of Squares

 Alexandre Seuret , Matthew M. Peet
IEEE Transactions on Automatic Control, 2013, 58 (6), pp.1620-1625. ⟨10.1109/TAC.2012.2232378⟩
Article dans une revue hal-00753538v1
Image document

Carleman-Based Reconstruction Algorithm on a wave Network

 Lucie Baudouin , Maya de Buhan , Emmanuelle Crépeau , Julie Valein
2023
Pré-publication, Document de travail hal-04361363v1
Image document

Strong duality in Lasserre's hierarchy for polynomial optimization

 Cédric Josz , Didier Henrion
Optimization Letters, 2016, 10 (1), pp.3-10. ⟨10.1007/s11590-015-0868-5⟩
Article dans une revue hal-00997726v2
Image document

On Moment Problems with Holonomic Functions

 Florent Bréhard , Mioara Joldes , Jean-Bernard Lasserre
44th International Symposium on Symbolic and Algebraic Computation (ISSAC 2019), Jul 2019, Pékin, China. pp.66-73
Communication dans un congrès hal-02006645v1
Image document

CAMPARY: Cuda Multiple Precision Arithmetic Library and Applications

 Mioara Joldes , Jean-Michel Muller , Valentina Popescu , Warwick Tucker
5th International Congress on Mathematical Software (ICMS), Jul 2016, Berlin, Germany
Communication dans un congrès hal-01312858v1
Image document

Analytic perturbation of generalized inverses

 Konstantin Avrachenkov , Jean-Bernard Lasserre
Linear Algebra and its Applications, 2013, 438 (4), pp.1793-1813. ⟨10.1016/j.laa.2011.10.037⟩
Article dans une revue hal-00926609v1
Image document

Approximate Optimal Designs for Multivariate Polynomial Regression

 Yohann de Castro , Fabrice Gamboa , Didier Henrion , Roxana Hess , Jean-Bernard Lasserre
Annals of Statistics, 2019, 47 (1), pp.127-155. ⟨10.1214/18-AOS1683⟩
Article dans une revue hal-01483490v2
Image document

Dynamical systems coupled with monotone set-valued operators: Formalisms, applications, well-posedness, and stability

 Bernard Brogliato , Aneel Tanwani
SIAM Review, 2020, 62 (1), pp.3-129. ⟨10.1137/18M1234795⟩
Article dans une revue hal-02379498v1
Image document

Moment Matrices, Border Bases and Real Radical Computation

 Jean-Bernard Lasserre , Monique Laurent , Bernard Mourrain , Philipp Rostalski , Philippe Trébuchet
Journal of Symbolic Computation, 2013, 51, pp.63-85. ⟨10.1016/j.jsc.2012.03.007⟩
Article dans une revue hal-00651759v1

A New Lower Bound on the Hilbert Number for Quartic Systems

 Florent Bréhard , Nicolas Brisebarre , Mioara Joldes , Warwick Tucker
2019
Pré-publication, Document de travail hal-02085895v1
Image document

Global Carleman estimates for waves and applications.

 Lucie Baudouin , Maya de Buhan , Sylvain Ervedoza
Communications in Partial Differential Equations, 2013, 38 (5), pp. 823-859
Article dans une revue hal-00633562v2
Image document

Observer Design for Unilaterally Constrained Lagrangian Systems: A Passivity-Based Approach

 Aneel Tanwani , Bernard Brogliato , Christophe Prieur
IEEE Transactions on Automatic Control, 2016, 61 (9), pp.2386-2401. ⟨10.1109/TAC.2015.2492098⟩
Article dans une revue hal-01113344v3
Image document

Real-time control systems: feedback, scheduling and robustness

 Daniel Simon , Alexandre Seuret , Olivier Sename
International Journal of Systems Science, 2017, 48 (11), pp.2368-2378. ⟨10.1080/00207721.2017.1316879⟩
Article dans une revue lirmm-01515226v1
Image document

An adaptive pseudo-inverse method for the fault-tolerant output allocation in linear observers with redundant sensors

 Andrea Cristofaro , Luca Zaccarian
IEEE 55th Conference on Decision and Control (CDC 2016), Dec 2016, Las Vegas, United States. 6p., ⟨10.1109/CDC.2016.7799098⟩
Communication dans un congrès hal-01851154v1
Image document

Well-Posedness and Output Regulation for Implicit Time-Varying Evolution Variational Inequalities

 Aneel Tanwani , Bernard Brogliato , Christophe Prieur
SIAM Journal on Control and Optimization, 2018, 56 (2), pp.751-781. ⟨10.1137/16M1083657⟩
Article dans une revue hal-01360325v2
Page :