{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,20]],"date-time":"2026-07-20T18:47:46Z","timestamp":1784573266040,"version":"3.55.0"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540665878","type":"print"},{"value":"9783540481195","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48119-2_15","type":"book-chapter","created":{"date-parts":[[2007,8,28]],"date-time":"2007-08-28T21:23:00Z","timestamp":1188336180000},"page":"233-252","source":"Crossref","is-referenced-by-count":36,"title":["On-the-Fly Controller Synthesis for Discrete and Dense-Time Systems"],"prefix":"10.1007","author":[{"given":"Stavros","family":"Tripakis","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Karine","family":"Altisen","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[1999,9,17]]},"reference":[{"issue":"1","key":"15_CR1","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1006\/inco.1993.1024","volume":"104","author":"R. Alur","year":"1993","unstructured":"R. Alur, C. Courcoubetis, and D.L. Dill. Model checking in dense real time. Information and Computation, 104(1):2\u201334, 1993.","journal-title":"Information and Computation"},{"key":"15_CR2","series-title":"Technical report, M\u00e9emoire de DEA","volume-title":"G\u00e9n\u00e9eration automatique d\u2019ordonnancements pour syst\u00e9emes temporis\u00e9es","author":"K. Altisen","year":"1998","unstructured":"K. Altisen. G\u00e9n\u00e9eration automatique d\u2019ordonnancements pour syst\u00e9emes temporis\u00e9es. Technical report, M\u00e9emoire de DEA, Ensimag, Grenoble, 1998.In french."},{"key":"15_CR3","series-title":"PhD thesis","volume-title":"Techniques for Automatic Verification of Real-Time Systems","author":"R. Alur","year":"1991","unstructured":"Rajeev Alur. Techniques for Automatic Verification of Real-Time Systems. PhD thesis, Department of Computer Science, Stanford University, 1991."},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"E. Asarin, O. Maler, and A. Pnueli. Symbolic controller synthesis for discrete and timed systems.In Hybrid Systems II, 1995.","DOI":"10.1007\/3-540-60472-3_1"},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"M. Bozga, C. Daws, O. Maler, A. Olivero, S. Tripakis, and S. Yovine. Kronos: a model-checking tool for real-time systems. In CAV\u201998, 1998.","DOI":"10.1007\/BFb0028779"},{"key":"15_CR6","series-title":"Lect Notes Comput Sci","first-page":"197","volume-title":"Automatic Verification Methods for Finite State Systems","author":"D.L. Dill","year":"1989","unstructured":"D.L. Dill. Timing assumptions and verification of finite-state concurrent systems. In J. Sifakis, editor, Automatic Verification Methods for Finite State Systems, Lecture Notes in Computer Science 407, pages 197\u2013212. Springer-Verlag, 1989."},{"key":"15_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"208","DOI":"10.1007\/BFb0020947","volume-title":"Hybrid Systems III, Verification and Control","author":"C. Daws","year":"1996","unstructured":"C. Daws, A. Olivero, S. Tripakis, and S. Yovine. The tool KRONOS. In Hybrid Systems III, Verification and Control, volume 1066 of LNCS, pages 208\u2013219. Springer-Verlag, 1996."},{"issue":"2","key":"15_CR8","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1006\/inco.1994.1045","volume":"111","author":"T.A. Henzinger","year":"1994","unstructured":"T.A. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine. Symbolic model checking for real-time systems. Information and Computation, 111(2):193\u2013244, 1994.","journal-title":"Information and Computation"},{"key":"15_CR9","unstructured":"G. Hoffmann and H. Wong Toi. The input-output control of real-time discrete event systems. In 30th IEEE Conf. on Decision and Control, 1991."},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"G. Hoffmann and H. Wong Toi. Symbolic synthesis of supervisory controllers. In American Control Conference, 1992.","DOI":"10.23919\/ACC.1992.4792651"},{"key":"15_CR11","unstructured":"M. Le Borgne. Dynamical Systems over finite fields. PhD thesis, Universit\u00e9 de Rennes, 1993. In French."},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"O. Maler, A. Pnueli, and J. Sifakis. On the synthesis of discrete controllers for timed systems. In STACS\u2019 95, 1995.","DOI":"10.1007\/3-540-59042-0_76"},{"key":"15_CR13","doi-asserted-by":"crossref","unstructured":"A. Pnueli and R. Rosner. On the synthesis of a reactive module. In ACM Symp. POPL, 1989.","DOI":"10.1145\/75277.75293"},{"key":"15_CR14","doi-asserted-by":"crossref","unstructured":"P. Ramadge and W. Wonham. Supervisory control of a class of discrete event processes. SIAM J. Control Optim., 25(1), January 1987.","DOI":"10.1137\/0325013"},{"key":"15_CR15","unstructured":"S. Tripakis. The formal analysis of timed systems in practice. PhD thesis, Universit\u00e9 Joseph Fourrier de Grenoble, 1998."},{"key":"15_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"232","DOI":"10.1007\/3-540-61474-5_72","volume-title":"8th Conference Computer-Aided Verification, CAV\u201996, Rutgers","author":"S. Tripakis","year":"1996","unstructured":"S. Tripakis and S. Yovine. Analysis of timed systems based on time-abstracting bisimulations. In Proc. 8th Conference Computer-Aided Verification, CAV\u201996, Rutgers, NJ, volume 1102 of LNCS, pages 232\u2013243. Springer-Verlag, July 1996."},{"key":"15_CR17","unstructured":"W. Wonham and C. Meder. The TTCT tool. Personal communication, 1999."}],"container-title":["Lecture Notes in Computer Science","FM\u201999 \u2014 Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48119-2_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T13:27:00Z","timestamp":1556803620000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48119-2_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540665878","9783540481195"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-48119-2_15","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[1999]]}}}