Alain Girault

Institut national de recherche en sciences et technologies du numérique

Papers

Total Citations

H-Index

About

Alain Girault is a leading researcher in robotics and embedded systems, with a particular focus on bipedal locomotion and real-time control. His early work laid the foundation for dynamic walking in humanoid robots, notably through sensor modeling for walking robot simulation—a contribution that remains cited today. Girault’s key research areas include motion generation for biped robots, formal methods for safety-critical systems, and the design of reliable embedded architectures. Among his most influential contributions is a method for generating walk transient trajectories for biped robots, which enables fast, on-line computation of smooth transitions between cyclic gaits using motion capture data. This work directly addresses the challenge of controlling anthropomorphic robots in real-world environments. While his citation counts reflect the specialized nature of his field, his research has been instrumental in advancing practical bipedal locomotion. Girault has also made notable contributions to the verification of distributed real-time systems, bridging robotics and formal methods. His interdisciplinary approach continues to inspire students and researchers working at the intersection of control theory, robotics, and embedded system design.