## Abstract

In this work, we present a novel method for automating persistent surveillance missions involving multiple vehicles. Automata-based techniques are used to generate collision-free motion plans for a team of vehicles to satisfy a temporal logic specification. Vector fields are created for use with a differential flatness-based controller, allowing vehicle flight and deployment to be fully automated according to the motion plans. The use of charging platforms with the vehicles allows for truly persistent missions. Experiments were performed with two quadrotors for two different missions over 50 runs each to validate the theoretical results.

This is a preview of subscription content, access via your institution.

## References

Aydin Gol, E., & Belta, C. (2013). Time-constrained temporal logic control of multi-affine systems.

*Nonlinear Analysis: Hybrid Systems*,*10*, 21–33.Baier, C., & Katoen, J. (2008).

*Principles of model checking*. Cambridge: MIT Press.Belta, C., & Habets, L. C. G. J. M. (2006). Controlling a class of nonlinear systems on rectangles.

*IEEE Transactions on Automatic Control*,*51*(11), 1749–1759.Dantzig, G. B., & Ramser, J. H. (1959). The truck dispatching problem.

*Management Science*,*6*(1), 80–91.Jha, S., Clarke, E., Langmead, C., Legay, A., Platzer, A., & Zuliani, P. (2009). A Bayesian approach to model checking biological systems. In

*Proceedings of the 7th International Conference on Computational Methods in Systems Biology, CMSB ’09*(pp. 218–234). Berlin: Springer.Karaman, S., & Frazzoli, E. (2008). Vehicle routing problem with metric temporal logic specifications. In

*IEEE conference on decision and control*(pp. 3953–3958).Kupferman, O., & Vardi, M. (2001). Model checking of safety properties.

*Formal Methods in System Design*,*19*(3), 291–314.Latvala, T. (2003). Effcient model checking of safety properties. In

*10th international SPIN workshop, model checking software*(pp. 74–88). Springer.Leahy, K., Zhou, D., Vasile, C., Oikonomopoulos, K., Schwager, M., & Belta, C. (2014). Provably correct persistent surveillance for unmanned aerial vehicles subject to charging constraints. In

*Proceedings of the international symposium on experimental robotics (ISER)*.Lee, T., Leoky, M., & McClamroch, N. (2010). Geometric tracking control of a quadrotor UAV on SE(3). In

*49th IEEE conference on decision and control (CDC), 2010*(pp. 5420–5425). IEEE.Mellinger, D. & Kumar, V. (2011). Minimum snap trajectory generation and control for quadrotors. In

*IEEE international conference on robotics and automation (ICRA), 2011*(pp. 2520–2525). IEEE.Michael, N., Stump, E., & Mohta, K. (2011). Persistent surveillance with a team of MAVs. In

*Proceedings of the international conference on intelligent robots and systems (IROS 11)*(pp. 2708–2714). IEEE.Mulgaonkar, Y. & Kumar, V. (2014). Autonomous charging to enable long-endurance missions for small aerial robots. In

*Proceedings of SPIE-DSS*(p. 90831S).Ozay, N., Topcu, U., & Murray, R. M. (2011). Distributed power allocation for vehicle management systems. In

*50th IEEE conference on decision and control and European control conference (CDC-ECC), 2011*(pp. 4841–4848). IEEE.Smith, S., Tumova, J., Belta, C., & Rus, D. (2011). Optimal path planning for surveillance with temporal logic constraints.

*International Journal of Robotics Research*,*30*(14), 1695–1708.Stump, E. & Michael, N. (2011). Multi-robot persistent surveillance planning as a vehicle routing problem. In

*Proceedings of the IEEE conference on automation science and engineering (CASE)*(pp. 569–575). IEEE.Sundar, K., & Rathinam, S. (2014). Algorithms for routing an unmanned aerial vehicle in the presence of refueling depots.

*IEEE Transactions on Automation Science and Engineering*,*11*(1), 287–294.Tkachev, I. & Abate, A. (2013). Formula-free finite abstractions for linear temporal verification of stochastic hybrid systems. In

*Proceedings of the 16th international conference on hybrid systems: Computation and control*(pp. 283–292). Philadelphia, PA.Toth, P., & Vigo, D. (2001).

*The vehicle routing problem*. Philadelphia: SIAM.Ulusoy, A., Smith, S. L., Ding, X. C., Belta, C., & Rus, D. (2013). Optimality and robustness in multi-robot path planning with temporal logic constraints.

*International Journal of Robotics Research*,*32*(8), 889–911.Vasile, C. & Belta, C. (2014). An automata-theoretic approach to the vehicle routing problem. In

