Mingsong Lv

Hong Kong Polytechnic University, Northeastern University

Papers

Total Citations

H-Index

About

Mingsong Lv is a leading researcher in real-time systems and robotics, whose work is central to ensuring the safety and reliability of autonomous systems. His primary research areas include real-time scheduling, timing analysis, and the formal verification of robotic software frameworks. Lv’s major contributions focus on the Robot Operating System (ROS), the dominant platform for robotic development. His highly influential 2020 paper, "Response Time Analysis and Priority Assignment of Processing Chains on ROS2 Executors" (71 citations), provides the foundational formal models and analysis needed to guarantee that safety-critical robotic tasks meet their hard real-time constraints. He further advanced the field by tackling the challenge of multi-sensor fusion in his 2022 work on "Worst-Case Time Disparity Analysis of Message Synchronization in ROS" (21 citations). This research is critical for autonomous systems, as it formally analyzes and bounds the timing disparities between sensor data streams, ensuring that fused data accurately reflects the environment. Through these contributions, Lv has provided the theoretical tools necessary to build predictable and trustworthy autonomous systems, making him a key figure in bridging the gap between real-time systems theory and practical robotics.