Discrete Event Dynamic Systems

, Volume 29, Issue 4, pp 473–499 | Cite as

Resource-aware networked control systems under temporal logic specifications

  • Kazumune HashimotoEmail author
  • Dimos V. Dimarogonas


Temporal logics for control of dynamical systems have the potential to automatically synthesize controllers under complex goals expressed by temporal logic formulas. In this paper, we are interested in the situation, where a controller system that implements high and low level controllers is connected to a plant over a communication network. In such control architecture, it is known that the limited nature of computation and communication resources should be explicitly taken into account. In view of this, we jointly provide control and communication strategies, such that the resulting state trajectories satisfy the desired temporal logic formula, while at the same time the average communication rate is below a certain threshold. The proposed strategies are illustrated through numerical simulation examples.


Event and Self-Triggered control Temporal logic control 



  1. Agha-mohammadi A, Chakravorty S, Amato NM (2014) FIRM: Sampling-based feedback motion planning under motion uncertainty and imperfect measurements. Int J Robot Res 33.2:268–304CrossRefGoogle Scholar
  2. Antoniotti M, Jafari M, Mishra B (1995) Applying temporal logic verification and synthesis to manufacturing systems. In: IEEE International Conference on Systems, Man and CyberneticsGoogle Scholar
  3. Luders B, Kothari M, How J (2010) Chance constrained RRT for probabilistic robustness to environmental uncertainty. In: AIAA Guidance, Navigation, and Control ConferenceGoogle Scholar
  4. Baier C, Katoen J-P (2008) Principles of model checking. The MIT PressGoogle Scholar
  5. Belta C, et al (2007) Symbolic planning and control of robot motion [Grand Challenges of Robotics]. IEEE Robot Autom Mag 14.1:61–70CrossRefGoogle Scholar
  6. Bhatia A, Kavraki LE, Vardi MY (2010) Sampling-based motion planning with temporal goals. In: Proceedings of IEEE International Conference on Robotics and Automation, pp 2689–2696Google Scholar
  7. Borrelli F, Bemporad A, Morari M (2017) Predictive Control for Linear and Hybrid Systems. Cambridge University PressGoogle Scholar
  8. Borri A, Pola G, Benedetto MDD (2018) Design of symbolic controllers for networked control systems. IEEE Trans Autom Control 64.3:1034–1046MathSciNetzbMATHGoogle Scholar
  9. Chinchali S, et al (2012) Towards formal synthesis of reactive controllers for dexterous robotic manipulation. In: IEEE International Conference on Robotics and Automation (ICRA)Google Scholar
  10. Coogan S, et al (2016) Traffic network control from temporal logic specifications. IEEE Trans Control Net Syst 3.2:162–172MathSciNetCrossRefGoogle Scholar
  11. Fainekos GE, et al (2009) Temporal logic motion planning for dynamic robots. Automatica 45.2:343–352MathSciNetCrossRefGoogle Scholar
  12. Filippidis I, et al (2016) Control design for hybrid systems with TuLiP: The Temporal Logic Planning toolbox. In: 2016 IEEE Conference on Control Applications (IEEE CCA)Google Scholar
  13. Gol EA, Lazar M, Belta C (2015) Temporal logic model predictive control. Automatica 56.11:78–85MathSciNetzbMATHGoogle Scholar
  14. Guo M, Dimarogonas DV (2015) Multi-agent plan reconfiguration under local LTL specifications. Int J Robot Res 34.2:218–235CrossRefGoogle Scholar
  15. Guo M, Johansson KH, Dimarogonas DV (2013) Revising motion planning under linear temporal logic specifications in partially known workspaces. In: IEEE International Conference on Robotics and Automation (ICRA)Google Scholar
  16. Hashimoto K, Adachi S, Dimarogonas DV (2018) Energy-aware networked control systems under temporal logic specifications. In: Proceedings of the 57th IEEE Conference on Decision and Control (IEEE CDC)Google Scholar
  17. He K, et al (2015) Towards manipulation planning with temporal logic specifications. In: IEEE International Conference on Robotics and Automation (ICRA)Google Scholar
  18. Heddy G, et al (2015) Linear temporal logic (LTL) based monitoring of smart manufacturing systems. In: Proceedings of the Annual Conference of the Prognostics and Health Management SocietyGoogle Scholar
  19. Heemels WPMH, Johansson KH, Tabuada P (2012) An introduction to event-triggered and self-triggered control. In: Proceedings of the 51st IEEE Conference on Decision and Control (IEEE CDC), pp 3270–3285Google Scholar
  20. Hespanha JP, Naghshtabrizi P, Xu Y (2007) A survey of recent results in networked control systems. Proceedings of the IEEE 95.1:138–162CrossRefGoogle Scholar
  21. Karaman S, Frazzoli E (2011a) Linear temporal logic vehicle routing with applications to multi-UAV mission planning. Int J Robust Nonlin Control 21.12:1372–1395MathSciNetCrossRefGoogle Scholar
  22. Karaman S (2011b) Sampling-based algorithms for optimal motion planning. Int J Robot Res 30.7:846–894CrossRefGoogle Scholar
  23. Karaman S (2012) Sampling-based algorithms for optimal motion planning with deterministic μ-calsulus speciFIcations. In: Proceedings of 2012 American Control Conference, pp 735–742Google Scholar
  24. Karimadini M, Lin H (2011) Guaranteed global performance through local coordinations. Automatica 47.5:890–898MathSciNetCrossRefGoogle Scholar
  25. Kehoe B, et al (2015) A survey of research on cloud robotics and automation. IEEE Trans Autom Sci Eng 12.2:398–409CrossRefGoogle Scholar
  26. Kloetzer M, Belta C (2008) A fully automated framework for control of linear systems from temporal logic specifications. IEEE Trans Autom Control 53.1:287–297MathSciNetCrossRefGoogle Scholar
  27. Kress-Gazit H, Fainekos GE, Pappas GJ (2007) Where’s Waldo? sensor-based temporal logic motion planning. In: IEEE International Conference on Robotics and Automation (ICRA)Google Scholar
  28. Kress-Gazit H (2009) Temporal-logic-based reactive mission and motion planning. IEEE Trans Robot 25.6:1370–1381CrossRefGoogle Scholar
  29. Kress-Gazit H, Lahijanian M, Raman V (2018) Synthesis for robots: guarantees and feedback for robot behavior. Annual Review of Control, Robotics, and Autonomous Systems 1:211–236CrossRefGoogle Scholar
  30. LaValle SM (2006) Planning Algorithms Cambridge. Cambridge University Press, UKCrossRefGoogle Scholar
  31. Livingston SC, Murray RM (2013) Just-in-time synthesis for reactive motion planning with temporal logic. In: Proceedings of IEEE International Conference on Robotics and Automation (ICRA)Google Scholar
  32. Livingston SC, Wolff EM, Murray RM (2015) Cross-entropy temporal logic motion planning. In: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control (HSCC), pp 269–278Google Scholar
  33. Majumdar A, Tedrake R (2017) Funnel libraries for real-time robust feedback motion planning. Int J Robot Res 36.8:947–982CrossRefGoogle Scholar
  34. Mazo M, Davitian A, Tabuada P (2010) PESSOA: a tool for embedded controller synthesis. In: Proceedings of the 22nd International Conference on Computer Aided Verification, pp 566–569CrossRefGoogle Scholar
  35. Monteiro RDC, Adler I (1989) Interior path following primal-dual algorithms. Part II: Convex Quadratic Programming. Math Prog 44:43–66CrossRefGoogle Scholar
  36. Morel G, Petin JF, Lamboley P (2001) Formal specification for manufacturing systems automation. In: Proceedings of the 10th IFAC Symposium on Information Control Problems in ManufacturingGoogle Scholar
  37. Nilsson P, et al (2012) Temporal logic control of switched affine systems with an application in fuel balancing. In: IEEE Conference on Decision and Control (IEEE CDC)Google Scholar
  38. Oddoux D, Gastin P (2001) LTL2BA software: fast translation from LTL formulae to Büchi automaton. In:
  39. Pepy R, Kieffer M, Walter E (2009) Reliable Robust Path Planning with application to Mobile Robots. Int J Appl Math Comput Sci 19.3:413–424CrossRefGoogle Scholar
  40. Pola G, Pepe P, Benedetto MDD (2018) Decentralized supervisory control of networks of nonlinear control systems. IEEE Trans Autom Control 63.9:2803–2817MathSciNetCrossRefGoogle Scholar
  41. Tedrake R, et al (2010) LQR-trees: feedback motion planning via sums-of-squares verication. Int J Robot Res 29.8:1038–1052CrossRefGoogle Scholar
  42. Tumova J, Dimarogonas DV (2016) Multi-agent planning under local LTL specifications and event-based synchronization. Automatica 70:239–248MathSciNetCrossRefGoogle Scholar
  43. Verginis CK, Dimarogonas DV (2017) Distributed cooperative manipulation under timed temporal specifications. In: Proceedings of 2017 American Control ConferenceGoogle Scholar
  44. Wang X, Lemmon MD (2009) Self-triggered feedback control systems with finite L2 gain stability. IEEE Trans Autom Control 54.3:452–467CrossRefGoogle Scholar
  45. Wongpiromsarn T, Topcu U, Murray RM (2012) Receding horizon temporal logic planning. IEEE Trans Autom Control 57.11:2817–2830MathSciNetCrossRefGoogle Scholar
  46. Zhang L, et al (2005) A New Method for Stabilization of Networked Control Systems with Random delays. IEEE Trans Autom Control 50.8:1177–1181MathSciNetCrossRefGoogle Scholar
  47. Zhang W, Branicky MS, Phillips SM (2001) Stability of Networked Control Systems. IEEE Control Syst 21.1:84–99Google Scholar

Copyright information

© Springer Science+Business Media, LLC, part of Springer Nature 2019

Authors and Affiliations

  1. 1.Graduate School of Engineering ScienceOsaka UniversityOsakaJapan
  2. 2.School of Electrical EngineeringKTH Royal Institute of TechnologyStockholmSweden

Personalised recommendations