{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,18]],"date-time":"2025-10-18T20:44:53Z","timestamp":1760820293136},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540216711"},{"type":"electronic","value":"9783540409038"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-40903-8_7","type":"book-chapter","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T10:37:38Z","timestamp":1294396658000},"page":"73-87","source":"Crossref","is-referenced-by-count":8,"title":["Optimization of Timed Automata Models Using Mixed-Integer Programming"],"prefix":"10.1007","author":[{"given":"Sebastian","family":"Panek","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Olaf","family":"Stursberg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"Engell","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"478","DOI":"10.1007\/3-540-44585-4_46","volume-title":"Computer Aided Verification","author":"Y. Abdeddaim","year":"2001","unstructured":"Abdeddaim, 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":"7_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-1479-4","volume-title":"Constraint-Based Scheduling: Applying Constraint Programming to Scheduling Problems","author":"P. Baptiste","year":"2001","unstructured":"Baptiste, P., Le Pape, C., Nuijten, W.: Constraint-Based Scheduling: Applying Constraint Programming to Scheduling Problems. Kluwer Acad. Publisher, Dordrecht (2001)"},{"key":"7_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/3-540-45319-9_13","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"G. Behrmann","year":"2001","unstructured":"Behrmann, G., Fehnker, A., Hune, T.S., Petterson, P., Larsen, K., Romijn, J.: Efficient guiding towards cost-optimality in UPPAAL. In: Margaria, T., Yi, W. (eds.) TACAS 2001. LNCS, vol.\u00a02031, pp. 174\u2013188. Springer, Heidelberg (2001)"},{"key":"7_CR4","unstructured":"Brooke, A., Kendrick, D., Meeraus, A., Raman, R.: GAMS - A User\u2019s Guide. GAMS Development Corp., Washington (1998)"},{"key":"7_CR5","unstructured":"Bruns, R.: Scheduling. In: Baeck, T., Fogel, D.B., Michalewicz, Z. (eds.) Handbook of Evolutionary Computation, pp. F1.5: 1\u20139. Inst. of Physics Publishing (1997)"},{"key":"7_CR6","unstructured":"CPLEX. Using the CPLEX Callable Library. ILOG Inc., Mountain View, CA (2002)"},{"key":"7_CR7","first-page":"526","volume-title":"Progress in Industrial Mathematics","author":"S. Engell","year":"2002","unstructured":"Engell, S., Maerkert, A., Sand, G., Schultz, R.: Production planning in a multiproduct batch plant under uncertainty. In: Progress in Industrial Mathematics, pp. 526\u2013531. Springer, Heidelberg (2002)"},{"key":"7_CR8","unstructured":"Fehnker, A.: Citius, Vilius, Melius - Guiding and Cost-Optimality in Model Checking of Timed and Hybrid Systems. Dissertation, KU Nijmegen (2002)"},{"key":"7_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1007\/3-540-45657-0_26","volume-title":"Computer Aided Verification","author":"S. Graf","year":"2002","unstructured":"Graf, S., Bozga, M., Mounier, L.: If-2.0: A validation environment for component-based real-time systems. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol.\u00a02404, pp. 343\u2013348. Springer, Heidelberg (2002)"},{"volume-title":"Online Optimzation of Large Scale Systems","year":"2001","key":"7_CR10","unstructured":"Groetschel, M., Krumke, S.O., Rambau, J. (eds.): Online Optimzation of Large Scale Systems. Springer, Heidelberg (2001)"},{"issue":"11","key":"7_CR11","doi-asserted-by":"publisher","first-page":"1501","DOI":"10.1016\/S0098-1354(02)00037-6","volume":"26","author":"I. Harjunkoski","year":"2002","unstructured":"Harjunkoski, I., Grossmann, I.E.: Decomposition techniques for multistage scheduling problems using mixed-integer and constraint programming methods. Computers and Chemical Enginnering\u00a026(11), 1501\u20131647 (2002)","journal-title":"Computers and Chemical Enginnering"},{"key":"7_CR12","doi-asserted-by":"publisher","first-page":"4341","DOI":"10.1021\/ie970927g","volume":"37","author":"M. Ierapetritou","year":"1998","unstructured":"Ierapetritou, M., Floudas, C.: Effective continuous-time formulation for shortterm scheduling: Multipurpose batch processes. Industrial and Engineering Chemistry Research\u00a037, 4341\u20134359 (1998)","journal-title":"Industrial and Engineering Chemistry Research"},{"key":"7_CR13","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1016\/0098-1354(93)80015-F","volume":"17","author":"E. Kondili","year":"1993","unstructured":"Kondili, E., Pantelides, C.C., Sargent, R.W.H.: A general algorithm for shortterm scheduling of batch operations: MILP formulation. Computers and Chemical Engineering\u00a017, 211\u2013227 (1993)","journal-title":"Computers and Chemical Engineering"},{"issue":"1","key":"7_CR14","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/s100090050010","volume":"1","author":"K.G. Larsen","year":"1997","unstructured":"Larsen, K.G., Petterson, P., Yi, W.: UPPAAL in a nutshell. Int. Journal on Software Tools for Technology Transfer\u00a01(1), 134\u2013152 (1997)","journal-title":"Int. Journal on Software Tools for Technology Transfer"},{"issue":"2","key":"7_CR15","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1016\/0098-1354(93)80016-G","volume":"17","author":"N. Shah","year":"1993","unstructured":"Shah, N., Pantelides, C.C., Sargent, R.W.H.: A general algorithm for shortterm scheduling of batch operations: Computational issues. Computers and Chemical Engineering\u00a017(2), 229\u2013244 (1993)","journal-title":"Computers and Chemical Engineering"},{"key":"7_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"421","DOI":"10.1007\/3-540-45873-5_33","volume-title":"Hybrid Systems: Computation and Control","author":"O. Stursberg","year":"2002","unstructured":"Stursberg, O., Panek, S.: Control of switched hybrid systems based on disjunctive formulations. In: Tomlin, C.J., Greenstreet, M.R. (eds.) HSCC 2002. LNCS, vol.\u00a02289, pp. 421\u2013435. Springer, Heidelberg (2002)"},{"key":"7_CR17","volume-title":"Model Building in Mathematical Programming","author":"H.P. Williams","year":"1999","unstructured":"Williams, H.P.: Model Building in Mathematical Programming. Wiley, Chichester (1999)"},{"issue":"1\/2","key":"7_CR18","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/s100090050009","volume":"1","author":"S. Yovine","year":"1997","unstructured":"Yovine, S.: Kronos: A verification tool for real-time systems. Int. Journal of Software Tools for Technology Transfer\u00a01(1\/2), 123\u2013133 (1997)","journal-title":"Int. Journal of Software Tools for Technology Transfer"}],"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-540-40903-8_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T19:29:24Z","timestamp":1558294164000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-40903-8_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540216711","9783540409038"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-40903-8_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}