Skip to content Skip to navigation

Publications

Below is a list of publications for the Multi-Robot Systems Lab.

Export 12 results:
Author Title Type [ Year(Asc)]
Filters: Author is Calin Belta  [Clear All Filters]
Accepted
K. Leahy et al., Control in Belief Space with Temporal Logic Specifications using Vision-based Localization, International Journal of Robotics Research (IJRR), Accepted.
2017
C. Vasile, Schwager, M., and Belta, C., Translational and Rotational Invariance in Networked Dynamical Systems, IEEE Transactions on Control of Network Systems, 2017. (1.37 MB)
2016
C. - I. Vasile, Leahy, K., Cristofalo, E., Jones, A., Schwager, M., and Belta, C., Control in Belief Space with Temporal Logic Specifications, 55th IEEE Conference on Decision and Control (CDC). Las Vegas, NV, pp. 7419-7424, 2016. (1.19 MB)
E. Cristofalo, Leahy, K., Vasile, C. - I., Montijano, E., Schwager, M., and Belta, C., Localization of a Ground Robot by Aerial Robots for GPS-deprived Control with Temporal Logic Constraints, Proc. of the 2016 International Symposium on Experimental Robotics (ISER), vol. 1. Springer, Cham, Tokyo, Japan, pp. 525-537, 2016. (8.67 MB)
K. Leahy, Zhou, D., Vasile, C. - I., Oikonomopoulos, K., Schwager, M., and Belta, C., Persistent Surveillance for Unmanned Aerial Vehicles Subject to Charging and Temporal Logic Constraints, Autonomous Robots, vol. 40, pp. 1363-1378, 2016. (2.56 MB)
D. Aksaray, Jones, A., Kong, Z., Schwager, M., and Belta, C., Q-Learning for Robust Satisfaction of Signal Temporal Logic Specifications, Proc. of the IEEE Conference on Decision and Control (CDC). Las Vegas, NV, pp. 6565-6570, 2016. (269.77 KB)
2015
K. Leahy, Jones, A., Schwager, M., and Belta, C., Distributed Informative Path Planning under Temporal Logic Constraints, in Proc. of the IEEE Conference on Decision and Control (CDC 15), Osaka, Japan, 2015, pp. 6803–6808. (450.26 KB)
A. Jones, Schwager, M., and Belta, C., Information-guided persistent monitoring under temporal logic constraints, in Proc. of the American Control Conference (ACC 15), Chicago, IL, 2015, pp. 1911–1916. (1.3 MB)
C. - I. Vasile, Schwager, M., and Belta, C., SE(N) Invariance in Networked Systems, in Proc. of the European Control Conference (ECC 15), Linz, Austria, 2015, pp. 186–191. (339.36 KB)
2014
K. Leahy, Zhou, D., Vasile, C. - I., Oikonomopoulos, K., Schwager, M., and Belta, C., Provably Correct Persistent Surveillance for Unmanned Aerial Vehicles Subject to Charging Constraints, in Proc. of the International Symposium on Experimental Robotics (ISER 14), Marrakech, Morocco, 2014. (5.17 MB)
2013
A. Jones, Schwager, M., and Belta, C., Distribution Temporal Logic: Combining Correctness with Quality of Estimation, in Proc. of the IEEE Conference on Decision and Control (CDC 13), Florence, Italy, 2013, pp. 4719–4724. (1.54 MB)
A. Jones, Schwager, M., and Belta, C., A Receding Horizon Algorithm for Informative Path Planning with Temporal Logic Constraints, in Proc. of the IEEE International Conference on Robotics and Automation (ICRA 13), Karlsruhe, Germany, 2013, pp. 5004–5009. (479.05 KB)