{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,14]],"date-time":"2025-10-14T18:42:51Z","timestamp":1760467371142,"version":"build-2065373602"},"reference-count":15,"publisher":"Elsevier BV","issue":"4","license":[{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["European Journal of Control"],"published-print":{"date-parts":[[2001]]},"DOI":"10.3166\/ejc.7.440-454","type":"journal-article","created":{"date-parts":[[2007,6,23]],"date-time":"2007-06-23T12:47:15Z","timestamp":1182602835000},"page":"440-453","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":5,"title":["Computing Efficient Operation Schemes for Chemical Plants in Multi-batch Mode"],"prefix":"10.1016","volume":"7","author":[{"given":"Peter","family":"Niebert","sequence":"first","affiliation":[]},{"given":"Sergio","family":"Yovine","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.3166\/ejc.7.440-454_bib0005","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","article-title":"The algorithmic analysis of hybrid systems","volume":"138","author":"Alur","year":"1995","journal-title":"Theor. Computer Sci"},{"issue":"2","key":"10.3166\/ejc.7.440-454_bib0010","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","article-title":"A theory of timed automata","volume":"126","author":"Alur","year":"1994","journal-title":"Theor. Computer Sci"},{"key":"10.3166\/ejc.7.440-454_bib0015","series-title":"Proceedings of the real-time systems symposium,RTSS\u201999","article-title":"A framework for scheduler synthesis","author":"Altisen","year":"1999"},{"key":"10.3166\/ejc.7.440-454_bib0020","series-title":"Proceedings of the hybrid systems: computation and control, HSCC\u201999. Lecture Notes in Computer Science 1569","article-title":"As soon as possible: Time optimal control for timed automata","author":"Asarin","year":"1999"},{"key":"10.3166\/ejc.7.440-454_bib0025","series-title":"Proceedings of the hybrid systems: computation and control, HSCC\u201901. Lecture Notes in Computer Science","article-title":"Minimum-cost reachability for linearly priced timed automata","author":"Behrmann","year":"2001"},{"key":"10.3166\/ejc.7.440-454_bib0030","series-title":"Proceedings of the real-time systems symposium, RTSS\u201997","article-title":"On-the-fly symbolic model checking for real-time systems","author":"Bouajjani","year":"1997"},{"key":"10.3166\/ejc.7.440-454_bib0035","series-title":"Proceedings of the computer-aided verification, CAV\u201998 Lecture Notes in Computer Science 1427","article-title":"KRONO S: a model-checking tool for real- time systems","author":"Bozga","year":"1998"},{"key":"10.3166\/ejc.7.440-454_bib0040","series-title":"Proceedings of the computer-aided verification, CAV\u201997 Lecture Notes in Computer Science 1254","article-title":"Some progress in the symbolic verification of timed automata","author":"Bozga","year":"1997"},{"key":"10.3166\/ejc.7.440-454_bib0045","unstructured":"ISA S88.01 Batch Control Part I, Models and Terminology. ANSI\/ISA, 1995"},{"key":"10.3166\/ejc.7.440-454_bib0050","series-title":"Proceedings of the hybrid systems: computation and control, HSCC\u201900 Lecture Notes in Computer Science 1790","article-title":"Computing Optimal Operation Schemes for Chemical Plants in Multi-batch Mode","author":"Niebert","year":"2000"},{"key":"10.3166\/ejc.7.440-454_bib0055","series-title":"Proceedings of the automation of mixed processes: hybrid dynamic systems ADPM 2000","article-title":"Synthesis and Dispatching of Production Schemes for Chemical Batch Plants","author":"Niebert","year":"2000"},{"key":"10.3166\/ejc.7.440-454_bib0060","series-title":"Proceedings of the IFAC symposium on system structure and control","article-title":"Controller synthesis for timed automata","author":"Pnueli","year":"1998"},{"key":"10.3166\/ejc.7.440-454_bib0065","unstructured":"Kowalewski S, Stursberg O, Bauer N. An experimental batch plant as a case example for the verification of hybrid systems. EJC Special Issue on Verification of Hybrid Systems (submitted)"},{"key":"10.3166\/ejc.7.440-454_bib0070","unstructured":"European Project ESPRIT-LTR 26270 VHS \u201cVerifica- tion of Hybrid Systems\u201d. http:\/\/www-verimag.imag. fr\/VHS"},{"issue":"3","key":"10.3166\/ejc.7.440-454_bib0075","doi-asserted-by":"crossref","first-page":"637","DOI":"10.1137\/0325036","article-title":"On the supremal con- trollable sublanguage of a given language","volume":"25","author":"Wonham","year":"1987","journal-title":"SIAM J Control Optim"}],"container-title":["European Journal of Control"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0947358001701823?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0947358001701823?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,10,14]],"date-time":"2025-10-14T18:03:25Z","timestamp":1760465005000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0947358001701823"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"references-count":15,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2001]]}},"alternative-id":["S0947358001701823"],"URL":"https:\/\/doi.org\/10.3166\/ejc.7.440-454","relation":{},"ISSN":["0947-3580"],"issn-type":[{"type":"print","value":"0947-3580"}],"subject":[],"published":{"date-parts":[[2001]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Computing Efficient Operation Schemes for Chemical Plants in Multi-batch Mode","name":"articletitle","label":"Article Title"},{"value":"European Journal of Control","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.3166\/ejc.7.440-454","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 2001 European Control Association (EUCA). Published by Elsevier Ltd. All rights reserved.","name":"copyright","label":"Copyright"}]}}