Accéder directement au contenu Accéder directement à la navigation

hal-02956402v1  Communication dans un congrès
Simon RohouAbderahmane BedouheneGilles ChabertAlexandre GoldsztejnLuc 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élesteFré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 RohouPeter FranekClément AubryLuc 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 DorfferAngélique DrémeauCé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 DorfferCédric HerzetAngé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 RohouLuc JaulinLyudmila MihaylovaFabrice Le BarsSandor 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. NguyenF. DambrevilleAbdelmalek ToumiJean-Christophe CexusAli 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 PasserieuxFrançois-Xavier SocheleauChristophe 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 SocheleauMilica StojanovicChristophe LaotJean-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-00912574v1  Communication dans un congrès
Papa Issa DialloJoël ChampeauLoï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 MenadPhilippe 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émeauCé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 NicolaLuc 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 DesrochersLuc JaulinSergey 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 JaulinSergey 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ézoLuc JaulinBenoit 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 WelteLuc JaulinMartine CeberioVladik 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 RamdaniLuc Jaulin. Interval Methods and Applications
Mathematics in Computer Science, 8 (3-4), 2015
hal-02924180v1  Chapitre d'ouvrage
Luc JaulinBenoî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ézoLuc JaulinBenoit 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