{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:40:57Z","timestamp":1725550857497},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540008989"},{"type":"electronic","value":"9783540365778"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-36577-x_17","type":"book-chapter","created":{"date-parts":[[2010,3,29]],"date-time":"2010-03-29T17:12:04Z","timestamp":1269882724000},"page":"240-253","source":"Crossref","is-referenced-by-count":9,"title":["On Optimal Scheduling under Uncertainty"],"prefix":"10.1007","author":[{"given":"Yasmina","family":"Abdedda\u00efm","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eugene","family":"Asarin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Oded","family":"Maler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,2,28]]},"reference":[{"key":"17_CR1","unstructured":"Y. Abdedad\u00efm, Scheduling with Timed Automata, PhD Thesis, INPG, 2002."},{"key":"17_CR2","unstructured":"Y. Abdedad\u00efm, A. Kerbaa and O. Maler Task Graph Scheduling using Timed Automata, Proc. FMPPTA\u201903, to appear, 2003."},{"key":"17_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"478","DOI":"10.1007\/3-540-44585-4_46","volume-title":"Job-Shop Schedusling usingTimedAutomata","author":"Y. Abdedad\u00efm","year":"2001","unstructured":"Y. Abdedad\u00efm and O. Maler, Job-Shop Schedusling usingTimedAutomata in Proc. CAV\u201901, 478\u2013492, LNCS 2102, Springer 2001."},{"key":"17_CR4","doi-asserted-by":"crossref","unstructured":"K. Altisen, G. Goessler, A. Pnueli, J. Sifakis, S. Tripakis and S. Yovine, A Framework for Scheduler Synthesis, Proc. RTSS\u201999, 154\u2013163, IEEE, 1999.","DOI":"10.1109\/REAL.1999.818838"},{"key":"17_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1007\/3-540-48983-5_6","volume-title":"As Soon as Possible: Time Optimal Control for Timed Automata","author":"E. Asarin","year":"1999","unstructured":"E. Asarin and O. Maler, As Soon as Possible: Time Optimal Control for Timed Automata, in Proc. HSCC\u201999 19\u201330, LNCS 1569, Springer, 1999."},{"key":"17_CR6","doi-asserted-by":"crossref","unstructured":"E. Asarin, O. Maler, A. Pnueli and J. Sifakis, Controller Synthesis for Timed Automata, Proc. IFAC Symposium on System Structure and Control, 469\u2013474, 1998.","DOI":"10.1016\/S1474-6670(17)42032-5"},{"key":"17_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"174","DOI":"10.1007\/3-540-45319-9_13","volume-title":"UPPAAL","author":"G. Behrmann","year":"2001","unstructured":"G. Behrmann, A. Fehnker T.S. Hune, K.G. Larsen, P. Pettersson and J. Romijn, Efficient Guiding Towards Cost-Optimality in UPPAAL, in Proc. TACAS 2001, 174\u2013188, LNCS 2031, Springer, 2001."},{"key":"17_CR8","series-title":"Lect Notes Comput Sci","volume-title":"Kronos: a Model-Checking Tool for Real-Time Systems","author":"M. Bozga","year":"1998","unstructured":"M. Bozga, C. Daws, O. Maler, A. Olivero, S. Tripakis, and S. Yovine, Kronos: a Model-Checking Tool for Real-Time Systems, Proc. CAV\u201998, LNCS 1427, Springer, 1998."},{"key":"17_CR9","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1006\/inco.1994.1045","volume":"111","author":"T. Henzinger","year":"1994","unstructured":"T. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine, Symbolic Model-checking for Real-time Systems, Information and Computation 111, 193\u2013244, 1994.","journal-title":"Information and Computation"},{"key":"17_CR10","unstructured":"P. Niebert, S. Tripakis S. Yovine, Minimum-Time Reachability for Timed Automata, IEEE Mediteranean Control Conference, 2000."},{"key":"17_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"338","DOI":"10.1007\/3-540-46430-1_29","volume-title":"Computing Optimal Operation Schemes for Chemical Plants in Multi-batch Mode","author":"P. Niebert","year":"2000","unstructured":"P. Niebert and S. Yovine, Computing Optimal Operation Schemes for Chemical Plants in Multi-batch Mode, Proc. HSCC\u201900, 338\u2013351, LNCS 1790, Springer, 2000."}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36577-X_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,24]],"date-time":"2019-02-24T09:10:14Z","timestamp":1550999414000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36577-X_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540008989","9783540365778"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-36577-x_17","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}