Yannick Chevalier
Papers
1
Total Citations
18
H-Index
1
About
Yannick Chevalier is a leading researcher in cyber-physical systems (CPS) and mobile robotics, with a focus on the seamless integration of computation, networking, and physical processes. His most-cited work, "Design and verification of a mobile robot based on the integrated model of cyber-Physical systems" (2020, 18 citations), exemplifies his core contribution: developing formal methods to model, design, and verify autonomous robotic systems that safely interact with dynamic environments. Chevalier’s research bridges theoretical verification and practical implementation, advancing the reliability of CPS in applications from autonomous navigation to industrial automation. His work has been recognized for its impact on the formal verification community, where his integrated modeling approaches have influenced subsequent studies on system safety and performance. With a growing citation record, Chevalier continues to shape how engineers and researchers approach the design of trustworthy, intelligent robots. His achievements underscore a commitment to making complex cyber-physical systems both verifiable and deployable, a critical step toward the future of autonomous technology.
Research Focus
Key Achievements
Top Papers
- 1