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

hal-03188788v1  Communication dans un congrès
Luc JaulinBenoît Desrochers. Enclosing the Sliding Surfaces of a Controlled Swing
6th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT, SNR 2020, Aug 2020, Online, Austria. pp.43-55, ⟨10.4204/EPTCS.331.4⟩
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-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-02924428v1  Chapitre d'ouvrage
Didier DuboisLuc JaulinHenri Prade. Thick sets, multiple-valued mappings, and possibility theory
Vladik Kreinovich. Statistical and Fuzzy Approaches to Data Processing, with Applications to Econometrics and Other Areas, 892, Springer, pp.101-109, 2020, Studies in Computational Intelligence, 978-3-030-45618-4. ⟨10.1007/978-3-030-45619-1_8⟩
hal-03188864v1  Communication dans un congrès
Hiba HnainiLuka Le RouxJoël ChampeauCiprian Teodorov. Security property modeling
7th International Conference on Information Systems Security and Privacy, ICISSP 2021, Feb 2021, Vienne - Virtual Online, Austria. pp.694-701, ⟨10.5220/0010388206940701⟩
hal-03215663v1  Communication dans un congrès
Mohammed Islam NaasFrançois TrahayAlexis ColinPierre OlivierStéphane Rubini et al.  EZIOTracer: unifying kernel and user space I/O tracing for data-intensive applications
CHEOPS 2021: Workshop on Challenges and Opportunities of Efficient and Performant Storage Systems, Apr 2021, Edinburgh (online), United Kingdom. pp.4:1-4:11, ⟨10.1145/3439839.3458731⟩
hal-02125051v1  Article dans une revue
Christophe VielUlysse VautierJian WanLuc Jaulin. Platooning Control for Heterogeneous Sailboats Based on Constant Time Headway
IEEE Transactions on Intelligent Transportation Systems, IEEE, 2020, 21 (5), pp.2078-2089. ⟨10.1109/TITS.2019.2912389⟩
hal-02053162v1  Article dans une revue
Emmanuelle LeroyJean-Yves RoyerJulien BonnelFlore Samaran. Long-Term and Seasonal Changes of Large Whale Call Frequency in the Southern Indian Ocean
Journal of Geophysical Research. Oceans, Wiley-Blackwell, 2018, 123 (11), pp.8568-8580. ⟨10.1029/2018JC014352⟩
tel-03151588v2  Thèse
Auguste Bourgois. Safe & collaborative autonomous underwater docking
Robotics [cs.RO]. École Nationale Supérieure de Techniques Avancées Bretagne, 2021. English
tel-03174429v1  Thèse
Thomas Le Mézo. Bracketing largest invariant sets of dynamical systems : an application to drifting underwater robots in ocean currents
Robotics [cs.RO]. ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne, 2019. English. ⟨NNT : 2019ENTA0012⟩
hal-03173802v1  Communication dans un congrès
Auguste BourgoisLuc Jaulin. Interval centred form for proving stability of non-linear discrete-time system
6th International Workshop on Symbolic-Numeric Methods for Reasoning (SNR 2020), Aug 2020, Vienne (virtual), Austria. pp.1-17
hal-03173788v1  Communication dans un congrès
Joris TilletLuc JaulinFabrice Le Bars. Non-linear control under state constraints with validated trajectories for a mobile robot towing a trailer
IROS 2020- International Conference on Intelligent Robots and Systems, Oct 2020, Las Vegas ( Online ), United States. pp.7729-7736, ⟨10.1109/IROS45743.2020.9341712⟩
hal-03151936v1  Article dans une revue
Mahmoud AlmasriAli MansourChristophe MoyAmmar AssoumDenis Le Jeune et al.  Distributed Competitive Decision Making Using Multi-Armed Bandit Algorithms
Wireless Personal Communications, Springer Verlag, 2021, 118 (2), pp.1165-1188. ⟨10.1007/s11277-020-08064-w⟩
hal-01595789v1  Communication dans un congrès
Cyrielle FeronVianney LapotreLoïc Lagadec. PAnTHErS: A Prototyping and Analysis Tool for Homomorphic Encryption Schemes
SECRYPT: 14th International Conference on Security and Cryptography, Jul 2017, Madrid, Spain