{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T10:31:41Z","timestamp":1761647501745},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540714927"},{"type":"electronic","value":"9783540714934"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-71493-4_46","type":"book-chapter","created":{"date-parts":[[2007,5,30]],"date-time":"2007-05-30T21:33:57Z","timestamp":1180560837000},"page":"601-613","source":"Crossref","is-referenced-by-count":37,"title":["Automata Based Interfaces for Control and Scheduling"],"prefix":"10.1007","author":[{"given":"Gera","family":"Weiss","sequence":"first","affiliation":[]},{"given":"Rajeev","family":"Alur","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"46_CR1","doi-asserted-by":"crossref","unstructured":"Sastry, S., et al.: Modeling and design of embedded software. Proceedings of the IEEE\u00a091(1) (2003)","DOI":"10.1109\/JPROC.2002.805816"},{"key":"46_CR2","doi-asserted-by":"crossref","unstructured":"Lee, E.A.: What\u2019s ahead for embedded software. IEEE Computer, 18\u201326 (2000)","DOI":"10.1109\/2.868693"},{"key":"46_CR3","volume-title":"Real-Time Systems: Design Principles for Distributed Embedded Applications","author":"H. Kopetz","year":"2000","unstructured":"Kopetz, H.: Real-Time Systems: Design Principles for Distributed Embedded Applications. Kluwer Academic Publishers, Dordrecht (2000)"},{"key":"46_CR4","volume-title":"Hard real-time computing systems: Predictable scheduling algorithms and applications","author":"G. Buttazo","year":"1997","unstructured":"Buttazo, G.: Hard real-time computing systems: Predictable scheduling algorithms and applications. Kluwer Academic Publishers, Dordrecht (1997)"},{"key":"46_CR5","volume-title":"Proceedings of the 25th IEEE Real-Time Systems Symposium","author":"I. Shin","year":"2004","unstructured":"Shin, I., Lee, I.: Compsitional real-time scheduling framework. In: Proceedings of the 25th IEEE Real-Time Systems Symposium, IEEE Computer Society Press, Los Alamitos (2004)"},{"key":"46_CR6","first-page":"133","volume-title":"Handbook of Theoretical Computer Science, vol. B","author":"W. Thomas","year":"1990","unstructured":"Thomas, W.: Automata on infinite objects. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, vol. B, pp. 133\u2013191. Elsevier Science Publishers, Amsterdam (1990)"},{"issue":"1","key":"46_CR7","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1109\/54.655185","volume":"15","author":"F. Balarin","year":"1998","unstructured":"Balarin, F., et al.: Scheduling for embedded real-time systems. IEEE Design and Test of Computers\u00a015(1), 71\u201382 (1998), doi:10.1109\/54.655185","journal-title":"IEEE Design and Test of Computers"},{"issue":"1","key":"46_CR8","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/S0890-5401(03)00067-1","volume":"185","author":"N. Lynch","year":"2003","unstructured":"Lynch, N., Segala, R., Vaandrager, F.: Hybrid I\/O automata. Information and Computation\u00a0185(1), 105\u2013157 (2003)","journal-title":"Information and Computation"},{"key":"46_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/3-540-45449-7_11","volume-title":"Embedded Software","author":"L. Alfaro de","year":"2001","unstructured":"de Alfaro, L., Henzinger, T.: Interface theories for component-based design. In: Henzinger, T.A., Kirsch, C.M. (eds.) EMSOFT 2001. LNCS, vol.\u00a02211, pp. 148\u2013165. Springer, Heidelberg (2001)"},{"key":"46_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"478","DOI":"10.1007\/3-540-44585-4_46","volume-title":"Computer Aided Verification","author":"Y. Abdedda\u00efm","year":"2001","unstructured":"Abdedda\u00efm, Y., Maler, O.: Job-shop scheduling using timed automata. In: Berry, G., Comon, H., Finkel, A. (eds.) CAV 2001. LNCS, vol.\u00a02102, pp. 478\u2013492. Springer, Heidelberg (2001)"},{"key":"46_CR11","doi-asserted-by":"crossref","unstructured":"Balbastre, P., Ripoll, I., Crespo, A.: Control tasks delay reduction under static and dynamic scheduling policies. In: RTCSA\u201900, p. 522 (2000)","DOI":"10.1109\/RTCSA.2000.896437"},{"key":"46_CR12","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1109\/RTCSA.1999.811192","volume-title":"RTCSA \u201999: Proceedings of the Sixth International Conference on Real-Time Computing Systems and Applications","author":"I. Bate","year":"1999","unstructured":"Bate, I., Burns, A.: A framework for scheduling in safety-critical embedded control systems. In: RTCSA \u201999: Proceedings of the Sixth International Conference on Real-Time Computing Systems and Applications, Washington, DC, USA, p. 46. IEEE Computer Society Press, Los Alamitos (1999)"},{"key":"46_CR13","doi-asserted-by":"crossref","unstructured":"Cervin, A.: Improved scheduling of control tasks. In: Proceedings of the 11th Euromicro Conference on Real-Time Systems, York, UK, June 1999, pp. 4\u201310 (1999)","DOI":"10.1109\/EMRTS.1999.777444"},{"key":"46_CR14","doi-asserted-by":"crossref","unstructured":"Audsley, N., Tindell, K., Burns, A.: The end of the line for static cyclic scheduling? In: Real-Time Systems 1993, Proceedings of the Fifth Euromicro Workshop on on Real-Time Systems (1993)","DOI":"10.1109\/EMWRT.1993.639042"},{"issue":"2","key":"46_CR15","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1016\/S0167-6911(00)00049-9","volume":"41","author":"V.D. Blondel","year":"2000","unstructured":"Blondel, V.D., Tsitsiklis, J.N.: The boundedness of all products of a pair of matrices is undecidable. Systems Control Lett.\u00a041(2), 135\u2013140 (2000)","journal-title":"Systems Control Lett."},{"key":"46_CR16","unstructured":"Hespanha, J., Morse, A.: Stability of switched systems with average dwell-time (1999)"},{"key":"46_CR17","series-title":"Systems & Control: Foundations & Applications","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0017-8","volume-title":"Switching in systems and control","author":"D. Liberzon","year":"2003","unstructured":"Liberzon, D.: Switching in systems and control. Systems & Control: Foundations & Applications. Birkh\u00e4user Boston Inc., Boston (2003)"},{"issue":"6","key":"46_CR18","doi-asserted-by":"publisher","first-page":"463","DOI":"10.2307\/2321906","volume":"84","author":"P. Schultz","year":"1977","unstructured":"Schultz, P.: Research Problems: Mortality of 2 \u00d7\u00a02 Matrices. Amer. Math. Monthly\u00a084(6), 463\u2013464 (1977)","journal-title":"Amer. Math. Monthly"},{"key":"46_CR19","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1016\/0024-3795(95)90006-3","volume":"231","author":"L. Gurvits","year":"1995","unstructured":"Gurvits, L.: Stability of discrete linear inclusion. Linear Algebra Appl.\u00a0231, 47\u201385 (1995)","journal-title":"Linear Algebra Appl."},{"key":"46_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/3-540-44618-4_13","volume-title":"CONCUR 2000 - Concurrency Theory","author":"K. Etessami","year":"2000","unstructured":"Etessami, K., Holzmann, G.J.: Optimizing B\u00fcchi automata. In: Palamidessi, C. (ed.) CONCUR 2000. LNCS, vol.\u00a01877, p. 153. Springer, Heidelberg (2000)"}],"container-title":["Lecture Notes in Computer Science","Hybrid Systems: Computation and Control"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-71493-4_46.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:21:29Z","timestamp":1605763289000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-71493-4_46"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540714927","9783540714934"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-71493-4_46","relation":{},"subject":[]}}