Ghiles Ziat

Institut Superieur de l'Aeronautique et de l'Espace (ISAE-SUPAERO)

Papers

Total Citations

H-Index

About

Ghiles Ziat is a researcher whose work sits at the intersection of formal verification, robotics, and control theory, with a particular focus on ensuring the safety and reliability of multi-agent systems. His most notable contribution is a novel constraint-based verification method for formation control, which combines abstract interpretation with constraint satisfaction problems to guarantee collision-free motion planning for robot formations. This work, published in 2021, addresses a critical safety property in autonomous systems and has already garnered attention in the verification community. Ziat’s approach stands out for its ability to formally assess complex control algorithms without requiring exhaustive state-space exploration, making it both practical and theoretically rigorous. While his citation count is still growing—reflecting the early stage of his career—his research has been recognized for its potential to bridge the gap between formal methods and real-world robotic applications. Ziat’s work is particularly relevant for researchers in cyber-physical systems, autonomous navigation, and safety-critical software, offering a scalable framework for verifying the correctness of distributed control strategies.