Ru Yang

Tongji University, Shanghai Normal University

Papers

Total Citations

H-Index

About

Ru Yang is a researcher whose work lies at the intersection of formal modeling, human-computer interaction, and robotics. Her primary research areas include Petri net theory, system modeling and analysis, and the design of interactive control systems. Yang’s major contributions center on developing rigorous, formal methods to model and verify the behavior of complex interactive systems. She proposed the Interactive-Control-Model based on Petri nets to prevent procedural errors in human-computer interactive systems, a foundational work that has garnered 21 citations. She further advanced the field by modeling and analyzing three key properties of mobile interactive systems using Variable Petri Nets, a study cited 13 times for its comprehensive approach to describing system mobility and interaction. Additionally, Yang introduced a method for learning Petri net models from limited robot attempts, supplementing incomplete information to improve robot control and analysis. Her work is notable for bridging theoretical modeling with practical robotics applications, offering systematic strategies for ensuring reliability in autonomous and semiautonomous systems. With a growing citation impact, Ru Yang is establishing herself as a key contributor to the formal verification and modeling of next-generation interactive and mobile systems.