{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:26:17Z","timestamp":1761596777466,"version":"3.43.0"},"reference-count":31,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2002,7,1]],"date-time":"2002-07-01T00:00:00Z","timestamp":1025481600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2002,7,1]],"date-time":"2002-07-01T00:00:00Z","timestamp":1025481600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Real-Time Systems"],"published-print":{"date-parts":[[2002,7]]},"DOI":"10.1023\/a:1015346419267","type":"journal-article","created":{"date-parts":[[2002,12,28]],"date-time":"2002-12-28T18:08:17Z","timestamp":1041098897000},"page":"55-84","source":"Crossref","is-referenced-by-count":69,"title":["Scheduler Modeling Based on the Controller Synthesis Paradigm"],"prefix":"10.1007","volume":"23","author":[{"given":"K.","family":"Altisen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"G\u00f6ssler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Sifakis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"405291_CR1","doi-asserted-by":"crossref","unstructured":"Altisen, K., G\u00f6\u00dfler, G., Pnueli, A., Sifakis, J., Tripakis, S., and Yovine, S. 1999. A framework for scheduler synthesis. In RTSS'99 Proceedings, pp. 154-163.","DOI":"10.1109\/REAL.1999.818838"},{"key":"405291_CR2","doi-asserted-by":"crossref","unstructured":"Altisen, K., G\u00f6\u00dfler, G., and Sifakis, J. 2000. A methodology for the construction of scheduled systems. In M. Joseph (ed.), Proc. FTRTFT 2000, Vol. 1926 of LNCS, pp. 106-120.","DOI":"10.1007\/3-540-45352-0_11"},{"key":"405291_CR3","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","volume":"138","author":"R. Alur","year":"1995","unstructured":"Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T., Ho, P., Nicollin, X., Olivero, A., Sifakis, J., and Yovine, S. 1995. The algorithmic analysis of hybrid systems. Theoretical Computer Science 138: 3-34.","journal-title":"Theoretical Computer Science"},{"key":"405291_CR4","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Alur, R., and Dill, D. 1994. A theory of timed automata. Theoretical Computer Science 126: 183-235.","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"405291_CR5","doi-asserted-by":"crossref","first-page":"127","DOI":"10.3233\/FI-1986-9202","volume":"IX","author":"J. Baeten","year":"1986","unstructured":"Baeten, J., Bergstra, J., and Klop, J. 1986. Syntax and defining equations for an interrupt mechanism in process algebra. Fundamenta Informaticae IX(2): 127-168.","journal-title":"Fundamenta Informaticae"},{"issue":"3","key":"405291_CR6","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1023\/A:1008047130023","volume":"15","author":"H. Ben-Abdallah","year":"1998","unstructured":"Ben-Abdallah, H., Choi, J., Clarke, D., Kim, Y., Lee, I., and Xie, H. 1998. A process algebraic approach to the schedulability analysis of real-time systems. Real-Time Systems 15(3): 189-219.","journal-title":"Real-Time Systems"},{"key":"405291_CR7","unstructured":"Ben-Abdallah, H., Lee, I., and Sokolsky, O. 1999. Specification and analysis of real-time systems with Paragon. In Annals of Software Engineering."},{"key":"405291_CR8","doi-asserted-by":"crossref","unstructured":"Bertin, V., Poize, M., and Sifakis, J. 2000. Towards validated real-time software. In Proc. 12th Euromicro Conference on Real Time Systems, pp. 157-164.","DOI":"10.1109\/EMRTS.2000.854003"},{"key":"405291_CR9","doi-asserted-by":"crossref","unstructured":"Bornot, S., G\u00f6\u00dfler, G., and Sifakis, J. 2000. On the construction of live timed systems. In Proc. TACAS 2000, Vol. 1785 of LNCS.","DOI":"10.1007\/3-540-46419-0_9"},{"key":"405291_CR10","doi-asserted-by":"crossref","first-page":"172","DOI":"10.1006\/inco.2000.2999","volume":"163","author":"S. Bornot","year":"2000","unstructured":"Bornot, S., and Sifakis, J. 2000. An algebraic framework for urgency. Information and Computation 163: 172-202.","journal-title":"Information and Computation"},{"key":"405291_CR11","unstructured":"Braberman, V. 2000. Modeling and checking read-time system designs. Ph.D. thesis, Departamento de Computaci\u00f3n, Universidad de Buenos Aires."},{"key":"405291_CR12","doi-asserted-by":"crossref","unstructured":"Cleaveland, R., L\u00fcttgen, G., Natarajan, V., and Sims, S. 1996. Priorities for modeling and verifying distributed systems. In Proc. TACAS'96, pp. 278-297.","DOI":"10.1007\/3-540-61042-1_50"},{"key":"405291_CR13","doi-asserted-by":"crossref","unstructured":"Daws, C., Olivero, A., Tripakis, S., and Yovine, S. 1996. The tool Kronos. In Hybrid Systems III, Verification and Control, Vol. 1066 of LNCS, pp. 208-219.","DOI":"10.1007\/BFb0020947"},{"issue":"1\u20132","key":"405291_CR14","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1016\/S0167-6423(96)00031-7","volume":"29","author":"W. Elseaidy","year":"1997","unstructured":"Elseaidy, W., Cleaveland, R., and Baugh, J. Jr. 1997. Modeling and verifying active structural control systems. Science of Computer Programming 29(1\u20132): 99-122.","journal-title":"Science of Computer Programming"},{"key":"405291_CR15","unstructured":"Ericsson, C., Wall, A., and Yi, W. 1999. Timed automata as task models for event-driven systems. In Proc. RTCSA'99."},{"key":"405291_CR16","unstructured":"G\u00f6\u00dfler, G. 2001. Prometheus\u2014A compositional modeling tool for real-time systems. In P. Pettersson and S. Yovine (eds), Proc. Workshop RT-TOOLS 2001."},{"key":"405291_CR17","unstructured":"H\u00e4rbour, M., Klein, M., Obenza, R., Pollak, B., and Ralya, T. 1993. A Practitioner's Handbook for Real-Time Analysis. Kluwer."},{"key":"405291_CR18","doi-asserted-by":"crossref","unstructured":"Henzinger, T., Ho, P., and Wong-Toi, H. 1997. HyTech: A model checker for hybrid systems. In Software Tools for Technology Transfer, pp. 110-122.","DOI":"10.1007\/s100090050008"},{"key":"405291_CR19","doi-asserted-by":"crossref","unstructured":"Henzinger, T. A., Horowitz, B., and Kirsch, C. M. 2001. Embedded control systems development with Giotto. In Proc. LCTES 2001 (to appear).","DOI":"10.1145\/384198.384208"},{"key":"405291_CR20","unstructured":"Jensen, H., Larsen, K., and Skou, A. 2000. Scaling up Uppaal: automatic verification of real-time systems using compositionality and abstraction. In Proc. FTRTFT 2000."},{"key":"405291_CR21","doi-asserted-by":"crossref","unstructured":"Kang, I., Lee, I., and Kim, Y. S. 1996. An efficient space generation for the analysis of real-time systems. In Proceedings of the International Symposium on Software Testing and Analysis.","DOI":"10.1145\/229000.226297"},{"key":"405291_CR22","unstructured":"Keshav, S. 1997. An Engineering Approach to Computer Networking. Addison-Wesley."},{"key":"405291_CR23","unstructured":"Kwak, H.-H., Lee, I., Philippou, A., Choi, J.-Y., and Sokolsky, O. 1998. Symbolic schedulability analysis of real-time systems. In RTSS 1998 Proceedings, pp. 409-418."},{"key":"405291_CR24","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1016\/0020-0255(88)90002-3","volume":"44","author":"F. Lin","year":"1988","unstructured":"Lin, F., and Wonham, W. 1988. Decentralized supervisory control of discrete-event systems. Information Sciences 44: 199-224.","journal-title":"Information Sciences"},{"key":"405291_CR25","doi-asserted-by":"crossref","unstructured":"Liu, C. L., and Layland, J. W. 1973. Scheduling algorithms for multiprogramming in a hard-real-time environment. Journal of the ACM 20(1).","DOI":"10.1145\/321738.321743"},{"key":"405291_CR26","doi-asserted-by":"crossref","unstructured":"Maler, O., Pnueli, A., and Sifakis, J. 1995. On the synthesis of discrete controllers for timed systems. In E. Mayr and C. Puech (eds), STACS'95, Vol. 900 of LNCS, pp. 229-242.","DOI":"10.1007\/3-540-59042-0_76"},{"key":"405291_CR27","unstructured":"Mok, A. 1983. Fundamental design problems for the hard real-time environments. Ph.D. thesis, MIT."},{"key":"405291_CR28","doi-asserted-by":"crossref","unstructured":"Niebert, P., and Yovine, S. 2000. Computing optimal operation schemes for chemical plants in multi-batch mode. In Proceedings of Hybrid Systems, Computation and Control, Vol. 1790 of LNCS.","DOI":"10.1007\/3-540-46430-1_29"},{"issue":"3","key":"405291_CR29","doi-asserted-by":"crossref","first-page":"637","DOI":"10.1137\/0325036","volume":"25","author":"P. Ramadge","year":"1987","unstructured":"Ramadge, P., and Wonham, W. 1987. On the supremal controllable sublanguage of a given language. SIAM J. Control and Optimization 25(3): 637-659.","journal-title":"SIAM J. Control and Optimization"},{"issue":"9","key":"405291_CR30","doi-asserted-by":"crossref","first-page":"1175","DOI":"10.1109\/12.57058","volume":"39","author":"L. Sha","year":"1990","unstructured":"Sha, L., Rajkumar, R., and Lehoczky, J. P. 1990. Priority inheritance protocols: an approach to real-time synchronization. IEEE Transactions on Computers 39(9): 1175-1185.","journal-title":"IEEE Transactions on Computers"},{"issue":"4","key":"405291_CR31","doi-asserted-by":"crossref","first-page":"308","DOI":"10.1109\/32.277577","volume":"20","author":"S. Vestal","year":"1994","unstructured":"Vestal, S. 1994. Fixed-priority sensitivity analysis for linear compute time models. IEEE Transactions on Software Engineering 20(4): 308-317.","journal-title":"IEEE Transactions on Software Engineering"}],"container-title":["Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1015346419267.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1015346419267\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1015346419267.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T07:34:08Z","timestamp":1754638448000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1015346419267"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,7]]},"references-count":31,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2002,7]]}},"alternative-id":["405291"],"URL":"https:\/\/doi.org\/10.1023\/a:1015346419267","relation":{},"ISSN":["0922-6443","1573-1383"],"issn-type":[{"type":"print","value":"0922-6443"},{"type":"electronic","value":"1573-1383"}],"subject":[],"published":{"date-parts":[[2002,7]]}}}