Jianqiang Ding
Doctoral Researcher
Doctoral Researcher
T410 Dept. Electrical Engineering and Automation
Full researcher profile
https://research.aalto.fi/...
Sähköposti
jianqiang.ding@aalto.fi
Puhelinnumero
+358503130272
Tutkimusryhmät
- Nonlinear Systems and Control, Doctoral Researcher
Julkaisut
PyBDR: Design and usage of a toolkit for set-boundary based reachability analysis
Taoran Wu, Jianqiang Ding, Zhen Liang, Shankar A. Deka, Bai Xue
2026
Science of Computer Programming
Backstepping Reach-avoid Controller Synthesis for Multi-input Multi-output Systems with Mixed Relative Degrees
Jianqiang Ding, Dingran Tintin Yuan, Shankar A. Deka
2025
2025 IEEE 64th Conference on Decision and Control, CDC 2025
PyBDR: Set-Boundary Based Reachability Analysis Toolkit in Python
Jianqiang Ding, Taoran Wu, Zhen Liang, Bai Xue
2025
Formal Methods - 26th International Symposium, FM 2024, Proceedings
Inner-Approximate Reachability Computation via Zonotopic Boundary Analysis
Dejin Ren, Zhen Liang, Chenyu Wu, Jianqiang Ding, Taoran Wu, Bai Xue
2024
Computer Aided Verification - 36th International Conference, CAV 2024, Proceedings