2023
Articles dans une revue
Silvano Dal Zilio, Pierre-Emmanuel Hladik, Félix Ingrand, Anthony Mallet. A formal toolchain for offline and run-time verification of robotic systems. Robotics and Autonomous Systems, 2023, 159, pp.104301. ⟨10.1016/j.robot.2022.104301⟩. ⟨hal-03683044v2⟩
2019
Articles dans une revue
Marco Tognon, Hermes A Tello Chávez, Enrico Gasparin, Quentin Sablé, Davide Bicego, et al.. A Truly Redundant Aerial Manipulator System with Application to Push-and-Slide Inspection in Industrial Plants. IEEE Robotics and Automation Letters, 2019, 4 (2), pp.1846 - 1851. ⟨10.1109/LRA.2019.2895880⟩. ⟨hal-01910343v2⟩
2018
Communications dans un congrès
Mohammed Foughali, Bernard Berthomieu, Silvano Dal Zilio, Pierre-Emmanuel Hladik, Félix Ingrand, et al.. Formal Verification of Complex Robotic Systems on Resource-Constrained Platforms. FormaliSE: 6th International Conference on Formal Methods in Software Engineering, Jun 2018, Gothenburg, Sweden. ⟨hal-01778960⟩
2017
Communications dans un congrès
Antonio Franchi, Anthony Mallet. Adaptive Closed-loop Speed Control of BLDC Motors with Applications to Multi-rotor Aerial Vehicles. IEEE International Conference on Robotics and Automation, May 2017, Singapour, Singapore. ⟨hal-01476812⟩
Pré-publications, documents de travail
Mohammed Foughali, Félix Ingrand, Anthony Mallet. GenoM3 Templates: from Middleware Independence to Formal Models Synthesis . 2017. ⟨hal-01457881v2⟩
2016
Communications dans un congrès
Mohammed Foughali, Bernard Berthomieu, Silvano Dal Zilio, Félix Ingrand, Anthony Mallet. Model Checking Real-Time Properties on the Functional Layer of Autonomous Robots. 18th International Conference on Formal Engineering Methods (ICFEM 2016), Nov 2016, Tokyo, Japan. ⟨hal-01346080⟩
