Accéder directement au contenu Accéder directement à la navigation
  1. Recherche


...
hal-02956402v1  Communication dans un congrès
Simon Rohou, Abderahmane Bedouhene, Gilles Chabert, Alexandre Goldsztejn, Luc Jaulin et al.  Towards a Generic Interval Solver for Differential-Algebraic CSP
International Conference on Principles and Practice of Constraint Programming (CP), Simonis, Helmut, Sep 2020, Louvain-la-Neuve, Belgium. pp.548-565, ⟨10.1007/978-3-030-58475-7_32⟩
hal-01158161v1  Chapitre d'ouvrage
Francis Céleste, Frédéric Dambreville. Optimal Path Planning for Information based Localization
Advanced Computational Methods for Knowledge Engineering, 282, Springer, pp.377-388, 2014, Advanced Computational Methods for Knowledge Engineering, 978-3-319-06568-7. ⟨10.1007/978-3-319-06569-4_28⟩
...
hal-01904112v1  Article dans une revue
Simon Rohou, Peter Franek, Clément Aubry, Luc Jaulin. Proving the existence of loops in robot trajectories
The International Journal of Robotics Research, SAGE Publications, 2018, 37 (12), pp.1500-1516. ⟨10.1177/0278364918808367⟩
...
hal-01937501v1  Communication dans un congrès
Clément Dorffer, Angélique Drémeau, Cédric Herzet. Efficient atom selection strategy for iterative sparse approximations
iTWIST 2018 - International Traveling Workshop on Interactions between low-complexity data models and Sensing Techniques, Nov 2018, Marseille, France. pp.1-3
...
hal-02059649v1  Communication dans un congrès
Clément Dorffer, Cédric Herzet, Angélique Drémeau. Region-based relaxations to accelerate greedy approaches
27th European Signal Processing Conference, EUSIPCO 2019, Sep 2019, La Corogne, Spain
...
hal-00800702v1  Communication dans un congrès
Christophe Osswald. Controling the number of focal elements
Belief 2012, May 2012, Compiègne, France. pp.135-143, ⟨10.1007/978-3-642-29461-7⟩
...
hal-01516228v1  Article dans une revue
Simon Rohou, Luc Jaulin, Lyudmila Mihaylova, Fabrice Le Bars, Sandor Veres. Guaranteed computation of robot trajectories
Robotics and Autonomous Systems, Elsevier, 2017, 93, pp.76 - 84. ⟨10.1016/j.robot.2017.03.020⟩
hal-01131976v1  Communication dans un congrès
D. M. Nguyen, F. Dambreville, Abdelmalek Toumi, Jean-Christophe Cexus, Ali Khenchaf. A Column Generation Approach for Coordination and Control of Multiple UAVs
6th International Conference on Modeling, Simulation and Optimization of Complex Processes - HPSCH 2015, Mar 2015, Hanoi, Vietnam
hal-00802089v1  Article dans une revue
Jean-Michel Passerieux, François-Xavier Socheleau, Christophe Laot. Achievable Rates over Doubly Selective Rician-Fading Channels under Peak-Power Constraint
IEEE Transactions on Wireless Communications, Institute of Electrical and Electronics Engineers, 2013, 12 (2), pp.586-594. ⟨10.1109/TWC.2012.122212.111812⟩
...
hal-00697033v1  Communication dans un congrès
François-Xavier Socheleau, Milica Stojanovic, Christophe Laot, Jean-Michel Passerieux. Achievable Rates of Underwater Acoustic OFDM Systems over Highly Dispersive Channels
European Conference on Underwater Acoustics, Jul 2012, Edinburgh, United Kingdom. pp.1-8
...
hal-01867913v1  Rapport
Cyrielle Feron. PAnTHErS: User Guide
[Technical Report] ENSTA Bretagne; Lab-STICC. 2018
...
hal-01778187v1  Article dans une revue
Simon Rohou, Luc Jaulin, Lyudmila Mihaylova, Fabrice Le Bars, Sandor Veres. Reliable non-linear state estimation involving time uncertainties
Automatica, Elsevier, 2018, 93, pp.379-388. ⟨10.1016/j.automatica.2018.03.074⟩
...
hal-01574711v1  Article dans une revue
Thomas Le Mézo, Luc Jaulin, Benoit Zerr. Bracketing the solutions of an ordinary differential equation with uncertain initial conditions
Applied Mathematics and Computation, Elsevier, 2018, 318 (1), pp.70-79. ⟨10.1016/j.amc.2017.07.036⟩
hal-00912574v1  Communication dans un congrès
Papa Issa Diallo, Joël Champeau, Loïc Lagadec. A Model-Driven Approach to Enhance Tool Interoperability using the Theory of Models of Computation
SLE 2013 - 6th International Conference on Software Language Engineering, Oct 2013, United States
hal-00912857v1  Communication dans un congrès
Nadia Menad, Philippe Dhaussy. A Transformation Approach for Multiform Time Requirements
SEFM'13, Sep 2013, Madrid, Spain. pp.16-30
hal-01702246v1  Communication dans un congrès
Angélique Drémeau, Cédric Herzet. DOA estimation in structured phase-noisy environments
42nd IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2017), Mar 2017, La Nouvelle Orléans, LA, United States. pp.3176-3180, ⟨10.1109/ICASSP.2017.7952742⟩
hal-02520046v1  Chapitre d'ouvrage
Jérémy Nicola, Luc Jaulin. Guaranteed Nonlinear Parameter Estimation with Additive Gaussian Noise
Olga Kosheleva; Sergey P. Shary; Gang Xiang; Roman Zapatrin. Beyond Traditional Probabilistic Data Processing Techniques: Interval, Fuzzy etc. Methods and Their Applications, 835, Springer, pp.341-357, 2020, Studies in Computational Intelligence, 978-3-030-31041-7 (Ebook); 978-3-030-31040-0 (Hardcover). ⟨10.1007/978-3-030-31041-7_19⟩
...
hal-01832904v1  Communication dans un congrès
Benoît Desrochers, Luc Jaulin, Sergey Kumkov. Localization with data association
MSCMQ'2018 (Mathematics, Statistics and Computation to Support Measurement Quality 2018), D.I.Mendeleyev Institute for Metrology (Russia); COOMET May 2018, Saint Petersbourg, Russia
hal-01935907v1  Communication dans un congrès
Luc Jaulin, Sergey Kumkov. Comparison of interval analysis methods and standard statistical ones in a problem of estimating experimental data with uncertainties
MSCMQ'2018 (Mathematics, Statistics and Computation to Support Measurement Quality 2018), D.I.Mendeleyev Institute for Metrology (Russia); COOMET, May 2018, Saint Petersbourg, Russia
...
hal-01399126v1  Communication dans un congrès
Thomas Le Mézo, Luc Jaulin, Benoit Zerr. An interval approach to solve an initial value problem
NUMERICAL COMPUTATIONS: THEORY AND ALGORITHMS (NUMTA–2016), Jun 2016, Pizzo Calabro, Italy. ⟨10.1063/1.4965365⟩
...
hal-01698372v1  Article dans une revue
Anthony Welte, Luc Jaulin, Martine Ceberio, Vladik Kreinovich. Computability of the Avoidance Set and of the Set-Valued Identification Problem
Journal of Uncertain Systems, World Academic Press, 2017, 11, pp.129 - 136
...
hal-01236498v1  Communication dans un congrès
Luc Jaulin. Separator Algebra for State Estimation
SMART 2015, Université de Manchester, Sep 2015, Manchester, United Kingdom
hal-01171487v1  Ouvrage (y compris édition critique et traduction)
Nacim Ramdani, Luc Jaulin. Interval Methods and Applications
Mathematics in Computer Science, 8 (3-4), 2015
hal-02924180v1  Chapitre d'ouvrage
Luc Jaulin, Benoît Desrochers. Thick Separators
Martine Ceberio; Vladik Kreinovich. Decision Making under Constraints, 276, Springer, pp.125-131, 2020, Studies in Systems, Decision and Control, 978-3-030-40813-8. ⟨10.1007/978-3-030-40814-5_15⟩
...
hal-01497267v1  Article dans une revue
Thomas Le Mézo, Luc Jaulin, Benoit Zerr. An Interval Approach to Compute Invariant Sets
IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2017, 62 (8), pp.4236 - 4242. ⟨10.1109/TAC.2017.2685241⟩
...
tel-02865800v1  Thèse
Thomas Le Mézo. Bracketing largest invariant sets of dynamical systems: an application to drifting underwater robots in ocean currents
Dynamical Systems [math.DS]. ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne, 2019. English
...
tel-03010085v1  Thèse
Simon Rohou. Reliable robot localization: a constraint programming approach over dynamical systems
Robotics [cs.RO]. Lab-STICC; UBO Brest; ENSTA Bretagne; University of Sheffield, 2017. English