| [1]王浩宇, 张泽旭, 闻单, 等.基于时序耦合分析的无人机集群任务分配方法[J].航空学报, 2026, 47(2):332075-1-332075-16
[2]LI J Q, YU J T, HUA Y Z, et al.Joint clustering and hierarchical reinforcement learning for complex task allocation in heterogeneous swarm systems[C]// 2025 44th Chinese Control Conference (CCC). Chongqing: IEEE Press, 2025: 1-6.
[3]於志文, 孙卓, 程岳, 等.智能无人机集群协同感知计算研究综述[J].航空学报, 2024, 45(20):630912-1-630912-16
[4]WANG J J, WANG Q R, GUO M, et al.Decentralized task coordination and active sensing for multi-agent systems under team-wise intermittent communication[J].Science China Technological Sciences, 2026, 69(1):1100306-1100306
[5]BAIER C, KATOEN J P.Principles of model checking[M]. Cambridge: MIT Press, 2008: 229-257.
[6]GUO M, ZAVLANOS M M.Multirobot data gathering under buffer constraints and intermittent communication[J].IEEE Transactions on Robotics, 2018, 34(4):1082-1097
[7]李忠奎, 王俊杰, 张云奕, 等.集群协同任务规划的形式逻辑方法: 综述与展望[J].自动化学报, 2025, 51(10):2211-1-2211-22
[8]KANTAROS Y, ZAVLANOS M M.Sampling-based optimal control synthesis for multirobot systems under global temporal tasks[J].IEEE Transactions on Automatic Control, 2019, 64(5):1916-1931
[9]SCHILLINGER P, BURGER M, DIMAROGONAS D V.Simultaneous task allocation and planning for temporal logic goals in heterogeneous multi-robot systems[J].The International Journal of Robotics Research, 2018, 37(7):818-838
[10]LEAHY K, JONES A, VASILE C I.Fast decomposition of temporal logic specifications for heterogeneous teams[J].IEEE Robotics and Automation Letters, 2022, 7(2):2297-2304
[11]LI L, CHEN Z Y, WANG H, et al.Fast task allocation of heterogeneous robots with temporal logic and inter-task constraints[J].IEEE Robotics and Automation Letters, 2023, 8(8):4991-4998
[12]LUO X, KANTAROS Y, ZAVLANOS M M.An abstraction-free method for multirobot temporal logic optimal control synthesis[J].IEEE Transactions on Robotics, 2021, 37(5):1487-1507
[13]LIU Z S, Guo M, LI Z K.Time minimization and online synchronization for multi-agent systems under collaborative temporal logic tasks[J].Automatica, 2024, 159(1):111377-1-111377-15
[14]KALLURAYA S, PAPPAS G J, KANTAROS Y.Multi-robot mission planning in dynamic semantic environments[C]// 2023 IEEE International Conference on Robotics and Automation (ICRA). London: IEEE Press, 2023: 1630-1637.
[15]ZHANG Y Q, KALLURAYA S, PAPPAS G J, et al.Reactive planning for teams of heterogeneous robots with dynamic collaborative temporal logic missions[C]// 2024 IEEE 63rd Conference on Decision and Control (CDC). Milan: IEEE Press, 2024: 1599-1606.
[16]WANG S K, KANTAROS Y, GUO M.Uncertainty-bounded active monitoring of unknown dynamic targets in road-networks with minimum fleet[C]// 2024 IEEE International Conference on Robotics and Automation (ICRA). Yokohama: IEEE Press, 2024: 4584-4590.
[17]ZHAO Q S, GUO M, DU H X, et al.UMBRELLA: Uncertainty-aware multi-robot reactive coordination under dynamic temporal logic tasks[J].arXiv, 2026, 1(2603.25395):2603.25395-1-2603.25395-8
[18]GIRASE H, GANG H M, MALLA S, et al.LOKI: Long term and key intentions for trajectory prediction[C]// 2021 IEEE/CVF International Conference on Computer Vision (ICCV). Montreal: IEEE Press, 2021: 9803-9812.
[19]XU Z F, JIN H Y, HAN X M, et al.Intent prediction-driven model predictive control for UAV planning and navigation in dynamic environments[J].IEEE Robotics and Automation Letters, 2025, 10(5):4946-4953
[20]YOON H, SANKARANARAYANAN S.Predictive runtime monitoring for mobile robots using logic-based bayesian intent inference[C]// 2021 IEEE International Conference on Robotics and Automation (ICRA). Xi’an: IEEE Press, 2021: 8565-8571.
[21]YOON H, SANKARANARAYANAN S.Temporal logic-based intent monitoring for mobile robots[C]// 2023 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). Detroit: IEEE Press, 2023: 8643-8650.
[22]BELTA C, YORDANOV B, GOL E A.Formal methods for discrete-time dynamical systems[M]. Cham: Springer, 2017(89): 103-106.
[23]GASTIN P, ODDOUX D.Fast LTL to büchi automata translation[C]// International Conference on Computer Aided Verification, Lecture Notes in Computer Science. Berlin: Springer, 2001(2102): 53-65.
[24]KOCSIS L, SZEPESVARI C.Bandit based monte-carlo planning[C]// European Conference on Machine Learning. Berlin: Springer, 2006: 282-293.
[25]MITCHELL I M, BAYEN A M, TOMLIN C J.A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games[J].IEEE Transactions on Automatic Control, 2005, 50(7):947-957
[26]ZHOU Z Y, DING J, HUANG H M, et al.Efficient path planning algorithms in reach-avoid problems[J].Automatica, 2018, 89(1):28-36
[27]LUO X S, ZAVLANOS M M.Temporal logic task allocation in heterogeneous multirobot systems[J].IEEE Transactions on Robotics, 2022, 38(6):3602-3621 |