{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,2]],"date-time":"2025-10-02T10:41:37Z","timestamp":1759401697966},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2007,8,15]],"date-time":"2007-08-15T00:00:00Z","timestamp":1187136000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc\/2.0"},{"start":{"date-parts":[[2007,8,15]],"date-time":"2007-08-15T00:00:00Z","timestamp":1187136000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc\/2.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[2008,6]]},"DOI":"10.1007\/s10626-007-0023-2","type":"journal-article","created":{"date-parts":[[2007,8,14]],"date-time":"2007-08-14T20:06:05Z","timestamp":1187121965000},"page":"241-262","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Timed Discrete Event Control of Parallel Production Lines with Continuous Outputs"],"prefix":"10.1007","volume":"18","author":[{"given":"Stephanie","family":"Geist","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dmitry","family":"Gromov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00f6rg","family":"Raisch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2007,8,15]]},"reference":[{"issue":"2","key":"23_CR1","doi-asserted-by":"publisher","first-page":"272","DOI":"10.1016\/j.tcs.2005.11.018","volume":"354","author":"Y Abdedda\u00efm","year":"2006","unstructured":"Abdedda\u00efm Y, Asarin E, Maler O (2006) Scheduling with timed automata. Theor Comp Sci 354(2):272\u2013300","journal-title":"Theor Comp Sci"},{"key":"23_CR2","doi-asserted-by":"crossref","unstructured":"Abdedda\u00efm Y, Maler O (2001) Job-shop scheduling using timed automata. In: Computer aided verification, LNCS 2102, Springer, pp 478\u2013492","DOI":"10.1007\/3-540-44585-4_46"},{"key":"23_CR3","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","volume":"138","author":"R Alur","year":"1995","unstructured":"Alur R, Coucoubetis C, Halbwachs N, Henzinger TA, Ho P-H, Nicollin X, Olivero A, Sifakis J, Yovine S (1995) The algorithmic analysis of hybrid systems. Theor Comp Sci 138:3\u201334","journal-title":"Theor Comp Sci"},{"key":"23_CR4","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur R, Dill DL (1994) A theory of timed automata. Theor Comp Sci 126:183\u2013235","journal-title":"Theor Comp Sci"},{"issue":"7","key":"23_CR5","doi-asserted-by":"publisher","first-page":"971","DOI":"10.1109\/5.871304","volume":"88","author":"R Alur","year":"2000","unstructured":"Alur R, Henzinger TA, Lafferriere G, Pappas GJ (2000) Discrete abstractions of hybrid systems. Proc IEEE 88(7):971\u2013984","journal-title":"Proc IEEE"},{"key":"23_CR6","doi-asserted-by":"crossref","unstructured":"Anai H, Weispfennig V (2001) Reach set computations using real quantifier elimination. In: Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control, number 2034 in LNCS, Springer, pp 63\u201376","DOI":"10.1007\/3-540-45351-2_9"},{"key":"23_CR7","doi-asserted-by":"crossref","unstructured":"Asarin E, Maler O, Pnueli A (1995) Symbolic controller synthesis for discrete and timed systems. In: Hybrid Systems II, LNCS 999, Springer, pp 1\u201320","DOI":"10.1007\/3-540-60472-3_1"},{"key":"23_CR8","doi-asserted-by":"crossref","unstructured":"Avis D, Fukuda K, Picozzi S (2002) On canonical representations of convex polyhedra. Mathematical Software, World Scientific, pp 351\u2013360","DOI":"10.1142\/9789812777171_0037"},{"key":"23_CR9","doi-asserted-by":"crossref","unstructured":"Bengtsson J, Yi W (2004) Timed automata: Semantics, algorithms and tools. In: Reisig W, Rozenberg G (eds) Lecture Notes on Concurrency and Petri Nets, LNCS 3098. Springer","DOI":"10.1007\/978-3-540-27755-2_3"},{"key":"23_CR10","doi-asserted-by":"crossref","unstructured":"Bozga M, Daws C, Maler O, Olivero A, Tripakis S, Yovine S (1998) Kronos: a model-checking tool for real-time systems. In: Hu AJ, Vardi MY (eds) Computer Aided Verification, CAV \u201998, Vancouver, Canada, LNCS 1427, Springer, pp 546\u2013550","DOI":"10.1007\/BFb0028779"},{"key":"23_CR11","unstructured":"Goodman JE, O\u2019Rourke J (eds) (1997) Handbook of discrete and computational geometry. CRC Press"},{"key":"23_CR12","doi-asserted-by":"crossref","unstructured":"Gromov D, Geist S, Raisch J (2006) Timed discrete control of a parallel production line with continuous output. In: Proceedings of the 2nd IFAC Conference on Analysis and Design of Hybrid Systems, Alghero, Italy, pp 205\u2013210","DOI":"10.3182\/20060607-3-IT-3902.00038"},{"issue":"1","key":"23_CR13","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/s10703-006-0013-2","volume":"29","author":"N Halbwachs","year":"2006","unstructured":"Halbwachs N, Merchat D, Gonnord L (2006) Some ways to reduce the space dimension in polyhedra computations. Form Methods Syst Des 29(1):79\u201395","journal-title":"Form Methods Syst Des"},{"key":"23_CR14","doi-asserted-by":"crossref","unstructured":"Halbwachs N, Proy Y-E, Raymond P (1994) Verification of linear hybrid systems by means of convex approximations. In: International Symposium on Static Analysis, SAS\u201994","DOI":"10.1007\/3-540-58485-4_43"},{"key":"23_CR15","doi-asserted-by":"publisher","first-page":"913","DOI":"10.1016\/j.compchemeng.2006.02.008","volume":"30","author":"CA M\u00e9ndez","year":"2006","unstructured":"M\u00e9ndez CA, Cerd\u00e1 J, Grossmann IE, Harjunkkoski I, Fahl M (2006) State-of-the-art review of optimization methods for short-term scheduling of batch processes. Comput Chem Eng 30: 913\u2013946","journal-title":"Comput Chem Eng"},{"key":"23_CR16","doi-asserted-by":"crossref","unstructured":"Niebert P, Yovine S (2000) Computing optimal operation schemes for chemical plants in multi-batch mode. In: HSCC, pp 338\u2013351","DOI":"10.1007\/3-540-46430-1_29"},{"key":"23_CR17","doi-asserted-by":"crossref","unstructured":"Panek S, Stursberg O, Engell S (2006) Efficient synthesis of production schedules by optimization of timed automata. Control Eng Pract (14):1183\u20131197","DOI":"10.1016\/j.conengprac.2006.02.014"},{"key":"23_CR18","unstructured":"Pettersson P (1999) Modelling and verification of real-time systems using timed Automata: theory and Practice. PhD thesis, Uppsala University"},{"key":"23_CR19","doi-asserted-by":"publisher","first-page":"635","DOI":"10.1016\/S0098-1354(98)00299-3","volume":"23","author":"G Schilling","year":"1999","unstructured":"Schilling G, Pantelides CC (1999) Optimal periodic scheduling of multipurpose plants. Comput Chem Eng 23:635\u2013655","journal-title":"Comput Chem Eng"},{"key":"23_CR20","unstructured":"Simeonova I, Warichet F, Bastin G, Dochain D, Pochet Y (2005) On-line scheduling of chemical plants with parallel production lines and shared resources: a feedback implementation. In: Proceedings IMACS World Congress, Paris"},{"key":"23_CR21","doi-asserted-by":"crossref","unstructured":"Sontag ED (1996) Interconnected automata and linear systems: a theoretical framework in discrete time. In: Alur R, Henzinger TA, Sontag ED (eds) Hybrid systems III: verification and control (Lecture notes in computer science) Springer, pp 436\u2013448","DOI":"10.1007\/BFb0020966"},{"key":"23_CR22","doi-asserted-by":"crossref","unstructured":"Wu D, Ierapetritou M (2004) Cyclic short-term scheduling of multiproduct batch plants using continuous-time representation. Comput Chem Eng (28):2271\u20132286","DOI":"10.1016\/j.compchemeng.2004.04.002"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-007-0023-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10626-007-0023-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-007-0023-2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-007-0023-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,31]],"date-time":"2021-08-31T19:13:47Z","timestamp":1630437227000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10626-007-0023-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,8,15]]},"references-count":22,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2008,6]]}},"alternative-id":["23"],"URL":"https:\/\/doi.org\/10.1007\/s10626-007-0023-2","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,8,15]]},"assertion":[{"value":"25 October 2006","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"26 July 2007","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"15 August 2007","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}