Filtrer vos résultats
- 115
- 91
- 2
- 107
- 80
- 10
- 9
- 1
- 1
- 156
- 87
- 36
- 2
- 1
- 1
- 1
- 1
- 38
- 2
- 16
- 14
- 12
- 15
- 21
- 10
- 8
- 13
- 15
- 5
- 12
- 11
- 5
- 14
- 5
- 10
- 10
- 3
- 7
- 199
- 9
- 135
- 47
- 45
- 19
- 9
- 8
- 6
- 5
- 4
- 4
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 208
- 23
- 17
- 15
- 13
- 12
- 8
- 8
- 8
- 8
- 8
- 7
- 7
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
Novel Techniques for a Verified Simulation of Fractional-Order Differential EquationsFractal and Fractional, 2021, 5 (1), pp.17. ⟨10.3390/fractalfract5010017⟩
Article dans une revue
hal-03153733v1
|
||
|
Design and control of a low-cost autonomous profiling floatMechanics & Industry, 2020, 21 (5), pp.512. ⟨10.1051/meca/2020037⟩
Article dans une revue
hal-02915254v1
|
||
|
Towards a Generic Interval Solver for Differential-Algebraic CSPCP 2020 - 26th International Conference on Principles and Practice of Constraint Programming, Simonis, Helmut, Sep 2020, Louvain-la-Neuve, Belgium. pp.548-565, ⟨10.1007/978-3-030-58475-7_32⟩
Communication dans un congrès
hal-02956402v1
|
||
Reliable Robot Localization: A Constraint-programming Approach over Dynamical SystemsISTE Ltd and John Wiley & Sons Inc, 2019, 978-1-84821-970-0. ⟨10.1002/9781119680970⟩
Ouvrages
hal-02435019v1
|
|||
|
An Online Interval-Based Inertial Navigation System for Control Purposes of Autonomous BoatsFrontiers in Control Engineering, 2022, ⟨10.3389/fcteg.2021.786188⟩
Article dans une revue
hal-03597657v1
|
||
High level strategy for revisiting objects with low cost AUVsOCEANS 2019 - Marseille, Jun 2019, Marseille, France. pp.1-5, ⟨10.1109/OCEANSE.2019.8867470⟩
Communication dans un congrès
hal-03213663v1
|
|||
|
Platooning Control for Heterogeneous Sailboats Based on Constant Time HeadwayIEEE Transactions on Intelligent Transportation Systems, 2020, 21 (5), pp.2078-2089. ⟨10.1109/TITS.2019.2912389⟩
Article dans une revue
hal-02125051v1
|
||
An experimental validation of a robust controller with the VAIMOS autonomous sailboatWRSC/IRSC 2012, Sep 2012, United Kingdom
Communication dans un congrès
hal-00746061v1
|
|||
|
Using interval methods in the context of robust localization of underwater robotsNAFIPS'11, Mar 2011, El Paso, Texas, United States
Communication dans un congrès
hal-00583049v1
|
||
|
Computing the Pessimism of Inclusion FunctionsReliable Computing, 2007, 13 (6), pp.489-504
Article dans une revue
hal-00481319v1
|
||
|
Identification of underwater man-made object using a colour criterionConference on Detection and Classification of Underwater Targets, Sep 2007, Edinburgh (Scotland), United Kingdom
Communication dans un congrès
hal-00504885v1
|
||
Modélisation et commande d`un bateau àvoileCIFA2004 (Conférence Internationale Francophone d`Automatique), address = Douz, Tunisie, year = 2004, pdf = 1, nat = 1,, 2004, France. pp.Non renseigne
Communication dans un congrès
hal-00518824v1
|
|||
|
Analyse par intervalles pour le lancé de rayon et pour l'analyse de stabilitéJD-JN-MACS 2009 (Journées Doctorales/Journées Nationales MACS), Mar 2009, Angers, France
Communication dans un congrès
hal-00564384v1
|
||
GESMI, un logiciel por l`aide à localisation de mines sous-marinesJournées Identification et Modélisation Expérimentale, address = Poitiers, France, year = 2006, month = 16-17 November, pdf = 1, nat = 1,, 2006, France. pp.Non renseigne
Communication dans un congrès
hal-00518686v1
|
|||
Représentation d`état pour la modélisation et la commande des systèmesNon renseigne, pp.Non renseigne, 2006
Ouvrages
hal-00518703v1
|
|||
Using interval arithmetic to prove that a set is path-connectedTheoretical Computer Science, 2004, pp.Non renseigne
Article dans une revue
hal-00518770v1
|
|||
Robust set membership state estimation ; Application to Underwater RoboticsAutomatica, 2009, 45 (1), pp.202-206
Article dans une revue
hal-00449524v1
|
|||
|
Verifying Provable Stability Domains for Discrete-Time Systems Using Ellipsoidal State EnclosuresActa Cybernetica, 2022, ⟨10.14232/actacyb.293871⟩
Article dans une revue
hal-03670858v1
|
||
|
An interval approach for stability analysis: Application to sailboat roboticsIEEE Transactions on Robotics, 2012, 29 (1), pp.282-287. ⟨10.1109/TRO.2012.2217794⟩
Article dans une revue
hal-00738788v1
|
||
|
Robust TDOA passive location using interval analysis and contractor programmingRadar Conference - Surveillance for a Safer World, 2009. RADAR. International, Oct 2009, France. pp.1 - 6
Communication dans un congrès
hal-00911254v1
|
||
Towing with sailboat robotsWRSC/IRSC 2014, NUI Galway, Sep 2014, Galway, Ireland
Communication dans un congrès
hal-01122035v1
|
|||
|
Probabilistic set-membership state estimatorMathematical Engineering, Springer-Verlag, Vol 3 p. 117-128, 2011, ⟨10.1007/978-3-642-15956-5⟩
Chapitre d'ouvrage
hal-00676041v1
|
||
Automatique pour la robotiqueISTE éditions. 2014, Automatique pour la Robotique, Jean-Paul Bourrières, 978-1-78405-064-1
Ouvrages
hal-01137925v1
|
|||
Outer Approximation of Attractors Using an Interval Quantization∗Reliable Computing, 2014, 19, pp.261-273
Article dans une revue
hal-00989626v1
|
|||
|
Interval Inspired Approach Based on Temporal Sequence Constraints to Place RecognitionJournal of Intelligent and Robotic Systems, 2021, 102 (1), ⟨10.1007/s10846-021-01375-5⟩
Article dans une revue
hal-03212418v2
|
||
|
Interval Extended Kalman Filter - Application to Underwater Localization and ControlAlgorithms, 2021, 14 (5), pp.142. ⟨10.3390/a14050142⟩
Article dans une revue
hal-03242604v1
|
||
|
Localization with data associationMSCMQ'2018 (Mathematics, Statistics and Computation to Support Measurement Quality 2018), D.I.Mendeleyev Institute for Metrology (Russia); COOMET May 2018, Saint Petersbourg, Russia
Communication dans un congrès
hal-01832904v1
|
||
Robust set-membership parameter estimation of the glucose minimal modelInternational Journal of Adaptative Control and Signal Processing, 2016, 30 (2), pp.173-185. ⟨10.1002/acs.2538⟩
Article dans une revue
istex
hal-01277580v1
|
|||
Comparison of Kalman and Interval Approaches for the Simultaneous Localization and Mapping of an Underwater VehicleLuc Jaulin. Marine Robotics and Applications, Springer, pp.117-136, 2018, 978-3-319-70723-5. ⟨10.1007/978-3-319-70724-2_8⟩
Chapitre d'ouvrage
hal-01707402v1
|
|||
|
A COMPUTATIONALLY INEXPENSIVE ALGORITHM FOR DETERMINING OUTER AND INNER ENCLOSURES OF NONLINEAR MAPPINGS OF ELLIPSOIDAL DOMAINSInternational Journal of Applied Mathematics and Computer Science, 2021, 31 (3), pp.399-415. ⟨10.34768/amcs-2021-0027⟩
Article dans une revue
hal-03344078v1
|