Papers
8
Total Citations
69
H-Index
5
About
Rongjie Yan is a computer scientist whose research sits at the intersection of formal methods, autonomous robotics, and safety-critical systems verification. His work has made significant contributions to the challenge of ensuring that complex robotic software is provably correct, dependable, and safe — concerns that grow ever more pressing as robots take on high-stakes roles in domains ranging from planetary exploration to domestic assistance and surgery. Yan is perhaps best known for his "correct-by-construction" framework for robot controllers, a body of work that has accumulated over 50 citations and spans multiple iterations from 2011 through 2015. These papers address how heterogeneous robotic software components can be formally verified to meet safety requirements, even in unpredictable human environments. His 2014 work on component-based verification using incremental design and invariants (18 citations) further advanced scalable formal verification techniques for distributed systems. He has also contributed to Cyber-Physical Systems modeling using Spatio-Temporal Petri Nets and explored distributed priority synthesis for safe multi-component interaction. His most recent work extends his verification expertise into simulation-based testing for autonomous surgical robotics, demonstrating a sustained commitment to safety assurance across an evolving landscape of autonomous systems applications.
Research Focus
Key Achievements
Top Papers
- 1
- 2Component-based verification using incremental design and invariants18 citations · 2014
- 3
- 4
- 5
- 6
- 7Distributed Priority Synthesis and its Applications2 citations · 2011
- 8