Skip to main content
SpringerLink
Log in
Book cover

Control Subject to Computational and Communication Constraints pp 197–217Cite as

Abstracted Models for Scheduling of Event-Triggered Control Data Traffic

  • Chapter
  • First Online:

Part of the book series: Lecture Notes in Control and Information Sciences ((LNCIS,volume 475))

Abstract

Event-Triggered control (ETC) implementations have been proposed to overcome the inefficiencies of periodic (time-triggered) controller designs, namely the over-exploitation of the computing and communication infrastructure. However, the potential of aperiodic Event-Triggered techniques to reuse the freed bandwidth, and to reduce energy consumption on wireless settings, has not yet been truly reached. The main limitation to fully exploit ETC’s great traffic reductions lies on the difficulty to predict the occurrence of controller updates, forcing the use of conservative scheduling approaches in practice. Having a model of the timing behaviour of ETC is of paramount importance to enable the construction of model-based schedulers for such systems. Furthermore, on wireless control systems these schedulers allow to tightly schedule listening times, thus reducing energy consumption. In this chapter we describe an approach to model ETC traffic employing ideas from the symbolic abstractions literature. The resulting models of traffic are timed-automata. We also discuss briefly how these models can be employed to automatically synthesize schedulers.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   129.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD   169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

References

  1. Araújo, J., Mazo Jr., M., Anta, A., Tabuada, P., Johansson, K.H.: System architectures, protocols and algorithms for aperiodic wireless control systems. IEEE Trans. Ind. Inf. 10(1), 175–184 (2014)

    Article  Google Scholar 

  2. Caccamo, M., Buttazzo, G., Sha, L.: Elastic feedback control. In: Proceedings 12th Euromicro Conference on Real-Time Systems, pp. 121–128. (2000)

    Google Scholar 

  3. Bhattacharya, R., Balas, G.: Anytime control algorithm: model reduction approach. J. Guid. Control Dyn. 27(5), 767–776 (2004)

    Article  Google Scholar 

  4. Al-Areqi, S., Gorges, D., Reimann, S., Liu, S.: Event-based control and scheduling codesign of networked embedded control systems, pp. 5299–5304. (2013)

    Google Scholar 

  5. Kolarijani, A.S., Mazo Jr., M.: A formal traffic characterization of LTI event-triggered control systems. IEEE Trans. Control Netw. Syst. 5(1), 274–283. (2018)

    Article  MathSciNet  Google Scholar 

  6. Abdeddaïm, Y., Asarin, E., Maler, O.: Scheduling with timed automata. Theor. Comput. Sci. 354(2), 272–300 (2006)

    Article  MathSciNet  Google Scholar 

  7. Fiter, C., Hetel, L., Perruquetti, W., Richard, J.-P.: A state dependent sampling for linear state feedback. Automatica 48(8), 1860–1867 (2012)

    Article  MathSciNet  Google Scholar 

  8. Hetel, L., Daafouz, J., Lung, C.: LMI control design for a class of exponential uncertain systems with application to network controlled switched systems. In: Proceedings of the American Control Conference, pp. 1401–1406. (2007)

    Google Scholar 

  9. Chutinan, A., Krogh, B.: Computing polyhedral approximations to flow pipes for dynamic systems. In: Proceedings 37th IEEE Conference on Decision and Control, vol. 2, pp. 2089–2094. (1998)

    Google Scholar 

  10. Alur, R., Dill, D.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183–235 (1994)

    Article  MathSciNet  Google Scholar 

  11. Maler, O., Pnueli, A., Sifakis, J.: On the synthesis of discrete controllers for timed systems. In: Mayr E., Puech C. (eds.) Proceedings of the 12th Symposium on Theoretical Aspects of Computer Science, vol. 900, pp.229–242 (1995)

    Chapter  Google Scholar 

  12. Uppaal tiga. [Online]. Available: http://people.cs.aau.dk/~adavid/tiga/

  13. Tabuada, P.: Verification and Control of Hybrid Systems: A Symbolic Approach. Springer, London, Limited (2009)

    Book  Google Scholar 

  14. Ewald, G.: Graduate texts in mathematics. In: Combinatorial Convexity And Algebraic Geometry. Springer, New York (1996)

    Book  Google Scholar 

  15. Henzinger, T., Nicollin, X., Sifakis, J., Yovine, S.: Symbolic model checking for real-time systems. Inf. Comput. 111(2), 193–244 (1994)

    Article  MathSciNet  Google Scholar 

  16. Bengtsson, J., Yi, W.: Timed automata: semantics, algorithms and tools. Lect. Concurr. Petri Nets 3098, 87–124 (2004)

    Article  Google Scholar 

  17. Behrmann, G., David, A., Larsen, K.: A tutorial on Uppaal. Form. Methods Des. Real-Time Syst. 3185, 200–236 (2004)

    Article  Google Scholar 

  18. Chatain, T., David, A., Larsen, K.G.: Playing games with timed games. IFAC Proc. Vol. 42(17), 238–243 (2009)

    Article  Google Scholar 

  19. Adzkiya, D., Mazo Jr., M.: Scheduling of event-triggered networked control systems using timed game automata. arXiv:1610.03729 (2016)

  20. Tabuada, P.: Event-triggered real-time scheduling of stabilizing control tasks. IEEE Trans. Autom. Control 52(9), 1680–1685 (2007)

    Article  MathSciNet  Google Scholar 

  21. Anta, A., Tabuada, P.: To sample or not to sample: self-triggered control for nonlinear systems. IEEE Trans. Autom. Control 55, 2030–2042 (2010)

    Article  MathSciNet  Google Scholar 

  22. Kvasnica, M., Grieder, P., Baotic, M., Morari, M.: Multi-parametric toolbox (MPT). In: HSCC, pp. 448–462. Springer, Berlin (2004)

    Chapter  Google Scholar 

  23. Bagnara, R., Hill, P.M., Zaffanella, E.: The parma polyhedra library: toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems. Sci. Comput. Program. 72(1), 3–21 (2008)

    Article  MathSciNet  Google Scholar 

  24. Bin, L., Rongben, W., Jiangwei, C.: A new optimal controller for intelligent vehicle headway distance. In: IEEE Intelligent Vehicle Symposium, vol. 2, pp. 387–392 (2002)

    Google Scholar 

  25. Wang, X., Lemmon, M.D.: Event-triggering in distributed networked control systems. IEEE Trans. Autom. Control 56(3), 586–601 (2011)

    Article  MathSciNet  Google Scholar 

  26. Zamani, M., Dey, S., Mohamed, S., Dasgupta, P., Mazo Jr., M.: Scheduling of controllers’ update-rates for residual bandwidth utilization. In: 14th International Conference on Formal Modeling and Analysis of Timed Systems, LNCS, vol. 9884, pp. 85–101 (2016)

    Google Scholar 

  27. Heemels, W.H., Donkers, M., Teel, A.R.: Periodic event-triggered control for linear systems. IEEE Trans. Autom. Control 58(4), 847–861 (2013)

    Article  MathSciNet  Google Scholar 

  28. Balluchi, A., Casagrande, A., Collins, P., Ferrari, A., Villa, T., Sangiovanni-Vincentelli, A.L.: Ariadne: a framework for reachability analysis of hybrid automata. In: Proceedings of the International Syposium on Mathematical Theory of Networks and Systems (2006)

    Google Scholar 

  29. Frehse, G., Le Guernic, C., Donzé, A., Cotton, S., Ray, R., Lebeltel, O., Ripado, R., Girard, A., Dang, T., Maler, O.: Spaceex: scalable verification of hybrid systems. Comput. Aided Verif. 379–395 (2011)

    Google Scholar 

  30. Althoff, M.: An introduction to CORA 2015. In: ARCH@ CPSWeek, pp. 120–151 (2015)

    Google Scholar 

  31. Di Benedetto, M.D., Di Gennaro, S., D’Innocenzo, A.: Digital self-triggered robust control of nonlinear systems. Int. J. Control 86(9), 1664–1672 (2013)

    Article  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Delft University of Technology, Delft, The Netherlands

    M. Mazo Jr., A. Sharifi-Kolarijani & C. Hop

  2. Institut Teknologi Sepuluh Nopember, Surabaya, Indonesia

    D. Adzkiya

