Annuaire - LAAS-CNRS

Anthony Mallet

Anthony Mallet

Support team

IDEA : Information Technology: Development, operation, support

Contact details

Email :

Phone :

Links

Publications

Latest publications

2023

Journal articles

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

Journal articles

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

Conference papers

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

Conference papers

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⟩

Preprints, Working Papers, ...

Mohammed Foughali, Félix Ingrand, Anthony Mallet. GenoM3 Templates: from Middleware Independence to Formal Models Synthesis . 2017. ⟨hal-01457881v2⟩

2016

Conference papers

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⟩

LAAS-CNRS

7, av. du colonel Roche
BP 54200
31031 Toulouse cedex 4
France

Tél :

GPS

Lat : 43.564330
Long : 1.476839

+ The Lab + Research + Platforms + Training for and to research + Partnership + News