Search - CEA - Commissariat à l’énergie atomique et aux énergies alternatives Access content directly

Filter your results

34 Results
Structure: Internal structure identifier : 234188

Acceleration of the abstract fixpoint computation in numerical program analysis

Olivier Bouissou , Yassamine Seladji , Alexandre Chapoutot
Journal of Symbolic Computation, 2012, 47 (12), pp.1413-1560. ⟨10.1016/j.jsc.2011.12.050⟩
Journal articles hal-00766769v1
Image document

Computing Flowpipe of Nonlinear Hybrid Systems with Numerical Methods

Olivier Bouissou , Alexandre Chapoutot , Samuel Mimram
Reports hal-00831438v1
Image document

Exploration of reinforcement learning algorithms for autonomous vehicle visual perception and control

Florence Carton
Machine Learning [cs.LG]. Institut Polytechnique de Paris, 2021. English. ⟨NNT : 2021IPPAE007⟩
Theses tel-03273748v1
Image document

Set-membership computation of integrals with uncertain endpoints

Olivier Mullier , Julien Alexandre Dit Sandretto
NUMTA 2019, Jun 2019, Le Castella village, Italy
Conference papers hal-02372387v1
Image document

Domain invariant Q-learning for model-free robust continuous control under visual distractions

Tom Dupuis , Jaonary Rabarisoa , Quoc-Cuong Pham , David Filliat
NeurIPS 2022 - Deep Reinforcement Learning Workshop, Dec 2022, Virtual, United States
Conference papers hal-04135292v1
Image document

Bioglider: an integrated glider solution for enhancing environmental knowledge

Yves Ponçon , Laurent Mortier , Marc Picheral , Peer Fitzek , Dan Hayes , et al.
OCEANS 2023 Gulf Coast conference, IEEE Oceanic engineering society, Sep 2023, Biloxi, MS, United States
Conference papers hal-04177859v1
Image document

Set-based Simulation for Design and Verification of Simulink Models

Olivier Bouissou , Samuel Mimram , Baptiste Strazzulla , Alexandre Chapoutot
Embedded Real Time Software and Systems (ERTS2), Feb 2014, Toulouse, France
Conference papers hal-01290286v1

Double and Kubi RObots in Education: Can Telepresence Contribute to Student Engagement and Social Inclusion for Occasional Distance Learning?

Afyouni Alia , Ocnarescu Ioana , Orefice Pierre-Henri , Hei Xiaoxuan , Anastassova Margarita , et al.
15th annual International Conference on Education and New Learning Technologies (EduLearn23), Jul 2023, Palma de Mallorca, Spain
Conference papers hal-04133902v1
Image document

A ROS-based kinematic calibration tool for serial robots: the unburdeing of a crucial task

Caroline Pascal , Olivier Doaré , Alexandre Chapoutot
Preprints, Working Papers, ... hal-04165802v1
Image document

Co-manipulation with Multiple Probabilistic Virtual Guides

Gennaro Raiola , Xavier Lamy , Freek Stulp
IROS 2015 - International Conference on Intelligent Robots and Systems , Sep 2015, Hamburg, Germany. pp.7 - 13 ⟨10.1109/IROS.2015.7353107⟩
Conference papers hal-01170974v1
Image document

Parallel Guiding Virtual Fixtures: Control and Stability

Gennaro Raiola , Pedro Rodriguez-Ayerbe , Xavier Lamy , Sami Tliba , Freek Stulp
ISIC 2015 - IEEE International Symposium on Intelligent Control, Sep 2015, Sydney, Australia. pp.53 - 58 ⟨10.1109/ISIC.2015.7307279⟩
Conference papers hal-01250101v1

HySon: Set-based simulation of hybrid systems

Olivier Bouissou , Alexandre Chapoutot , Samuel Mimram
23rd IEEE International Symposium on Rapid System Prototyping, Oct 2012, Tempere, Finland. pp.79-85, ⟨10.1109/RSP.2012.6380694⟩
Conference papers hal-00819377v1
Image document

Task and motion planning methods: applications and limitations

Kai Zhang , Eric Lucet , Julien Alexandre Dit Sandretto , Selma Kchir , David Filliat
ICINCO 2022 - 19th International Conference on Informatics in Control, Automation and Robotics, Jul 2022, Lisbonne, Portugal. pp.476-483, ⟨10.5220/0011314000003271⟩
Conference papers hal-03744923v1
Image document

Using Semantic Information to Improve Generalization of Reinforcement Learning Policies for Autonomous Driving

Florence Carton , David Filliat , Jaonary Rabarisoa , Quoc Cuong Pham
IEEE/CVF Winter Conference on Applications of Computer Vision (WACV) Workshops, Jan 2021, Hawaii (on line), United States
Conference papers hal-03110285v1
Image document

Analysis of preemption costs for the stack cache

Amine Naji , Sahar Abbaspour , Florian Brandner , Mathieu Jan
Real-Time Systems, 2018, ⟨10.1007/s11241-018-9298-7⟩
Journal articles cea-01773654v1
Image document

