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.
Keywords
- Event-triggered Control (ETC)
- Schedule-based Models
- Updated Account
- Symbolic Abstraction
- Timed Automata
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, access via your institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
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)
Caccamo, M., Buttazzo, G., Sha, L.: Elastic feedback control. In: Proceedings 12th Euromicro Conference on Real-Time Systems, pp. 121–128. (2000)
Bhattacharya, R., Balas, G.: Anytime control algorithm: model reduction approach. J. Guid. Control Dyn. 27(5), 767–776 (2004)
Al-Areqi, S., Gorges, D., Reimann, S., Liu, S.: Event-based control and scheduling codesign of networked embedded control systems, pp. 5299–5304. (2013)
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)
Abdeddaïm, Y., Asarin, E., Maler, O.: Scheduling with timed automata. Theor. Comput. Sci. 354(2), 272–300 (2006)
Fiter, C., Hetel, L., Perruquetti, W., Richard, J.-P.: A state dependent sampling for linear state feedback. Automatica 48(8), 1860–1867 (2012)
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)
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)
Alur, R., Dill, D.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183–235 (1994)
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)
Uppaal tiga. [Online]. Available: http://people.cs.aau.dk/~adavid/tiga/
Tabuada, P.: Verification and Control of Hybrid Systems: A Symbolic Approach. Springer, London, Limited (2009)
Ewald, G.: Graduate texts in mathematics. In: Combinatorial Convexity And Algebraic Geometry. Springer, New York (1996)
Henzinger, T., Nicollin, X., Sifakis, J., Yovine, S.: Symbolic model checking for real-time systems. Inf. Comput. 111(2), 193–244 (1994)
Bengtsson, J., Yi, W.: Timed automata: semantics, algorithms and tools. Lect. Concurr. Petri Nets 3098, 87–124 (2004)
Behrmann, G., David, A., Larsen, K.: A tutorial on Uppaal. Form. Methods Des. Real-Time Syst. 3185, 200–236 (2004)
Chatain, T., David, A., Larsen, K.G.: Playing games with timed games. IFAC Proc. Vol. 42(17), 238–243 (2009)
Adzkiya, D., Mazo Jr., M.: Scheduling of event-triggered networked control systems using timed game automata. arXiv:1610.03729 (2016)
Tabuada, P.: Event-triggered real-time scheduling of stabilizing control tasks. IEEE Trans. Autom. Control 52(9), 1680–1685 (2007)
Anta, A., Tabuada, P.: To sample or not to sample: self-triggered control for nonlinear systems. IEEE Trans. Autom. Control 55, 2030–2042 (2010)
Kvasnica, M., Grieder, P., Baotic, M., Morari, M.: Multi-parametric toolbox (MPT). In: HSCC, pp. 448–462. Springer, Berlin (2004)
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)
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)
Wang, X., Lemmon, M.D.: Event-triggering in distributed networked control systems. IEEE Trans. Autom. Control 56(3), 586–601 (2011)
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)
Heemels, W.H., Donkers, M., Teel, A.R.: Periodic event-triggered control for linear systems. IEEE Trans. Autom. Control 58(4), 847–861 (2013)
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)
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)
Althoff, M.: An introduction to CORA 2015. In: ARCH@ CPSWeek, pp. 120–151 (2015)
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)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG, part of Springer Nature
About this chapter
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)