Authors
  1. M. Mazo Jr.
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. A. Sharifi-Kolarijani
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. D. Adzkiya
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. C. Hop
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to M. Mazo Jr. .

Editor information

Editors and Affiliations

  1. LAAS-CNRS, Université de Toulouse, Toulouse, France

    Sophie Tarbouriech

  2. Laboratoire des Signaux et Systèmes, CNRS, CentraleSupélec, Université Paris-Sud, Université Paris-Saclay, Gif-sur-Yvette, France

    Antoine Girard

  3. CNRS, Centrale Lille, UMR 9189—Centre de Recherche en Informatique Signal et Automatique de Lille (CRIStAL), Université Lille, Lille, France

    Laurentiu Hetel

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer International Publishing AG, part of Springer Nature

About this chapter

Check for updates. Verify currency and authenticity via CrossMark

Cite this chapter

Mazo Jr., M., Sharifi-Kolarijani, A., Adzkiya, D., Hop, C. (2018). Abstracted Models for Scheduling of Event-Triggered Control Data Traffic. In: Tarbouriech, S., Girard, A., Hetel, L. (eds) Control Subject to Computational and Communication Constraints. Lecture Notes in Control and Information Sciences, vol 475. Springer, Cham. https://doi.org/10.1007/978-3-319-78449-6_10

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-78449-6_10

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-78448-9

  • Online ISBN: 978-3-319-78449-6

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation