Distributed Multi-Agent Persistent Surveillance Under Temporal Logic Constraints∗

No abstract is available for this paper.

• Publication year

  2015

• Venue

  IFAC-PapersOnLine

• Publication date

  Unknown publication date

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1016/J.IFACOL.2015.10.326
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Informative path planning under temporal logic constraints with performance guarantees

  2017cited by this paper
• Semi-supervised pattern synthesis in spatially distributed dynamical systems

  2017cited by this paper
• Vision-Based Distributed Formation Control Without an External Positioning System

  2016influential reference
• Constrained Probabilistic Search for a One-Dimensional Random Walker

  2016cited by this paper
• Integration of deterministic inference with formal synthesis for control under uncertainty

  2016cited by this paper
• Control in belief space with Temporal Logic specifications

  2016cited by this paper
• Submodular Optimization with Routing Constraints

  2016cited by this paper
• Localization of a Ground Robot by Aerial Robots for GPS-Deprived Control with Temporal Logic Constraints

  2016cited by this paper
• Always choose second best: Tracking a moving target on a graph with a noisy binary sensor

  2016cited by this paper
• Persistent surveillance for unmanned aerial vehicles subject to charging and temporal logic constraints

  2015cited by this paper
• This Time the Robot Settles for a Cost: A Quantitative Approach to Temporal Logic Planning with Partial Satisfaction

  2015cited by this paper
• Multi-agent plan reconfiguration under local LTL specifications

  2015influential reference
• Information-guided persistent monitoring under temporal logic constraints

  2015cited by this paper
• Distributed information gathering policies under temporal logic constraints

  2015cited by this paper
• Temporal logic motion planning using POMDPs with parity objectives: case study paper

  2015cited by this paper
• FIRM: Sampling-based feedback motion-planning under motion uncertainty and imperfect measurements

  2014cited by this paper
• Approximate representations for multi-robot control policies that maximize mutual information

  2014cited by this paper
• Sampling-based robotic information gathering algorithms

  2014cited by this paper
• Provably Correct Persistent Surveillance for Unmanned Aerial Vehicles Subject to Charging Constraints

  2014cited by this paper
• Receding horizon temporal logic control in dynamic environments

  2014cited by this paper
• Autonomous charging to enable long-endurance missions for small aerial robots

  2014cited by this paper
• Optimal Index Policies for Anomaly Localization in Resource-Constrained Cyber Systems

  2014cited by this paper
• Scaling up Gaussian Belief Space Planning Through Covariance-Free Trajectory Optimization and Automatic Differentiation

  2014cited by this paper
• Online decentralized information gathering with spatial–temporal constraints

  2014cited by this paper
• Efficient Informative Sensing using Multiple Robots

  2014cited by this paper
• ImageNet Large Scale Visual Recognition Challenge

  2014cited by this paper
• Quickest anomaly detection: A case of active hypothesis testing

  2014cited by this paper
• Submodular Function Maximization

  2014cited by this paper
• A wireless communication protocol for distributed robotics applications

  2014cited by this paper
• An Automata-Theoretic Approach to the Vehicle Routing Problem

  2014influential reference
• LTL receding horizon control for finite deterministic systems

  2014influential reference
• Reactive sampling-based temporal logic path planning

  2014cited by this paper
• Nonmyopic View Planning for Active Object Classification and Pose Estimation

  2014cited by this paper
• Formal Synthesis of Control Policies for Continuous Time Markov Processes From Time-Bounded Temporal Logic Specifications

  2014cited by this paper
• Vector field following for quadrotors using differential flatness

  2014cited by this paper
• Very Deep Convolutional Networks for Large-Scale Image Recognition

  2014cited by this paper
• A receding horizon algorithm for informative path planning with temporal logic constraints

  2013cited by this paper
• Optimal control of MDPs with temporal logic constraints

  2013cited by this paper
• Cost Effectiveness of Targeted High-dose Atorvastatin Therapy Following Genotype Testing in Patients with Acute Coronary Syndrome

  2013cited by this paper
• Formula-free finite abstractions for linear temporal verification of stochastic hybrid systems

  2013cited by this paper
• Algorithms for Routing an Unmanned Aerial Vehicle in the Presence of Refueling Depots

  2013cited by this paper
• Iterative temporal motion planning for hybrid systems in partially unknown environments

  2013cited by this paper
• Revising motion planning under Linear Temporal Logic specifications in partially known workspaces

  2013cited by this paper
• Symbolic Control of Stochastic Systems via Approximately Bisimilar Finite Abstractions

  2013cited by this paper
• Air-ground localization and map augmentation using monocular dense reconstruction

  2013cited by this paper
