Jianqiang Ding

According to our database, Jianqiang Ding authored at least 9 papers between 2019 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Reach-Avoid Model Predictive Control with Guaranteed Recursive Feasibility via Input Constrained Backstepping.

Jianqiang Ding, Nishant Jayesh Bhave, Shankar A. Deka

CoRR, April, 2026

PyBDR: Design and usage of a toolkit for set-boundary based reachability analysis.

Taoran Wu, Jianqiang Ding, Zhen Liang, Shankar A. Deka, Bai Xue

Sci. Comput. Program., 2026

2025

Data-driven Reachability Verification with Probabilistic Guarantees under Koopman Spectral Uncertainty.

Jianqiang Ding, Shankar A. Deka

CoRR, November, 2025

Backstepping Reach-avoid Controller Synthesis for Multi-input Multi-output Systems with Mixed Relative Degrees.

Jianqiang Ding, Dingran Yuan, Shankar A. Deka

Proceedings of the 64th IEEE Conference on Decision and Control, 2025

2024

Time-to-reach Bounds for Verification of Dynamical Systems Using the Koopman Spectrum.

Jianqiang Ding, Shankar A. Deka

CoRR, 2024

PyBDR: Set-Boundary Based Reachability Analysis Toolkit in Python.

Jianqiang Ding, Taoran Wu, Zhen Liang, Bai Xue

Proceedings of the Formal Methods - 26th International Symposium, 2024

Inner-Approximate Reachability Computation via Zonotopic Boundary Analysis.

Dejin Ren, Zhen Liang, Chenyu Wu, Jianqiang Ding, Taoran Wu, Bai Xue

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023

Provable Reach-avoid Controllers Synthesis Based on Inner-approximating Controlled Reach-avoid Sets.

Jianqiang Ding, Taoran Wu, Yuping Qian, Lijun Zhang, Bai Xue

CoRR, 2023

2019

Discernible image mosaic with edge-aware adaptive tiles.

Pengfei Xu, Jianqiang Ding, Hao Zhang, Hui Huang

Comput. Vis. Media, 2019