*Robotics: science and systems conference (RSS)*. Berkeley, CA, USA.Wongpiromsarn, T., Topcu, U., & Murray, R. M. (2009). Receding horizon temporal logic planning for dynamical systems.

*Conference on Decision and Control (CDC)*,*2009*, 5997–6004.Zhou, D. & Schwager, M. (2014). Vector field following for quadrotors using differential flatness. In

*Proceedings of the international conference on robotics and automation (ICRA)*(pp. 6567–6572).

## Acknowledgments

This work was supported in part by NSF Grant Numbers CNS-1035588, NRI-1426907 and CMMI-1400167 and ONR Grant Numbers N00014-12-1-1000, MURI N00014-10-10952 and MURI N00014-09-1051.

## Author information

### Authors and Affiliations

### Corresponding author

## Appendices

### Appendix 1: Derivation of time bounds

The derivation for (6) follows the same structure as that of (5), which can be found in Aydin Gol and Belta (2013). That derivation involves finding the minimum velocity vector towards the exit facet, and solving a linear system to find the time taken to exit at that velocity. In our work, however, the minimum velocity towards the exit facet may be zero, and so an alternate method must be used to compute the time bound. For this derivation, we assume that positive *x* is the direction of the desired exit facet, as displayed in Fig. 13. In the event that the minimum magnitude of velocity towards the exit facet is zero, we restrict velocity in one of the other coordinates to be non-zero away from the other facets, which in this figure is the *y* direction, but holds also for the *z* direction. Following from (4),

where \(s_F\) and \(s_{\bar{F}}\) are the vectors in the *x* direction away from the exit facet *F* and the opposite facet \(\bar{F}\). But the magnitude of \(\dot{x}\) depends on the *y* position through \(s_F\) and \(s_{\bar{F}}\).

We separate the *x* and *y* directions in order to bound the time to exit the cube without needing to solve the coupled nonlinear equations of the vector field. First, we note that in (28),

where *h* is the magnitude of the vector at the corner of the cube in the *y* direction. We write the dynamics for the *y* direction as

which rearranges to

This equation asymptotically approaches equilibrium at

which means that getting a finite solution for time to equilibrium is not possible. However, we can solve for the time to some fraction of its equilibrium, \(y^*=M\frac{b_j-a_j}{2}\), where \(0<M<1\). The linear system in (31) can be solved explicitly for the time to reach \(y^*\) as

Then, we can substitute \(M\frac{b_j-a_j}{2}\) for *y* in (29) to get

which can be solved explicity for the time to reach \(x = b_i\), yielding

Adding (33) and (35) yields the time bound in (6).

To solve for the value of *M* that gives the tightest bound, we must take the derivative of (33) and (35). Starting with (33), we find

Similarly, taking the derivative of (35) yields

The quantities \(b_i-a_i\), \(b_j-a_j\), \(s_F\), and \(s_{\bar{F}}\) are all non-negative, and hence we can replace \(\left( \frac{b_i-a_i}{s_{F}}\right) \) with *A* and \(\left( \frac{b_j-a_j}{2s_{\bar{F}}}\right) \) with *B* and rearrange to get (7). Since (6) is convex, the solution to (7) corresponds to a value of *M* such that the time bound given by (6) is minimized.

### Appendix 2: Analytical calculation of vector field derivatives

As with calculation of acceleration in (22), jerk *j* can be computed by applying the Jacobian to the acceleration as

The partial derivatives of acceleration can be solved by differentiating the terms for acceleration to get

where \(J_{ij}\) is the Jacobian as defined in (23). These partial derivatives can be solved as

In this equation, \(h_{ij}\) is the \(p_j{th}\) component of the vector at the *ith* vertex, and the \(c_i\)’s are the coefficients calculated in (21).

The same process is used to calculate snap:

All of the terms in (42) have been calculated previously in (4), (23), and (39), except the second partial derivatives of acceleration, which can be expressed as

Again, each of these terms is known except the second partial derivatives of the elements of the Jacobian matrix, which are written as

Thus all elements are known, and acceleration, jerk and snap can be expressed as functions of position, velocity, and partial derivatives of the coefficients calculated in (21). Analytical computation in these forms allows for efficient online computation of the parameters needed for the vector field based controller used in the experiments.

## Rights and permissions

## About this article

### Cite this article

Leahy, K., Zhou, D., Vasile, CI. *et al.* Persistent surveillance for unmanned aerial vehicles subject to charging and temporal logic constraints.
*Auton Robot* **40**, 1363–1378 (2016). https://doi.org/10.1007/s10514-015-9519-z

Received:

Accepted:

Published:

Issue Date:

DOI: https://doi.org/10.1007/s10514-015-9519-z

### Keywords

- Persistent monitoring
- Multi-robot systems
- Aerial robotics
- Formal methods