Distributed Multi-Agent Persistent Surveillance Under Temporal Logic Constraints∗∗This work was partially supported at Boston University by the NSF under grants CMMI-1400167 and NRI-1426907, and by the ONR under grant MURI N00014-09-1051.-Reference-Cited by-同舟云学术

Distributed Multi-Agent Persistent Surveillance Under Temporal Logic Constraints∗∗This work was partially supported at Boston University by the NSF under grants CMMI-1400167 and NRI-1426907, and by the ONR under grant MURI N00014-09-1051.

Published:2015 Issue:22 Volume:48 Page:174-179
ISSN:2405-8963
Container-title:IFAC-PapersOnLine
language:en
Short-container-title:IFAC-PapersOnLine

Author:

Aksaray Derya,Leahy Kevin,Belta Calin

Publisher

Elsevier BV

Subject

Control and Systems Engineering

Reference17 articles.

1. Principles of model checking, volume 26202649;Baier,2008

2. A stochastic and dynamic vehicle routing problem in the euclidean plane;Bertsimas;Operations Research,1991

3. An optimal control approach to the multi-agent persistent monitoring problem. IEEE Trans;Cassandras;on Automatic Control,2013

4. Formal approach to the deployment of distributed robotic teams.;Chen;IEEE Trans. on Robotics,2012

5. LTL robot motion control based on automata learning of environmental dynamics. In Int. Conference on Robotics and Automation (ICRA), 5177-5182;Chen,2012

Cited by 27 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Online Optimization of Pickup and Delivery Problem Considering Feasibility;Future Internet;2024-02-17

2. Dynamic event‐triggered prescribed performance control for nonlinear systems with signal temporal logic;International Journal of Robust and Nonlinear Control;2024-02-05

3. Resilient Temporal Logic Planning in the Presence of Robot Failures;2023 62nd IEEE Conference on Decision and Control (CDC);2023-12-13

4. Iterative Planner/Controller Design to Satisfy Signal Temporal Logic Specifications;2023 American Control Conference (ACC);2023-05-31

5. Markov Chain-Based Modeling of Malicious Botnet Spread for Botnet Defense Systems;2023 IEEE/SICE International Symposium on System Integration (SII);2023-01-17