Sequential monitoring for robot teams via temporal logic planning and persistent coverage control
Authors:
- 23 September 2026
- journal article
- research article
- Published by Taylor & Francis in Advanced Robotics
- p. 1-11
Abstract
1. Inspection of large-scale infrastructures [1], wildlife monitoring [2], and forest management [3] are representative monitoring tasks where mobile robots are expected to improve safety and effic...Keywords
Funding Information
- Japan Society for the Promotion of Science (25K01250)
This publication has 12 references indexed in Scilit:
- Drone-based bridge inspections: Current practices and future directionsAutomation in Construction, 2025
- Persistent Coverage Control for Two-wheeled Mobile Robots in Complex Geometry EnvironmentIFAC-PapersOnLine, 2023
- From Spot 2.0 to Spot 2.10: What’s New?2022
- Control Barrier Functions for Abstraction-Free Control Synthesis under Temporal Logic Constraints2020
- Control of Mobile Robots Using Barrier Functions Under Temporal Logic SpecificationsIEEE Transactions on Robotics, 2020
- Multidrone aerial surveys of penguin colonies in AntarcticaScience Robotics, 2020
- Receding Horizon Temporal Logic PlanningIEEE Transactions on Automatic Control, 2012
- Distributed Control of Robotic Networks2009
- Finite-time stability for time-varying nonlinear dynamical systems2008
- Model Checking LTL over Controllable Linear Systems Is Decidable2003