Persistent Connected Power Constrained Surveillance with Unmanned Aerial Vehicles
暂无分享,去创建一个
Paulo Tabuada | Gaurav S. Sukhatme | Ramesh Govindan | Pradipta Ghosh | G. Sukhatme | P. Tabuada | R. Govindan | Pradipta Ghosh
[1] Calin Belta,et al. Optimal multi-robot path planning with temporal logic constraints , 2011, 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems.
[2] B. Rinner,et al. Multi-Robot Persistent Surveillance With Connectivity Constraints , 2019, IEEE Access.
[3] Toby Walsh,et al. Handbook of Satisfiability: Volume 185 Frontiers in Artificial Intelligence and Applications , 2009 .
[4] Juan Pablo Vielma,et al. Mixed Integer Linear Programming Formulation Techniques , 2015, SIAM Rev..
[5] Nikolaj Bjørner,et al. Z3: An Efficient SMT Solver , 2008, TACAS.
[6] Manuela M. Veloso,et al. Coverage planning with finite resources , 2014, 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems.
[7] Fred Kröger,et al. Temporal Logic of Programs , 1987, EATCS Monographs on Theoretical Computer Science.
[8] François Schwarzentruber,et al. Reachability and Coverage Planning for Connected Agents , 2019, AAMAS.
[9] Bernhard Rinner,et al. Persistent multi-UAV surveillance with energy and communication constraints , 2016, 2016 IEEE International Conference on Automation Science and Engineering (CASE).
[10] Kevin S. Chan,et al. Rapid Top-Down Synthesis of Large-Scale IoT Networks , 2020, 2020 29th International Conference on Computer Communications and Networks (ICCCN).
[11] Paulo Tabuada,et al. SMC: Satisfiability Modulo Convex Optimization , 2017, HSCC.
[12] Manuel Mazo,et al. Specification-guided controller synthesis for linear systems and safe linear-time temporal logic , 2013, HSCC '13.
[13] Elon Rimon,et al. Online Coverage of Planar Environments by a Battery Powered Autonomous Mobile Robot , 2016, IEEE Transactions on Automation Science and Engineering.
[14] Abhishek Joshi,et al. Boolean Satisfiability-Based Routing and Its Application to Xilinx UltraScale Clock Network , 2016, FPGA.
[15] Andrea Bonarini,et al. Multiagent Connected Path Planning: PSPACE-Completeness and How to Deal With It , 2018, AAAI.
[16] Karthik Dantu,et al. UB-ANC planner: Energy efficient coverage path planning with multiple drones , 2017, 2017 IEEE International Conference on Robotics and Automation (ICRA).
[17] Paulo Tabuada,et al. Linear Time Logic Control of Discrete-Time Linear Systems , 2006, IEEE Transactions on Automatic Control.
[18] Paulo Tabuada,et al. Linear temporal logic motion planning for teams of underactuated robots using satisfiability modulo convex programming , 2017, 2017 IEEE 56th Annual Conference on Decision and Control (CDC).
[19] Erion Plaku,et al. Motion planning with temporal-logic specifications: Progress and challenges , 2015, AI Commun..
[20] Stefano Carpin,et al. Optimal Redeployment of Multirobot Teams for Communication Maintenance , 2018, 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).
[21] Calin Belta,et al. Persistent surveillance for unmanned aerial vehicles subject to charging and temporal logic constraints , 2016, Auton. Robots.