• 
  Florent Galtier, Romain Cayre, Guillaume Auriol, Mohamed Kaâniche, Vincent Nicomette. A PSD-based fingerprinting approach to detect IoT device spoofing. 25th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2020), Dec 2021, Perth, Australia. ⟨hal-02962655⟩
• 
  Mederic Fourmy, Thomas Flayols, Nicolas Mansard, Joan Solà. Contact forces pre-integration for the whole body estimation of legged robots. 2021 IEEE International Conference on Robotics and Automation - ICRA, May 2021, Xi'an, China. ⟨hal-02991717⟩
• 
  Carolina Albea-Sanchez. Hybrid dynamical control based on consensus algorithm for current sharing in DC-bus microgrids. Nonlinear Analysis: Hybrid Systems, Elsevier, 2021, 39, ⟨10.1016/j.nahs.2020.100972⟩. ⟨hal-02189246⟩
• 
  Matteo Della Rossa, Mirko Pasquini, David Angeli. Path-Complete Lyapunov Functions for Continuous-Time Switching Systems. 59th Conference on Decision and Control (CDC) 2020, Dec 2020, Jeju Island (virtual conference), South Korea. ⟨hal-02971179⟩
• 
  Éric Lubat, Silvano Dal Zilio, Didier Le Botlan, Yannick Pencolé, Audine Subias. A New Product Construction for the Diagnosability of Patterns in Time Petri Net. 59th Conference on Decision and Control (CDC) 2020, Dec 2020, Jeju Island (virtual conference), South Korea. ⟨hal-02989834⟩
• 
  Michelle F.F. Castro, Alexandre Seuret, Valter J.S. Leite, Luis F.P. Silva. Robust local stabilization of discrete time-varying delayed state systems under saturating actuators. Automatica, Elsevier, 2020, 122, pp.109266. ⟨10.1016/j.automatica.2020.109266⟩. ⟨hal-02995778⟩
• 
  Yohei Hosoe, Dimitri Peaucelle, Tomomichi Hagiwara. Linearization of Expectation-Based Inequality Conditions in Control for Discrete-Time Linear Systems Represented with Random Polytopes. Automatica, Elsevier, 2020, ⟨10.1016/j.automatica.2020.109228⟩. ⟨hal-03026824⟩
• 
  Mohammed Foughali, Pierre-Emmanuel Hladik. Bridging the Gap between Formal Verification and Schedulability Analysis: The Case of Robotics. Journal of Systems Architecture, Elsevier, 2020, 111, pp.101817. ⟨10.1016/j.sysarc.2020.101817⟩. ⟨hal-02864928v2⟩
• 
  Elizabeth Hemsley, Ibrahim Ardi, Simon Lacroix, Hervé Carfantan, Antoine Monmayrant. Optimized coded aperture for frugal hyperspectral image recovery using a dual-disperser system. Journal of the Optical Society of America. A, Optics and image science, Optical Society of America, In press, 37 (12), pp.1916-1926. ⟨10.1364/JOSAA.403594⟩. ⟨hal-02993037⟩
• 
  Karl Ridier, Alin-Ciprian Bas, Yuteng Zhang, Lucie Routaboul, Lionel Salmon, et al.. Unprecedented switching endurance affords for high-resolution surface temperature mapping using a spin-crossover film. Nature Communications, Nature Publishing Group, 2020, 11 (1), pp.3611. ⟨10.1038/s41467-020-17362-7⟩. ⟨hal-02948898⟩
• 
  Melya Boukheddimi, Rohan Budhiraja, Philippe Souères, Bruno Watier. Anthropomorphic Gait Generation using Differential Dynamic Programming with a Reduced Number of Cost Criteria. The 8th IEEE RAS/EMBS International Conference on Biomedical Robotics & Biomechatronics, Nov 2020, New York, United States. ⟨10.1109/BioRob49111.2020.9224427⟩. ⟨hal-02615813⟩
• 
  Pierre-Emmanuel Hladik, Félix Ingrand, Silvano Dal Zilio, Reyyan Tekin, Silvano Dal. Hippo: A Formal-Model Execution Engine to Control and Verify Critical Real-Time Systems. 2020. ⟨hal-03017661v2⟩

5 971