Papers
Topics
Authors
Recent
Search
2000 character limit reached

Controller Synthesis of Collaborative Signal Temporal Logic Tasks for Multi-Agent Systems via Assume-Guarantee Contracts

Published 23 Sep 2023 in eess.SY, cs.MA, and cs.SY | (2309.13499v2)

Abstract: This paper considers the problem of controller synthesis of signal temporal logic (STL) specifications for large-scale multi-agent systems, where the agents are dynamically coupled and subject to collaborative tasks. A compositional framework based on continuous-time assume-guarantee contracts is developed to break the complex and large synthesis problem into subproblems of manageable sizes. We first show how to formulate the collaborative STL tasks as assume-guarantee contracts by leveraging the idea of funnel-based control. The concept of contracts is used to establish our compositionality result, which allows us to guarantee the satisfaction of a global contract by the multi-agent system when all agents satisfy their local contracts. Then, a closed-form continuous-time feedback controller is designed to enforce local contracts over the agents in a distributed manner, which further guarantees the global task satisfaction based on the compositionality result. Finally, the effectiveness of our results is demonstrated by two numerical examples.

Definition Search Book Streamline Icon: https://streamlinehq.com
References (44)
  1. H. G. Tanner, A. Jadbabaie, and G. J. Pappas, “Stable flocking of mobile agents, part i: Fixed topology,” in 42nd IEEE International Conference on Decision and Control (IEEE Cat. No. 03CH37475), vol. 2.   IEEE, 2003, pp. 2010–2015.
  2. W. Ren and R. W. Beard, “Consensus seeking in multiagent systems under dynamically changing interaction topologies,” IEEE Transactions on automatic control, vol. 50, no. 5, pp. 655–661, 2005.
  3. R. Olfati-Saber, J. A. Fax, and R. M. Murray, “Consensus and cooperation in networked multi-agent systems,” Proceedings of the IEEE, vol. 95, no. 1, pp. 215–233, 2007.
  4. J. Cortes, S. Martinez, T. Karatas, and F. Bullo, “Coverage control for mobile sensing networks,” IEEE Transactions on robotics and Automation, vol. 20, no. 2, pp. 243–255, 2004.
  5. M. Kloetzer and C. Belta, “A fully automated framework for control of linear systems from temporal logic specifications,” IEEE Transactions on Automatic Control, vol. 53, no. 1, pp. 287–297, 2008.
  6. G. E. Fainekos, A. Girard, H. Kress-Gazit, and G. J. Pappas, “Temporal logic motion planning for dynamic robots,” Automatica, vol. 45, no. 2, pp. 343–352, 2009.
  7. M. Egerstedt and X. Hu, “Formation constrained multi-agent control,” IEEE transactions on robotics and automation, vol. 17, no. 6, pp. 947–951, 2001.
  8. S. G. Loizou and K. J. Kyriakopoulos, “Automatic synthesis of multi-agent motion tasks based on ltl specifications,” in 2004 43rd IEEE conference on decision and control (CDC)(IEEE Cat. No. 04CH37601), vol. 1.   IEEE, 2004, pp. 153–158.
  9. M. Guo and D. V. Dimarogonas, “Multi-agent plan reconfiguration under local ltl specifications,” The International Journal of Robotics Research, vol. 34, no. 2, pp. 218–235, 2015.
  10. Z. Liu, B. Wu, J. Dai, and H. Lin, “Distributed communication-aware motion planning for multi-agent systems from stl and spatel specifications,” in 2017 IEEE 56th Annual Conference on Decision and Control (CDC).   IEEE, 2017, pp. 4452–4457.
  11. Z. P. Jiang, A. R. Teel, and L. Praly, “Small-gain theorem for iss systems and applications,” Mathematics of Control, Signals and Systems, vol. 7, pp. 95–120, 1994.
  12. S. N. Dashkovskiy, B. S. Rüffer, and F. R. Wirth, “Small gain theorems for large scale systems and construction of iss lyapunov functions,” SIAM Journal on Control and Optimization, vol. 48, no. 6, pp. 4089–4118, 2010.
  13. M. Zamani and M. Arcak, “Compositional abstraction for networks of control systems: A dissipativity approach,” IEEE Trans. Control Netw. Syst., vol. 5, no. 3, pp. 1003–1015, 2018.
  14. E. S. Kim, M. Arcak, and S. A. Seshia, “A small gain theorem for parametric assume-guarantee contracts,” in 20th Int. Conf. Hybrid Syst., Comput. Control, 2017, pp. 207–216.
  15. P. Jagtap, A. Swikir, and M. Zamani, “Compositional construction of control barrier functions for interconnected control systems,” in Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control, 2020, pp. 1–11.
  16. S. Liu, N. Noroozi, and M. Zamani, “Symbolic models for infinite networks of control systems: A compositional approach,” Nonlinear Analysis: Hybrid Systems, vol. 43, p. 101097, 2021.
  17. A. Saoud, A. Girard, and L. Fribourg, “Assume-guarantee contracts for continuous-time systems,” Automatica, vol. 134, p. 109910, 2021.
  18. M. Sharf, B. Besselink, A. Molin, Q. Zhao, and K. H. Johansson, “Assume/guarantee contracts for dynamical systems: Theory and computational tools,” IFAC-PapersOnLine, vol. 54, no. 5, pp. 25–30, 2021.
  19. A. Saoud, A. Girard, and L. Fribourg, “Contract-based design of symbolic controllers for safety in distributed multiperiodic sampled-data systems,” IEEE Trans. Autom. Control, vol. 66, no. 3, pp. 1055–1070, 2020.
  20. M. Al Khatib and M. Zamani, “Controller synthesis for interconnected systems using parametric assume-guarantee contracts,” in Amer. Control Conf., 2020, pp. 5419–5424.
  21. Y. Chen, J. Anderson, K. Kalsi, A. D. Ames, and S. Low, “Safety-critical control synthesis for network systems with control barrier functions and assume-guarantee contracts,” IEEE Trans. Control Netw. Syst., 2020.
  22. K. Ghasemi, S. Sadraddini, and C. Belta, “Compositional synthesis via a convex parameterization of assume-guarantee contracts,” in 23rd Int. Conf. Hybrid Syst., Comput. Control, 2020, pp. 1–10.
  23. B. M. Shali, A. van der Schaft, and B. Besselink, “Composition of behavioural assume-guarantee contracts,” IEEE Transactions on Automatic Control, pp. 1–16, 2022.
  24. A. Benveniste, B. Caillaud, D. Nickovic, R. Passerone, J.-B. Raclet, P. Reinkemeier, A. Sangiovanni-Vincentelli, W. Damm, T. A. Henzinger, K. G. Larsen et al., “Contracts for system design,” 2018.
  25. V. Raman, A. Donzé, M. Maasoumy, R. M. Murray, A. Sangiovanni-Vincentelli, and S. A. Seshia, “Model predictive control with signal temporal logic specifications,” in 53rd Conf. Decis. Control.   IEEE, 2014, pp. 81–87.
  26. L. Lindemann, C. K. Verginis, and D. V. Dimarogonas, “Prescribed performance control for signal temporal logic specifications,” in 56th Conf. Decis. Control, 2017, pp. 2997–3002.
  27. L. Lindemann and D. V. Dimarogonas, “Feedback control strategies for multi-agent systems under a fragment of signal temporal logic tasks,” Automatica, vol. 106, pp. 284–293, 2019.
  28. F. Chen and D. V. Dimarogonas, “Leader–follower formation control with prescribed performance guarantees,” IEEE Transactions on Control of Network Systems, vol. 8, no. 1, pp. 450–461, 2020.
  29. L. Lindemann and D. V. Dimarogonas, “Barrier function based collaborative control of multiple robots under signal temporal logic tasks,” IEEE Transactions on Control of Network Systems, vol. 7, no. 4, pp. 1916–1928, 2020.
  30. S. Liu, A. Saoud, P. Jagtap, D. V. Dimarogonas, and M. Zamani, “Compositional synthesis of signal temporal logic tasks via assume-guarantee contracts,” in 2022 IEEE 61st Conference on Decision and Control (CDC).   IEEE, 2022, pp. 2184–2189.
  31. P. Nuzzo, “Compositional design of cyber-physical systems using contracts,” Ph.D. dissertation, UC Berkeley, 2015.
  32. A. Saoud, “Compositional and efficient controller synthesis for cyber-physical systems,” Ph.D. dissertation, Université Paris-Saclay (ComUE), 2019.
  33. O. Maler and D. Nickovic, “Monitoring temporal properties of continuous signals,” in FORMATS - FTRTFT, 2004, pp. 152–166.
  34. A. Donzé and O. Maler, “Robust satisfaction of temporal logic over real-valued signals,” in Int. Conf. FORMATS Syst., 2010, pp. 92–106.
  35. G. E. Fainekos and G. J. Pappas, “Robustness of temporal logic specifications for continuous-time signals,” Theor. Comput. Sci., vol. 410, no. 42, pp. 4262–4291, 2009.
  36. D. Aksaray, A. Jones, Z. Kong, M. Schwager, and C. Belta, “Q-learning for robust satisfaction of signal temporal logic specifications,” in 55th Conf. Decis. Control.   IEEE, 2016, pp. 6565–6570.
  37. L. Lindemann and D. V. Dimarogonas, “Efficient automata-based planning and control under spatio-temporal logic specifications,” in Amer. Control Conf.   IEEE, 2020, pp. 4707–4714.
  38. M. Guo and D. V. Dimarogonas, “Reconfiguration in motion planning of single-and multi-agent systems under infeasible local ltl specifications,” in 52nd IEEE Conference on Decision and Control.   IEEE, 2013, pp. 2758–2763.
  39. R. Goedel, R. G. Sanfelice, and A. R. Teel, “Hybrid dynamical systems: modeling stability, and robustness,” 2012.
  40. C. P. Bechlioulis and G. A. Rovithakis, “Robust adaptive control of feedback linearizable mimo nonlinear systems with prescribed performance,” IEEE Transactions on Automatic Control, vol. 53, no. 9, pp. 2090–2099, 2008.
  41. M. Charitidou and D. V. Dimarogonas, “Signal temporal logic task decomposition via convex optimization,” IEEE Control Syst. Lett., 2021.
  42. A. Girard, G. Gössler, and S. Mouelhi, “Safety controller synthesis for incrementally stable switched systems using multiscale symbolic models,” IEEE Trans. Autom. Control, vol. 61, no. 6, pp. 1537–1549, 2015.
  43. Y. Liu, J. J. Zhu, R. L. Williams II, and J. Wu, “Omni-directional mobile robot controller based on trajectory linearization,” Robot. Auton. Syst., vol. 56, no. 5, pp. 461–479, 2008.
  44. Y. Karayiannidis, D. V. Dimarogonas, and D. Kragic, “Multi-agent average consensus control with prescribed performance guarantees,” in 51st Conf. Decis. Control.   IEEE, 2012, pp. 2219–2225.

Summary

No one has generated a summary of this paper yet.

Ai Sparkles Streamline Icon: https://streamlinehq.com Sign Up to Summarize

Paper to Video (Beta)

Whiteboard

No one has generated a whiteboard explanation for this paper yet.

Ai Sparkles Streamline Icon: https://streamlinehq.com Sign Up to Generate

Open Problems

We haven't generated a list of open problems mentioned in this paper yet.

Ai Sparkles Streamline Icon: https://streamlinehq.com Generate Now

Continue Learning

We haven't generated follow-up questions for this paper yet.

Ai Sparkles Streamline Icon: https://streamlinehq.com Generate Now

Collections

Sign up for free to add this paper to one or more collections.

User Circle Single Streamline Icon: https://streamlinehq.com Sign Up

Tweets

Sign up for free to view the 1 tweet with 0 likes about this paper.

User Circle Single Streamline Icon: https://streamlinehq.com Sign Up for Free