Papers
2
Total Citations
17
H-Index
2
About
Anjian Li is a robotics researcher whose work bridges formal safety verification and bio-inspired design for multi-domain robotic systems. His primary research areas include Hamilton-Jacobi (HJ) reachability analysis for safety-critical control and the development of amphibious robots capable of seamless operation across water, land, and air. Li’s most cited paper introduces a guaranteed-safe approximate reachability method using state dependency-based decomposition, significantly reducing the computational burden of backward reachable tube (BRT) computation—a core tool for ensuring robots avoid unsafe states under worst-case disturbances. This work, with 12 citations, addresses a key bottleneck in deploying formal verification in real-time robotic systems. In a complementary vein, his 2022 paper presents a bio-inspired amphibious robot platform, drawing from swan anatomy to integrate wheel-paddle and wing-body-rotor designs, enabling swimming, ground locomotion, and flight. With 5 citations, this work showcases Li’s versatility in translating biological principles into practical engineering solutions. Together, his contributions advance both the theoretical foundations of safe autonomy and the physical realization of cross-domain robots, making him a notable figure in the intersection of control theory and robotic design.
Research Focus
Key Achievements
Top Papers
- 1
- 2