• 
  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⟩
• 
  Christian Artigues, Pierre Lopez, Oliver Polo Mejía. Structural and Experimental Comparisons of Formulations for a Multi-Skill Project Scheduling Problem with Partial Preemption. 17th International Conference on Project Management and Scheduling (PMS 2020), Apr 2021, Toulouse, France. ⟨hal-03009960⟩
• 
  Léa Blaise, Christian Artigues, Thierry Benoist. Solution Repair by Inequality Network Propagation in LocalSolver. 17th International Workshop on Project Management and Scheduling, Apr 2021, Toulouse, France. ⟨hal-03010344⟩
• 
  Quentin Fabry, Alessandro Agnetis, Lotte Berghman, Cyril Briand. On the complexity of the crossdock truck-scheduling problem. PMS, Apr 2021, Toulouse, France. ⟨hal-03010169⟩
• 
  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⟩
• 
  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⟩
• 
  Matteo Della Rossa, Rafal Goebel, Aneel Tanwani, Luca Zaccarian. Piecewise structure of Lyapunov functions and densely checked decrease conditions for hybrid systems. Mathematics of Control, Signals, and Systems, Springer Verlag, In press. ⟨hal-03034335⟩
• 
  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, 122, pp.09228. ⟨10.1016/j.automatica.2020.109228⟩. ⟨hal-03026824⟩

6 004