Distributed Control Synthesis Using Euler’s Method

  • A. Le Coënt
  • J. Alexandre dit Sandretto
  • A. Chapoutot
  • L. Fribourg
  • F. De Vuyst
  • L. Chamoin
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10506)

Abstract

In a previous work, we explained how Euler’s method for computing approximate solutions of systems of ordinary differential equations can be used to synthesize safety controllers for sampled switched systems. We continue here this line of research by showing how Euler’s method can also be used for synthesizing safety controllers in a distributed manner. The global system is seen as an interconnection of two (or more) sub-systems where, for each component, the sub-state corresponding to the other component is seen as an “input”; the method exploits (a variant of) the notions of incremental input-to-state stability (\(\delta \)-ISS) and ISS Lyapunov function. We illustrate this distributed control synthesis method on a building ventilation example.

References

  1. 1.
    Angeli, D.: A Lyapunov approach to incremental stability. In: Proceeding of IEEE Conference on Decision and Control, vol. 3, pp. 2947–2952 (2000)Google Scholar
  2. 2.
    Asarin, E., Dang, T., Girard, A.: Hybridization methods for the analysis of nonlinear systems. Acta Inform. 43(7), 451–476 (2007)MathSciNetCrossRefMATHGoogle Scholar
  3. 3.
    Atkinson, K.E.: An Introduction to Numerical Analysis. Wiley, Hoboken (2008)Google Scholar
  4. 4.
    Chen, X., Sankaranarayanan, S.: Decomposed reachability analysis for nonlinear systems. In: Proceeding of IEEE Real-Time Systems Symposium, pp. 13–24 (2016)Google Scholar
  5. 5.
    Dahlquist, G.: Error analysis for a class of methods for stiff non-linear initial value problems. In: Watson, G.A. (ed.) Numerical Analysis. LNM, vol. 506, pp. 60–72. Springer, Heidelberg (1976). doi:10.1007/BFb0080115 CrossRefGoogle Scholar
  6. 6.
    Dallal, E., Tabuada, P.: On compositional symbolic controller synthesis inspired by small-gain theorems. In: Proceeding of IEEE Conference on Decision and Control, pp. 6133–6138 (2015)Google Scholar
  7. 7.
    Donchev, T., Farkhi, E.: Stability and euler approximation of one-sided lipschitz differential inclusions. SIAM J. Control Optim. 36(2), 780–796 (1998)MathSciNetCrossRefMATHGoogle Scholar
  8. 8.
    Eaton, J.W., Bateman, D., Hauberg, S.: Gnu Octave. Network theory Ltd., London (1997)Google Scholar
  9. 9.
    Hespanha, J.P., Liberzon, D., Teel, A.R.: Lyapunov conditions for input-to-state stability of impulsive systems. Automatica 44(11), 2735–2744 (2008)MathSciNetCrossRefMATHGoogle Scholar
  10. 10.
    Jiang, Z.-P., Teel, A.R., Praly, L.: Small-gain theorem for ISS systems and applications. Math. Control Sig. Syst. 7(2), 95–120 (1994)MathSciNetCrossRefMATHGoogle Scholar
  11. 11.
    Jiang, Z.-P., Mareels, I.M.Y., Wang, Y.: A Lyapunov formulation of the nonlinear small-gain theorem for interconnected iss systems. Automatica 32(8), 1211–1215 (1996)MathSciNetCrossRefMATHGoogle Scholar
  12. 12.
    Kim, E.S., Arcak, M., Seshia, S.A.: Compositional controller synthesis for vehicular traffic networks. In: Proceeding of IEEE Annual Conference on Decision and Control, pp. 6165–6171 (2015)Google Scholar
  13. 13.
    Larsen, K.G., Mikučionis, M., Muniz, M., Srba, J., Taankvist, J.H.: Online and compositional learning of controllers with application to floor heating. In: Proceeding of International Conference Tools and Algorithms for Construction and Analysis of Systems (2016)Google Scholar
  14. 14.
    Le Coënt, A., De Vuyst, F., Chamoin, L., Fribourg, L.: Control synthesis of nonlinear sampled switched systems using Euler’s method. In: Proceeding of International Workshop on Symbolic and Numerical Methods for Reachability Analysis of EPTCS, vol. 247, pp. 18–33. Open Publishing Association (2017)Google Scholar
  15. 15.
    Le Coënt, A., Fribourg, L., Markey, N., De Vuyst, F., Chamoin, L.: Distributed synthesis of state-dependent switching control. In: Larsen, K.G., Potapov, I., Srba, J. (eds.) RP 2016. LNCS, vol. 9899, pp. 119–133. Springer, Cham (2016). doi:10.1007/978-3-319-45994-3_9 CrossRefGoogle Scholar
  16. 16.
    Meyer, P.-J.: Invariance and symbolic control of cooperative systems for temperature regulation in intelligent buildings. Université Grenoble Alpes, Theses (2015)Google Scholar
  17. 17.
    Meyer, P.-J., Nazarpour, H., Girard, A., Witrant, E.: Experimental implementation of UFAD regulation based on robust controlled invariance. In: Proceeding of European Control Conference, pp. 1468–1473 (2014)Google Scholar
  18. 18.
    Yang, G., Liberzon, D.: A lyapunov-based small-gain theorem for interconnected switched systems. Syst. Control Lett. 78, 47–54 (2015)MathSciNetCrossRefMATHGoogle Scholar

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  • A. Le Coënt
    • 1
  • J. Alexandre dit Sandretto
    • 4
  • A. Chapoutot
    • 4
  • L. Fribourg
    • 2
  • F. De Vuyst
    • 1
  • L. Chamoin
    • 3
  1. 1.CMLA, CNRS, ENS Paris-SaclayCachanFrance
  2. 2.LSV, CNRS, ENS Paris-Saclay, INRIACachanFrance
  3. 3.LMT, CNRS, ENS Paris-SaclayCachanFrance
  4. 4.U2IS, ENSTA ParisTechPalaiseauFrance

Personalised recommendations