Shengjie Xu
Papers
1
Total Citations
7
H-Index
1
About
Shengjie Xu is a researcher at the forefront of autonomous systems and formal verification, specializing in the rigorous analysis of safety-critical controllers under real-world uncertainties. His work addresses a fundamental challenge in autonomous systems: ensuring reliable operation despite unpredictable timing variations. In his highly cited 2024 paper, "Statistical verification of autonomous system controllers under timing uncertainties," Xu introduces novel statistical methods to verify that autonomous controllers meet safety specifications even when execution times are uncertain. This contribution is vital for deploying autonomous vehicles, drones, and robotics where timing jitter can lead to catastrophic failures. With over 7 citations in a short period, his research is already influencing the verification community. Xu’s approach uniquely combines probabilistic model checking with runtime monitoring, offering a practical framework for engineers to certify system reliability. His work bridges the gap between theoretical verification and real-world deployment, making him a rising voice in dependable autonomous systems. For students and researchers, Xu’s research demonstrates how statistical techniques can tame the complexity of timing uncertainties, paving the way for safer next-generation autonomous technologies.
Research Focus
Key Achievements
Top Papers
- 1