A journal of IEEE and CAA , publishes high-quality papers in English on original theoretical/experimental research and development in all areas of automation
Volume 10 Issue 5
May  2023

IEEE/CAA Journal of Automatica Sinica

  • JCR Impact Factor: 11.8, Top 4% (SCI Q1)
    CiteScore: 17.6, Top 3% (Q1)
    Google Scholar h5-index: 77, TOP 5
Turn off MathJax
Article Contents
Y. W. Zheng, A. W. Lai, X. Yu, and W. Y. Lan, “Early-awareness collision avoidance in optimal multi-agent path planning with temporal logic specifications,” IEEE/CAA J. Autom. Sinica, vol. 10, no. 5, pp. 1346–1348, May 2023. doi: 10.1109/JAS.2022.106043
Citation: Y. W. Zheng, A. W. Lai, X. Yu, and W. Y. Lan, “Early-awareness collision avoidance in optimal multi-agent path planning with temporal logic specifications,” IEEE/CAA J. Autom. Sinica, vol. 10, no. 5, pp. 1346–1348, May 2023. doi: 10.1109/JAS.2022.106043

Early-Awareness Collision Avoidance in Optimal Multi-Agent Path Planning With Temporal Logic Specifications

doi: 10.1109/JAS.2022.106043
More Information
  • loading
  • [1]
    C. Zu, C. Yang, J. Wang, W. Gao, D. Cao, and F.-Y. Wang, “Simulation and field testing of multiple vehicles collision avoidance algorithms,” IEEE/CAA J. Autom. Sinica, vol. 7, no. 4, pp. 1045–1063, 2020. doi: 10.1109/JAS.2020.1003246
    [2]
    Z. Zuo, C. Liu, Q.-L. Han, and J. Song, “Unmanned aerial vehicles: Control methods and future challenges,” IEEE/CAA J. Autom. Sinica, vol. 9, no. 4, pp. 601–614, 2022. doi: 10.1109/JAS.2022.105410
    [3]
    Z. Peng, J. Wang, D. Wang, and Q.-L. Han, “An overview of recent advances in coordinated control of multiple autonomous surface vehicles,” IEEE Trans. Ind. Inf., vol. 17, no. 2, pp. 732–745, 2020. doi: 10.1109/TII.2020.3004343
    [4]
    J. Wang, J. Wang, and Q.-L. Han, “Receding-horizon trajectory planning for under-actuated autonomous vehicles based on collaborative neurodynamic optimization,” IEEE/CAA J. Autom. Sinica, vol. 9, no. 11, pp. 1909–1223, 2022. doi: 10.1109/JAS.2022.105524
    [5]
    C. Baier and J.-P. Katoen, Principles of Model Checking. Cambridge, USA: MIT Press, 2008.
    [6]
    P. Schillinger, M. Bürger, and D. V. Dimarogonas, “Simultaneous task allocation and planning for temporal logic goals in heterogeneous multi-robot systems,” Int. J. Rob. Res., vol. 37, no. 7, pp. 818–838, 2018. doi: 10.1177/0278364918774135
    [7]
    S. L. Smith, J. Tumova, C. Belta, and D. Rus, “Optimal path planning for surveillance with temporal-logic constraints,” Int. J. Rob. Res., vol. 30, no. 14, pp. 1695–1708, 2011. doi: 10.1177/0278364911417911
    [8]
    K. Leahy, E. Cristofalo, C.-I. Vasile, A. Jones, E. Montijano, M. Schwager, and C. Belta, “Control in belief space with temporal logic specifications using vision-based localization,” Int. J. Rob. Res., vol. 38, no. 6, pp. 702–722, 2019. doi: 10.1177/0278364919846340
    [9]
    X. Ding, S. L. Smith, C. Belta, and D. Rus, “Optimal control of markov decision processes with linear temporal logic constraints,” IEEE Trans. Autom. Control, vol. 59, no. 5, pp. 1244–1257, 2014. doi: 10.1109/TAC.2014.2298143
    [10]
    J. Alonso-Mora, J. A. DeCastro, V. Raman, D. Rus, and H. Kress-Gazit, “Reactive mission and motion planning with deadlock resolution avoiding dynamic obstacles,” Auton. Rob., vol. 42, no. 4, pp. 801–824, 2018. doi: 10.1007/s10514-017-9665-6
    [11]
    X. Li, Z. Serlin, G. Yang, and C. Belta, “A formal methods approach to interpretable reinforcement learning for robotic planning,” Sci. Rob., vol. 4, no. 37, p. eaay6276, 2019. doi: 10.1126/scirobotics.aay6276
    [12]
    A. Ulusoy, S. L. Smith, X. C. Ding, C. Belta, and D. Rus, “Optimality and robustness in multi-robot path planning with temporal logic constraints,” Int. J. Rob. Res., vol. 32, no. 8, pp. 889–911, 2013. doi: 10.1177/0278364913487931
    [13]
    G. Sharon, R. Stern, A. Felner, and N. R. Sturtevant, “Conflict-based search for optimal multi-agent pathfinding,” Artif. Intell., vol. 219, pp. 40–66, 2015. doi: 10.1016/j.artint.2014.11.006
    [14]
    Z. A. Ali and K. Yakovlev, “Prioritized sipp for multi-agent path finding with kinematic constraints,” in Proc. Intell. Conf. Interact. Collab. Rob., 2021, pp. 1–13.

Catalog

    通讯作者: 陈斌, bchen63@163.com
    • 1. 

      沈阳化工大学材料科学与工程学院 沈阳 110142

    1. 本站搜索
    2. 百度学术搜索
    3. 万方数据库搜索
    4. CNKI搜索

    Figures(3)

    Article Metrics

    Article views (313) PDF downloads(51) Cited by()

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return