IEEE/CAA Journal of Automatica Sinica
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 |
[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.
|