• Sampling-based temporal logic path planning

  2013cited by this paper
• Distribution temporal logic: Combining correctness with quality of estimation

  2013influential reference
• Cognitive and Sub-regular Complexity

  2013cited by this paper
• Temporal logic robot control based on automata learning of environmental dynamics

  2013influential reference
• Optimality and Robustness in Multi-Robot Path Planning with Temporal Logic Constraints

  2013cited by this paper
• Integrating Grammatical Inference into Robotic Planning

  2012cited by this paper
• An Optimal Control Approach to the Multi-Agent Persistent Monitoring Problem

  2012cited by this paper
• Receding Horizon Temporal Logic Planning

  2012cited by this paper
• Symbolic planning and control using game theory and grammatical inference

  2012influential reference
• Formal Approach to the Deployment of Distributed Robotic Teams

  2012cited by this paper
• Distributed robotic sensor networks: An information-theoretic approach

  2012cited by this paper
• LTL robot motion control based on automata learning of environmental dynamics

  2012influential reference
• Time-Constrained Temporal Logic Control of Multi-Affine Systems

  2012cited by this paper
• Cost effectiveness of a gene expression score and myocardial perfusion imaging for diagnosis of coronary artery disease.

  2012cited by this paper
• Submodularity and its applications in optimized information gathering

  2011cited by this paper
• A Multi-robot Control Policy for Information Gathering in the Presence of Unknown Hazards

  2011cited by this paper
• Linear temporal logic vehicle routing with applications to multi‐UAV mission planning

  2011cited by this paper
• Search and pursuit-evasion in mobile robotics

  2011cited by this paper
• Rapidly-exploring Random Belief Trees for motion planning under uncertainty

  2011cited by this paper
• Incremental Cycle Detection, Topological Ordering, and Strong Component Maintenance

  2011cited by this paper
• Optimal path planning for surveillance with temporal-logic constraints*

  2011cited by this paper
• Multi-robot deployment from LTL specifications with reduced communication

  2011cited by this paper
• Sampling-based algorithms for optimal motion planning

  2011cited by this paper
• Persistent surveillance with a team of MAVs

  2011cited by this paper
• PCN131 REPRESENTING UNCERTAINTY IN CALIBRATED CANCER TREATMENT MODELS: A PRACTICAL APPROACH

  2011cited by this paper
• DTAM: Dense tracking and mapping in real-time

  2011cited by this paper
• On Cooperative Patrolling: Optimal Trajectories, Complexity Analysis, and Approximation Algorithms

  2011cited by this paper
• Multi-robot persistent surveillance planning as a Vehicle Routing Problem

  2011cited by this paper
• Distributed power allocation for vehicle management systems

  2011cited by this paper
• String Extension Learning

  2010influential reference
• Informative path planning for an autonomous underwater vehicle

  2010cited by this paper
• Automatic Deployment of Distributed Teams of Robots From Temporal Logic Motion Specifications

  2010cited by this paper
• Colin de la Higuera: Grammatical inference: learning automata and grammars

  2010cited by this paper
• ROS: an open-source Robot Operating System

  2009cited by this paper
• A Bayesian Approach to Model Checking Biological Systems

  2009cited by this paper
• The Belief Roadmap: Efficient Planning in Belief Space by Factoring the Covariance

  2009cited by this paper
• Sampling-based motion planning with deterministic μ-calculus specifications

  2009cited by this paper
• Temporal-Logic-Based Reactive Mission and Motion Planning

  2009cited by this paper
• Probabilistic Ants (PAnts) in Multi-Agent Patrolling

  2009cited by this paper
• Exploring Network Structure, Dynamics, and Function using NetworkX

  2008cited by this paper
• Principles of model checking

  2008influential reference
• Persistent Surveillance Using Multiple Unmanned Air Vehicles

  2008cited by this paper
• Vehicle Routing Problem

  2008cited by this paper
• Vehicle Routing Problem with Metric Temporal Logic Specifications

  2008cited by this paper
• Adaptive teams of autonomous aerial and ground robots for situational awareness

  2007cited by this paper
• Multi-robot area patrol under frequency constraints

  2007cited by this paper
• Nonmyopic Informative Path Planning in Spatio-Temporal Models

  2007influential reference
• Sampling-Based Motion Planning With Sensing Uncertainty

  2007cited by this paper
• Controlling a Class of Nonlinear Systems on Rectangles

  2006cited by this paper
• Planning algorithms

  2006influential reference
• Homography-based 2D visual servoing

  2006cited by this paper
• Energy Efficient Policies for Distributed Target Tracking in Multihop Sensor Networks

  2006cited by this paper
