{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,5]],"date-time":"2025-06-05T04:16:07Z","timestamp":1749096967434,"version":"3.41.0"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319448770"},{"type":"electronic","value":"9783319448787"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-44878-7_6","type":"book-chapter","created":{"date-parts":[[2016,8,16]],"date-time":"2016-08-16T15:20:46Z","timestamp":1471360846000},"page":"85-101","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Scheduling of Controllers\u2019 Update-Rates for Residual Bandwidth Utilization"],"prefix":"10.1007","author":[{"given":"Majid","family":"Zamani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Soumyajit","family":"Dey","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sajid","family":"Mohamed","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pallab","family":"Dasgupta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"suffix":"Jr.","given":"Manuel","family":"Mazo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,8,17]]},"reference":[{"key":"6_CR1","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1016\/S0167-6911(99)00055-9","volume":"38","author":"D Angeli","year":"1999","unstructured":"Angeli, D., Sontag, E.D.: Forward completeness, unboundedness observability, and their Lyapunov characterizations. Syst. Control Lett. 38, 209\u2013217 (1999)","journal-title":"Syst. Control Lett."},{"issue":"9","key":"6_CR2","doi-asserted-by":"publisher","first-page":"2030","DOI":"10.1109\/TAC.2010.2042980","volume":"55","author":"A Anta","year":"2010","unstructured":"Anta, A., Tabuada, P.: To sample or not to sample: self-triggered control for nonlinear systems. IEEE Trans. Autom. Control 55(9), 2030\u20132042 (2010)","journal-title":"IEEE Trans. Autom. Control"},{"key":"6_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/3-540-45351-2_15","volume-title":"Hybrid Systems: Computation and Control","author":"G Behrmann","year":"2001","unstructured":"Behrmann, G., Fehnker, A., Hune, T., Larsen, K.G., Pettersson, P., Romijn, J.M.T., Vaandrager, F.W.: Minimum-cost reachability for priced timed automata. In: Di Benedetto, M.D., Sangiovanni-Vincentelli, A.L. (eds.) HSCC 2001. LNCS, vol. 2034, pp. 147\u2013161. Springer, Heidelberg (2001)"},{"issue":"4","key":"6_CR4","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1109\/9.664150","volume":"43","author":"MS Branicky","year":"1998","unstructured":"Branicky, M.S.: Multiple Lyapunov functions and other analysis tools for switched and hybrid systems. IEEE Trans. Autom. Control 43(4), 475\u2013482 (1998)","journal-title":"IEEE Trans. Autom. Control"},{"issue":"4","key":"6_CR5","doi-asserted-by":"publisher","first-page":"902","DOI":"10.1109\/TCST.2010.2053205","volume":"6","author":"A Cervin","year":"2011","unstructured":"Cervin, A., Velasco, M., Marti, P., Camacho, A.: Optimal online sampling period assignment: theory and experiments. IEEE Trans. Control Syst. Technol. 6(4), 902\u2013910 (2011)","journal-title":"IEEE Trans. Control Syst. Technol."},{"key":"6_CR6","unstructured":"Chakraborty, S., K\u00fcnzli, S., Thiele, L.: A general framework for analysing system properties in platform-based embedded system designs. In: DATE, vol. 3, p. 10190 (2003)"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"D\u2019Innocenzo, A., Weiss, G., Alur, R., Isaksson, A.J., Johansson, K.H., Pappas, G.J.: Scalable scheduling algorithms for wireless networked control systems. In: IEEE International Conference on Automation Science and Engineering, CASE, pp. 409\u2013414. IEEE (2009)","DOI":"10.1109\/COASE.2009.5234106"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Goswami, D., Masrur, A., Schneider, R., Xue, C.J., Chakraborty, S.: Multirate controller design for resource-and schedule-constrained automotive ECUs. In: Proceedings of the Conference on Design, Automation and Test in Europe, pp. 1123\u20131126. EDA Consortium (2013)","DOI":"10.7873\/DATE.2013.235"},{"issue":"3","key":"6_CR9","doi-asserted-by":"publisher","first-page":"571","DOI":"10.1109\/TAC.2010.2058497","volume":"56","author":"L Greco","year":"2011","unstructured":"Greco, L., Fontanelli, D., Bicchi, A.: Design and stability analysis for anytime control via stochastic scheduling. IEEE Trans. Autom. Control 56(3), 571\u2013585 (2011)","journal-title":"IEEE Trans. Autom. Control"},{"key":"6_CR10","volume-title":"Linear Robust Control","author":"M Green","year":"1994","unstructured":"Green, M., Limebeer, D.J.N.: Linear Robust Control. Prentice Hall, Englewood Cliffs (1994)"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Hespanha, J.P., et al.: Stability of switched systems with average dwell-time. In: Proceedings of the 38th IEEE Conference on Decision and Control, vol. 3, pp. 2655\u20132660. IEEE (1999)","DOI":"10.1109\/CDC.1999.831330"},{"key":"6_CR12","volume-title":"Nonlinear Systems","author":"HK Khalil","year":"1996","unstructured":"Khalil, H.K.: Nonlinear Systems, 2nd edn. Prentice-Hall Inc., New Jersey (1996)","edition":"2"},{"key":"6_CR13","unstructured":"Larsen, K.G.: Priced timed automata: theory and tools. In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS, pp. 417\u2013425 (2009)"},{"issue":"3","key":"6_CR14","doi-asserted-by":"publisher","first-page":"619","DOI":"10.1109\/TAC.2008.2009597","volume":"54","author":"D Ne\u0161ic","year":"2009","unstructured":"Ne\u0161ic, D., Teel, A., Carnevale, D.: Explicit computation of the sampling period in emulation of controllers for nonlinear sampled-data systems. IEEE Trans. Autom. Control 54(3), 619\u2013624 (2009)","journal-title":"IEEE Trans. Autom. Control"},{"issue":"4","key":"6_CR15","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1016\/S0167-6911(99)00073-0","volume":"38","author":"D Ne\u0161i\u0107","year":"1999","unstructured":"Ne\u0161i\u0107, D., Teel, A.R., Kokotovi\u0107, P.: Sufficient conditions for stabilization of sampled-data nonlinear systems via discrete-time approximations. Syst. Control Lett. 38(4), 259\u2013270 (1999)","journal-title":"Syst. Control Lett."},{"issue":"4","key":"6_CR16","doi-asserted-by":"publisher","first-page":"492","DOI":"10.1109\/TII.2010.2055878","volume":"6","author":"A Quagli","year":"2010","unstructured":"Quagli, A., Fontanelli, D., Greco, L., Palopoli, L., Bicchi, A.: Design of embedded controllers based on anytime computing. IEEE Trans. Ind. Inf. 6(4), 492\u2013502 (2010)","journal-title":"IEEE Trans. Ind. Inf."},{"key":"6_CR17","doi-asserted-by":"crossref","unstructured":"Raha, R., Hazra, A., Mondal, A., Dey, S., Chakrabarti, P.P., Dasgupta, P.: Synthesis of sampling modes for adaptive control. In: IEEE International Conference on Control System, Computing and Engineering (ICCSCE), pp. 294\u2013299. IEEE (2014)","DOI":"10.1109\/ICCSCE.2014.7072733"},{"key":"6_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/978-3-540-24730-2_19","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"JI Rasmussen","year":"2004","unstructured":"Rasmussen, J.I., Larsen, K.G., Subramani, K.: Resource-optimal scheduling using priced timed automata. In: Jensen, K., Podelski, A. (eds.) TACAS 2004. LNCS, vol. 2988, pp. 220\u2013235. Springer, Heidelberg (2004)"},{"key":"6_CR19","doi-asserted-by":"crossref","unstructured":"Sharifi-Kolarijani, A., Adzkiya, D., Mazo, M., Jr.: Symbolic abstractions for the scheduling of event-triggered control systems. In: Proceedings of 54st IEEE Conference on Decision and Control, Osaka, Japan, December 2015","DOI":"10.1109\/CDC.2015.7403187"},{"key":"6_CR20","series-title":"Texts in Applied Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0577-7","volume-title":"Mathematical Control Theory","author":"Eduardo D. Sontag","year":"1998","unstructured":"Sontag, E.D.: Mathematical Control Theory, vol. 6, 2nd edn. Springer, New York (1998)"},{"key":"6_CR21","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/978-3-540-77653-6_3","volume-title":"Nonlinear and Optimal Control Theory","author":"ED Sontag","year":"2008","unstructured":"Sontag, E.D.: Input to state stability: basic concepts and results. In: Nistri, P., Stefani, G. (eds.) Nonlinear and Optimal Control Theory. Lecture Notes in Mathematics, vol. 1932, pp. 163\u2013220. Springer, Berlin (2008)"},{"issue":"9","key":"6_CR22","doi-asserted-by":"publisher","first-page":"1680","DOI":"10.1109\/TAC.2007.904277","volume":"52","author":"P Tabuada","year":"2007","unstructured":"Tabuada, P.: Event-triggered real-time scheduling of stabilizing control tasks. IEEE Trans. Autom. Control 52(9), 1680\u20131685 (2007)","journal-title":"IEEE Trans. Autom. Control"},{"key":"6_CR23","doi-asserted-by":"crossref","unstructured":"Thiele, L., Chakraborty, S., Naedele, M.: Real-time calculus for scheduling hard real-time systems. In: IEEE International Symposium on Circuits, Systems. Emerging Technologies for the 21st Century, vol. 4, pp. 101\u2013104 (2000)","DOI":"10.1109\/ISCAS.2000.858698"},{"key":"6_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"601","DOI":"10.1007\/978-3-540-71493-4_46","volume-title":"Hybrid Systems: Computation and Control","author":"G Weiss","year":"2007","unstructured":"Weiss, G., Alur, R.: Automata based interfaces for control and scheduling. In: Bemporad, A., Bicchi, A., Buttazzo, G. (eds.) HSCC 2007. LNCS, vol. 4416, pp. 601\u2013613. Springer, Heidelberg (2007)"},{"issue":"9","key":"6_CR25","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1007\/s40111-013-0003-5","volume":"18","author":"SAM Wiesbaden","year":"2013","unstructured":"Wiesbaden, S.A.M.: Autosar \u2013 The worldwide automotive standard for E\/E systems. ATZextra worldwide 18(9), 5\u201312 (2013)","journal-title":"ATZextra worldwide"}],"container-title":["Lecture Notes in Computer Science","Formal Modeling and Analysis of Timed Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-44878-7_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,4]],"date-time":"2025-06-04T18:34:21Z","timestamp":1749062061000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-44878-7_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319448770","9783319448787"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-44878-7_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"17 August 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FORMATS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Formal Modeling and Analysis of Timed Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Quebec","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Canada","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2016","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 August 2016","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 August 2016","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"formats2016","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}