Siirry päänavigointiin Siirry hakuun Siirry pääsisältöön
Ei valokuvaa Jianqiang Ding

Jianqiang Ding

    20242025

    Tutkimustuotoksia vuodessa

    Sormenjälki

    Sukella tutkimusaiheisiin, joissa Jianqiang Ding on aktiivinen. Nämä aihemerkinnät ovat peräisin tämän henkilön teoksista. Yhdessä ne muodostavat ainutlaatuisen sormenjäljen.
    • 1 Samanlaiset profiilit
    Näytä koko sormenjälki

    Yhteistyöt ja huippututkimusalueet viimeisiltä viideltä vuodelta

    Viimeisin maa-/aluetasolla toteutettu yhteistyö. Saat tarkempia lisätietoja pisteitä napauttamalla, tai
    Tutki verkkoa laajemmin
    • 3 Conference article in proceedings

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

      Ding, J., Yuan, D. T. & Deka, S. A., 2025, 2025 IEEE 64th Conference on Decision and Control, CDC 2025. IEEE, s. 8222-8227 6 Sivumäärä (Proceedings of the IEEE Conference on Decision and Control).

      Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference article in proceedings › Scientific › vertaisarvioitu

      Open access

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

      Ding, J., Wu, T., Liang, Z. & Xue, B., 2025, Formal Methods - 26th International Symposium, FM 2024, Proceedings. Platzer, A., Rozier, K. Y., Pradella, M. & Rossi, M. (toim.). Springer, s. 140-157 18 Sivumäärä (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vuosikerta 14934 LNCS).

      Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference article in proceedings › Scientific › vertaisarvioitu

      Open access
      Tiedosto
      121 Lataukset (Pure)

    • Inner-Approximate Reachability Computation via Zonotopic Boundary Analysis

      Ren, D., Liang, Z., Wu, C., Ding, J., Wu, T. & Xue, B., 2024, Computer Aided Verification - 36th International Conference, CAV 2024, Proceedings. Gurfinkel, A. & Ganesh, V. (toim.). Springer, s. 307-328 22 Sivumäärä (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vuosikerta 14683 LNCS).

      Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference article in proceedings › Scientific › vertaisarvioitu

      Open access
      Tiedosto
      2 Sitaatiot (Scopus)
      42 Lataukset (Pure)