• Cooperative air and ground surveillance

  2006cited by this paper
• Leader-based multi-agent coordination: controllability and optimal control

  2006cited by this paper
• Near-optimal Nonmyopic Value of Information in Graphical Models

  2005cited by this paper

• Online optimization of pickup and delivery problems considering accident recovery forecast

  2026cites this paper
• $\epsilon$-Optimal Multi-Agent Patrol using Recurrent Strategy

  2025cites this paper
• Online Optimization of Pickup and Delivery Problem Considering Feasibility

  2024cites this paper
• Dynamic event‐triggered prescribed performance control for nonlinear systems with signal temporal logic

  2024cites this paper
• Iterative Planner/Controller Design to Satisfy Signal Temporal Logic Specifications

  2023cites this paper
• Markov Chain-Based Modeling of Malicious Botnet Spread for Botnet Defense Systems

  2023cites this paper
• Resilient Temporal Logic Planning in the Presence of Robot Failures

  2023cites this paper
• Learning Task Requirements and Agent Capabilities for Multi-agent Task Allocation

  2022cites this paper
• Robust Planning for Persistent Surveillance with Energy-Constrained UAVs and Mobile Charging Stations

  2022cites this paper
• On Initial Locations, Feasibility, and Performance in Multi-Agent Surveillance Systems

  2022cites this paper
• Control Barrier Functions with Actuation Constraints under Signal Temporal Logic Specifications

  2022cites this paper
• Temporal-Logic-Constrained Hybrid Reinforcement Learning to Perform Optimal Aerial Monitoring with Delivery Drones

  2021cites this paper
• Planning of Heterogeneous Multi-Agent Systems Under Signal Temporal Logic Specifications With Integral Predicates

  2021cites this paper
• Control Synthesis using Signal Temporal Logic Specifications with Integral and Derivative Predicates

  2021cites this paper
• Distributed safe planning for satisfying minimal temporal relaxations of TWTL specifications

  2021cites this paper
• Multi-Agent Robot System to Monitor and Enforce Physical Distancing Constraints in Large Areas to Combat COVID-19 and Future Pandemics

  2021cites this paper
• Priority Patrolling using Multiple Agents

  2021cites this paper
• Distributed coverage optimisation for a fleet of unmanned maritime systems

  2021cites this paper
• Greedy initialization for distributed persistent monitoring in network systems

  2021cites this paper
• Distributed Planning of Multi-Agent Systems with Coupled Temporal Logic Specifications

  2020cites this paper
• Decentralized Safe Reactive Planning under TWTL Specifications

  2020cites this paper
• Tractable Reinforcement Learning of Signal Temporal Logic Objectives

  2020cites this paper
• Risk-Aware Multi-Agent Path Planning for Target Detection: A Multi-Agent Reinforcement Learning Approach

  2020cites this paper
• Low Cost Lightweight Obstacle Detection System for Micro Aerial Vehicles

  2019cites this paper
• 3D multi-robot patrolling with a two-level coordination strategy

  2019cites this paper
• Persistent Surveillance With Energy-Constrained UAVs and Mobile Charging Stations

  2019cites this paper
• Asymptotic Analysis Based Greedy Method for Threshold-Based Distributed Optimization of Persistent Monitoring on Graphs

  2019cites this paper
• Asymptotic Analysis for Greedy Initialization of Threshold-Based Distributed Optimization of Persistent Monitoring on Graphs

  2019cites this paper
• Dynamic Surveillance by Multiple Agents with Fuel Constraints

  2019influential citation
• Trust-Based Multi-Robot Symbolic Motion Planning with a Human-in-the-Loop

  2018cites this paper
• Computationally Efficient Model Predictive Control for Multi-agent Surveillance Systems

  2018cites this paper
• F L ] 1 3 F eb 2 01 6 Time Window Temporal Logic

  2018cites this paper
• Periodic Model Predictive Control of Multi-Hop Control Networks

  2017cites this paper
• Informative path planning under temporal logic constraints with performance guarantees

  2017cites this paper
• Optimal monitoring of multiple agents via time sequence-based modeling

  2017cites this paper
• DR 4 . 3 : Communication and knowledge flow gluing the multi-robot collaborative framework

  2017influential citation
• Multi-UAV routing for persistent intelligence surveillance & reconnaissance missions

  2017cites this paper
• MPC-Based Surveillance over Graphs by Multiple Agents

  2017influential citation
• Time window temporal logic

  2016influential citation
• Q-Learning for robust satisfaction of signal temporal logic specifications

  2016cites this paper
• Control with Probabilistic Signal Temporal Logic

  2015cites this paper