Experimental Validation of a Multirobot Distributed Receding Horizon Motion Planning Approach

José M Mendes Filho , Eric Lucet , David Filliat
ICARCV 2018 - 15th International Conference on Control, Automation, Robotics and Vision, Nov 2018, Singapour, Singapore
Conference papers hal-01935322v1
Image document

Co-manipulation with a Library of Virtual Guiding Fixtures

Gennaro Raiola , Susana Sanchez Restrepo , Pauline Chevalier , Pedro Rodriguez-Ayerbe , Xavier Lamy , et al.
Autonomous Robots, 2017, pp.1-15. ⟨10.1007/s10514-017-9680-7⟩
Journal articles hal-02158827v3
Image document

Online Distributed Motion Planning for Mobile Multi-robot Systems

José Mendes Filho
Automatic Control Engineering. Institut Polytechnique de Paris, 2019. English. ⟨NNT : 2019IPPAE007⟩
Theses tel-02503778v1

An operational semantics for Simulink's simulation engine

Olivier Bouissou , Alexandre Chapoutot
13th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, Tools and Theory for Embedded Systems, Jun 2012, Pekin, China. pp.129-138, ⟨10.1145/2248418.2248437⟩
Conference papers hal-00819373v1

Efficient Context Switching for the Stack Cache

Sahar Abbaspour , Florian Brandner , Amine Naji , Mathieu Jan
Proceedings of the 23rd International Conference on Real Time and Networks Systems, Julien Forget (Université de Lille, France), Nov 2015, Lille, France. pp.10, ⟨10.1145/2834848.2834861⟩
Conference papers hal-01246348v1
Image document

Iterative Virtual Guides Programming for Human-Robot Comanipulation

Susana Sanchez Restrepo , Gennaro Raiola , Pauline Chevalier , Xavier Lamy , Daniel Sidobre
2017 IEEE International Conference on Advanced Intelligent Mechatronics (AIM), Jul 2017, Munich, Germany. 9p., ⟨10.1109/AIM.2017.8014021⟩
Conference papers hal-01763775v1
Image document

Construction of parametric barrier functions for dynamical systems using interval analysis

Adel Djaballah , Alexandre Chapoutot , Michel Kieffer , Olivier Bouissou
Automatica, 2017, 78, pp.287 - 296. ⟨10.1016/j.automatica.2016.12.013⟩
Journal articles hal-01164307v2
Image document

Evaluating Robustness over High Level Driving Instruction for Autonomous Driving

Florence Carton , David Filliat , Jaonary Rabarisoa , Quoc Cuong Pham
IV 2021 - 32nd IEEE Intelligent Vehicles Symposium, Jul 2021, Nagoya, Japan
Conference papers hal-03377799v1
Image document

Tactile Modality during Socio-Emotional Interactions : from Humans to Robots

Pierre-Henri Orefice
Robotics [cs.RO]. Université Paris Saclay (COmUE), 2018. English. ⟨NNT : 2018SACLY017⟩
Theses tel-01937862v1

UVP6: a new low power, low cost and deep ocean rated imaging sensor for automatic quantification of particles and plankton from autonomous platforms

Marc Picheral , Emna Abidi , François Berry , Jerome Coindat , Denis Brousseau , et al.
Ocean Sciences Meeting, 2020, San Diego, United States
Conference papers hal-04026430v1
Image document

Real-Time Distributed Receding Horizon Motion Planning and Control for Mobile Multi-Robot Dynamic Systems

José M Mendes Filho , Eric Lucet , David Filliat
ICRA 2017 - IEEE International Conference on Robotics and Automation , May 2017, Singapore, Singapore. ⟨10.1109/ICRA.2017.7989081⟩
Conference papers hal-01530977v1

Design of an emotion elicitation tool using VR for human-avatar interaction studies

P.-H. Orefice , M. Ammi , M. Hafez , A. Tapus
IVA 2017: International Conference on Intelligent Virtual Agents, Aug 2017, Stockholm, Sweden. pp.335-338, ⟨10.1007/978-3-319-67401-8_42⟩
Conference papers cea-01813717v1
Image document

VIBR: Learning View-Invariant Value Functions For Robust Visual Control

Tom Dupuis , Jaonary Rabarisoa , Quoc-Cuong Pham , David Filliat
CoLLAs 2023 - Conference on Lifelong Learning Agents, Aug 2023, Montreal, Canada
Conference papers hal-04202697v1

Enclosing Temporal Evolution of Dynamical Systems Using Numerical Methods

Olivier Bouissou , Alexandre Chapoutot , Adel Djoudi
5th NASA Formal Methods Symposium, 7871, Springer Verlag, pp.108, 2013, LNCS, ⟨10.1007/978-3-642-38088-4_8⟩
Book sections istex hal-00819730v1
Image document

Co-manipulation with a library of virtual guides

Gennaro Raiola
Robotics [cs.RO]. Université Paris Saclay (COmUE), 2017. English. ⟨NNT : 2017SACLY001⟩
Theses tel-01573500v1