Abstract
In this paper, we provide a novel scheme to solve the motion planning problem of multi-agent systems under high-level task specifications. First, linear temporal logic is applied to express the global task specification. Then an efficient and decentralized algorithm is proposed to decompose it into local tasks. Moreover, we use control barrier function to synthesize the local controller for each agent under the linear temporal logic motion plan with safety constraint. Finally, simulation results show the effectiveness and efficiency of our proposed scheme.
Similar content being viewed by others
References
W. Liu, J. Huang. Leader-following consensus for uncertain second-order nonlinear multi-agent systems. Control Theory and Technology, 2016, 14(4): 279–286.
L. Zhao, D. Ma. Circle formation control for multi-agent systems with a leader. Control Theory and Technology, 2015, 13(1): 82–88.
M. M. Zavlanos, G. J. Pappas. Distributed connectivity control of mobile networks. IEEE Transactions on Robotics, 2008, 24(6): 1416–1428.
D. V. Dimarogonas, S. G. Loizou, K. J. Kyriakopoulos, et al. A feedback stabilization and collision avoidance scheme for multiple independent non-point agents. Automatica, 2006, 42(2): 229–243.
C. Baier, J. P. Katoen. Principles of Model Checking. Cambridge: The MIT Press, 2008.
G. E. Fainekos, A. Girard, H. Kress-Gazit, et al. Temporal logic motion planning for dynamic robots. Automatica, 2009, 45(2): 343–352.
M. Kloetzer, C. Belta. Automatic deployment of distributed teams of robots from temporal logic motion specifications. IEEE Transactions on Robotics, 2010, 26(1): 48–61.
L. Lindemann, D. V. Dimarogonas. Robust control for signal temporal logic specifications using discrete average space robustness. Automatica, 2019, 101: 377–387.
Y. E. Sahin, P. Nilsson, N. Ozay. Multirobot coordination with counting temporal logics. IEEE Transactions on Robotics, 2020, 36(4): 1189–1206.
J. Tumova, D. V. Dimarogonas. Multi-agent planning under local LTL specifications and event-based synchronization. Automatica, 2016, 70: 239–248.
A. D. Ames, X. Xu, J. W. Grizzle, et al. Control barrier function based quadratic programs for safety critical systems. IEEE Transactions on Automatic Control, 2017, 62(8): 3861–3876.
X. Xu, P. Tabuada, J. W. Grizzle, et al. Robustness of control barrier functions for safety critical control. IFAC-PapersOnLine, 2015, 48(27): 54–61.
X. Xu. Constrained control of input-output linearizable systems using control sharing barrier functions. Automatica, 2018, 87: 195–201.
A. D. Ames, S. Coogan, M. Egerstedt, et al. Control barrier functions: theory and applications. Proceedings of the 18th European Control Conference, Naples, Italy: IEEE, 2019: 3420–3431.
L. Lindemann, D. V. Dimarogonas. Control barrier functions for multi-agent systems under conflicting local signal temporal logic tasks. IEEE Control Systems Letters, 2019, 3(3): 757–762.
M. Srinivasan, S. Coogan, M. Egerstedt. Control of multi-agent systems with finite time control barrier certificates and temporal logic. Proceedings of the 57th IEEE Conference on Decision and Control, Miami Beach, FL: IEEE, 2018: 1991–1996.
A. Li, L. Wang, P. Pierpaoli, et al. Formally correct composition of coordinated behaviors using control barrier certificates. Proceedings of the 25th IEEE/RSJ International Conference on Intelligent Robots and Systems, Madrid, Spain: IEEE, 2018: 3723–3729.
X. Li, Z. Serlin, G. Yang, et al. A formal methods approach to interpretable reinforcement learning for robotic planning. Sciences Robotics, 2019, 4(37): DOI https://doi.org/10.1126/scirobotics.aay6276.
J. Tumova, B. Yordanov, C. Belta, et al. A symbolic approach to controlling piecewise affine systems. Proceedings of the 49th IEEE Conference on Decision and Control, Atlanta: IEEE, 2010: 4230–4235.
C. Finucane, G. Jing, H. Kress-Gazit. LTLMoP: Experimenting with language, temporal logic and robot control. Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, Taiwan, China: IEEE, 2010: 1988–1993.
P. Meyer, D. V. Dimarogonas. Hierarchical decomposition of LTL synthesis problem for nonlinear control systems. IEEE Transactions on Automatic Control, 2019, 64: 4676–4683.
P. Schillinger, B. Burger, D. V. Dimarogonas, et al. Simultaneous task allocation and planning for temporal logic goals in heterogeneous multi-robot systems. International Journal of Robotics Research, 2018, 37(7): 818–838.
A. Nikou, D. Boskos, J. Tumova, et al. Cooperative planning for coupled multi-agent systems under timed temporal specifications. Proceedings of the American Control Conference, Seattle: IEEE, 2017: 1847–1852.
Author information
Authors and Affiliations
Corresponding author
Additional information
This work was partially supported by the National Natural Science Foundation of China (No. 51475334), the National Key Research and Development Program of Science and Technology of China (No.2018YFB1305304) and the Shanghai Science and Technology Pilot Project (No. 19511132100).
Xinyuan HUANG received the B.Sc. degree in Electronics and Information Engineering from Tongji University, China, in 2019. He is currently pursuing his Ph.D. degree at the Department of Control Science and Engineering, Tongji University. His research interests include multi-agent collaborative control and formal methods-based control.
Li LI received the B.Sc. and M.Sc. degrees from Shengyang Agriculture University, China in 1996 and 1999, respectively, and the Ph.D. degree from Shenyang Institute of Automation, Chinese Academy of Science, in 2003. She is currently a Professor at the Department of Control Science and Engineering, Tongji University. Her research interests are data-driven modeling & optimization and computational intelligence.
Jie CHEN received the B.Sc., M.Sc., Ph.D. degrees in Control Theory and Control Engineering from the Beijing Institute of Technology, Beijing, China, in 1986, 1996 and 2001, respectively. He was a Visiting Scholar with California State University, Long Beach, CA, U.S.A., from 1989 to 1990. From 1996 to 1997, he was a Research Fellow with the School of Electronic, Electrical and Systems Engineering, University of Birmingham, Birmingham, U.K. He is currently a Professor at the Department of Control Science and Engineering, Tongji University, where he is also the Chief Scientist of Shanghai Research Institute for Intelligent Autonomous Systems. His current research interests include multiobjective optimization and decision in complex systems, intelligent control, nonlinear control, and optimization methods. Dr. Chen serves as a Managing Editor of the Journal of Systems Science and Complexity (2014-2017), and an Associate Editor for the IEEE Transactions on Cybernetics (2016-2018), as well as several other international journals. He is Fellow of IEEE and Fellow of IFAC
Rights and permissions
About this article
Cite this article
Huang, X., Li, L. & Chen, J. Multi-agent system motion planning under temporal logic specifications and control barrier function. Control Theory Technol. 18, 269–278 (2020). https://doi.org/10.1007/s11768-020-0110-6
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11768-020-0110-6