{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:12:17Z","timestamp":1761487937413},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540672593"},{"type":"electronic","value":"9783540464303"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-46430-1_29","type":"book-chapter","created":{"date-parts":[[2007,10,27]],"date-time":"2007-10-27T08:18:49Z","timestamp":1193473129000},"page":"338-351","source":"Crossref","is-referenced-by-count":14,"title":["Computing Optimal Operation Schemes for Chemical Plants in Multi-batch Mode"],"prefix":"10.1007","author":[{"given":"Peter","family":"Niebert","sequence":"first","affiliation":[]},{"given":"Sergio","family":"Yovine","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,2,1]]},"reference":[{"key":"29_CR1","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","volume":"138","author":"R. Alur","year":"1995","unstructured":"R. Alur, C. Courcoubetis, N. Halbwachs, T. Henzinger, P. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138:3\u201334, 1995.","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"29_CR2","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"R. Alur and D. L. Dill. A theory of timed automata. Theoretical Computer Science, 126(2):183\u2013235, April 1994.","journal-title":"Theoretical Computer Science"},{"key":"29_CR3","doi-asserted-by":"crossref","unstructured":"K. Altisen, G. Goessler, A. Pnueli, J. Sifakis, S. Tripakis, and S.Yovine. A framework for scheduler synthesis. In Proc. RTSS\u201999, Phoenix, AZ, USA, December 1999. IEEE Computer Society Press.","DOI":"10.1109\/REAL.1999.818838"},{"key":"29_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/3-540-48983-5_6","volume-title":"Hybrid Systems: Computation and Control","author":"E. Asarin","year":"1999","unstructured":"E. Asarin and O. Maler. As soon as possible: Time optimal control for timed automata. In F. Vaandrager and J. van Schuppen, editors, Hybrid Systems: Computation and Control, volume 1569 of LNCS, pages 19\u201330. Springer, Mars 1999."},{"key":"29_CR5","series-title":"Lect Notes Comput Sci","volume-title":"CAV","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. In CAV, LNCS, 1998."},{"key":"29_CR6","unstructured":"R. Huuck. Verifying Timing Aspects of VHS Case Study 1. Tech. Report. University of Kiel, May 1999."},{"key":"29_CR7","unstructured":"ISA S88.01 Batch Control Part I, Models and Terminology. ANSI\/ISA, 1995."},{"key":"29_CR8","unstructured":"K. Kristoffersen, K. Larsen, P. Pettersson, and C. Weise. Experimental Batch Plant-VHS Case Study 1 using Timed Automata and UPPAAL. Tech. Report, BRICS, Denmark, May 1999."},{"key":"29_CR9","doi-asserted-by":"crossref","unstructured":"K.L. McMillan. Symbolic Model-Checking: an Approach to the State-Explosion problem, Kluwer, 1993.","DOI":"10.1007\/978-1-4615-3190-6"},{"key":"29_CR10","unstructured":"A. Pnueli E. Asarin, O. Maler and J. Sifakis. Controller synthesis for timed automata. In Proc. System Structure and Control, pages 469\u2013474. IFAC, Elsevier, July 1998."},{"key":"29_CR11","volume-title":"Description of VHS case study 1 \u201cExperimental Batch Plant\u201d","author":"S. Kowalewski","year":"1998","unstructured":"S. Kowalewski. Description of VHS case study 1 \u201cExperimental Batch Plant\u201d. Draft. University of Dortmund, Germany, July 1998."},{"key":"29_CR12","doi-asserted-by":"crossref","unstructured":"M. S\u00e4flund and G. Stalmarck. Modeling and verifying systems and software in propositional logic. In SAFECOMP\u201990, pages 31\u201336, 1990.","DOI":"10.1016\/B978-0-08-040953-5.50011-8"},{"key":"29_CR13","unstructured":"European Project ESPRIT-LTR VHS. http:\/\/www-verimag.imag.fr\/VHS ."},{"issue":"3","key":"29_CR14","doi-asserted-by":"publisher","first-page":"637","DOI":"10.1137\/0325036","volume":"25","author":"W. M. Wonham","year":"1987","unstructured":"W. M. Wonham and P. J. Ramadge. On the supremal controllable sublanguage of a given language. SIAM J. Control and Optimization, 25(3):637\u2013659, May 1987.","journal-title":"SIAM J. Control and Optimization"}],"container-title":["Lecture Notes in Computer Science","Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46430-1_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T02:09:48Z","timestamp":1556935788000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46430-1_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540672593","9783540464303"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-46430-1_29","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}