{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,23]],"date-time":"2026-07-23T20:12:04Z","timestamp":1784837524163,"version":"3.55.0"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540656432","type":"print"},{"value":"9783540491637","type":"electronic"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-49163-5_9","type":"book-chapter","created":{"date-parts":[[2007,6,23]],"date-time":"2007-06-23T07:15:39Z","timestamp":1182582939000},"page":"163-185","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":16,"title":["A Case Study in Tool-Aided Analysis of Discretely Controlled Continuous Systems: The Two Tanks Problem"],"prefix":"10.1007","author":[{"given":"S.","family":"Kowalewski","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"O.","family":"Stursberg","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"M.","family":"Fritz","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"H.","family":"Graf","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"I.","family":"Hoffmann","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"J.","family":"Preu\u00dfig","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"M.","family":"Remelhe","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"S.","family":"Simon","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"H.","family":"Treseler","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[1999,11,19]]},"reference":[{"key":"9_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0027227","volume-title":"Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control","author":"J.-R. Abrial","year":"1996","unstructured":"J.-R. Abrial, E. B\u00f6rger, and H. Langmaack. Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control. LNCS 1165. Springer, 1996."},{"key":"9_CR2","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.A. Henzinger, P.-H. 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"},{"key":"9_CR3","doi-asserted-by":"publisher","first-page":"1512","DOI":"10.1145\/186025.186051","volume":"16","author":"E.M. Clarke","year":"1994","unstructured":"E.M. Clarke, O. Grumberg, and D.E. Long. Model Checking and Abstraction. ACM Trans. on Programming Languages and Systems, 16:1512\u20131542, 1994.","journal-title":"ACM Trans. on Programming Languages and Systems"},{"key":"9_CR4","unstructured":"A. Deshpande, A. G\u00f6ll\u00fc, and L. Semenzato. The SHIFT Programming Language and Run-time System for Dynamic Networks of Hybrid Automata. PATH-Report, \nhttp:\/\/www.path.berkeley.edu\/shift\/\n\n, 1996."},{"key":"9_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1007\/BFb0031558","volume-title":"A Formalism and a Programming Language for Dynamic Networks of Hybrid Automata","author":"A. Deshpande","year":"1997","unstructured":"A. Deshpande, A. G\u00f6ll\u00fc, and P. Varaiya. Hybrid Systems IV, chapter SHIFT-A Formalism and a Programming Language for Dynamic Networks of Hybrid Automata, pages 113\u2013133. LNCS 1273. Springer, 1997."},{"key":"9_CR6","unstructured":"H. Elmquist. Object-Oriented Modeling and Automatic Formula Manipulation in Dymola. SIMS\u201993, Scandinavian Simulation Society, 1993."},{"issue":"Suppl.","key":"9_CR7","doi-asserted-by":"publisher","first-page":"769","DOI":"10.1016\/S0098-1354(97)00143-9","volume":"21","author":"M. Fritz","year":"1997","unstructured":"M. Fritz and S. Engell. An open software architecture for batch process simulation. Comp. Chem. Eng., 21,Suppl. (Proc. PSE\u2019 97\/ESCAPE-7): 769\u2013773, 1997.","journal-title":"Comp. Chem. Eng."},{"key":"9_CR8","unstructured":"A. G\u00f6ll\u00fc, M. Kourjanski, and P. Varaiya. The SHIFT simulation framework: Language, model and implementation. In Proc. 5th Int. Hybrid Systems Workshop, Notre Dame, Indiana, September 1997."},{"issue":"3","key":"9_CR9","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8(3):231\u2013274, 1987.","journal-title":"Science of Computer Programming"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"T. Heckenthaler and S. Engell. Approximately time-optimal control of a two-tank system. IEEE Control Systems Magazine, 14(3), 1994.","DOI":"10.1109\/37.291460"},{"issue":"12","key":"9_CR11","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1007\/s100090050008","volume":"1","author":"T.A. Henzinger","year":"1997","unstructured":"T.A. Henzinger, P.H. Ho, and H. Wong-Toi. HyTech: A model checker for hybrid systems. Software Tools for Technology Transfer, 1(1,2):110\u2013122, 1997.","journal-title":"Software Tools for Technology Transfer"},{"key":"9_CR12","series-title":"Lect Notes Comput Sci","volume-title":"chapter Modeling Hybrid Dynamical Systems","author":"I. Hoffmann","year":"1996","unstructured":"I. Hoffmann and K.-U. Klatt. Hybrid Systems III, chapter Modeling Hybrid Dynamical Systems. LNCS 1066. Springer, 1996."},{"key":"9_CR13","unstructured":"International Electrotechnical Comission, Geneva. International Standard 1131: Programmable Logic Controllers, Part 3: Programming Languages, 1993."},{"issue":"3","key":"9_CR14","doi-asserted-by":"publisher","first-page":"386","DOI":"10.1109\/TSE.1987.233170","volume":"13","author":"N. Leveson","year":"1987","unstructured":"N. Leveson and J. L. Stolzy. Safety analysis using petri nets. IEEE Transactions on Software Engineering, 13(3):386\u2013397, 1987.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9_CR15","unstructured":"MathWorks. Matlab User Guide. Natwick, USA, 1997."},{"key":"9_CR16","doi-asserted-by":"publisher","first-page":"966","DOI":"10.1002\/aic.690400608","volume":"40","author":"C.C. Pantelides","year":"1994","unstructured":"C.C. Pantelides and P.I. Barton. Modeling of combined discrete\/continuous processes. AIChE Journal, 40:966\u2013979, 1994.","journal-title":"AIChE Journal"},{"key":"9_CR17","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1007\/BFb0031569","volume-title":"chapter Comparing Timed and Hybrid Automata as Approximations of Continous Systems","author":"O. Stursberg","year":"1997","unstructured":"O. Stursberg, S. Kowalewski, I. Ho_mann, and J. Preu\u00dfig. Hybrid System IV, chapter Comparing Timed and Hybrid Automata as Approximations of Continous Systems, pages 361\u2013377. LNCS 1273. Springer, 1997."},{"key":"9_CR18","unstructured":"N. Shah, C.C. Pantelides, and V.D. Dimitriadis. Modeling and safety verification of discrete\/continuous processing systems using discrete time domain models. Workshop on analysis and design of event-driven operations in process systems, April 1995."},{"key":"9_CR19","unstructured":"J. H. Taylor and D. Kebede. Modeling and simulation of hybrid systems in Matlab. In Proc. IFAC World Congress, San Francisco, USA, volume J, pages 275\u2013280. IFAC, July 96."},{"key":"9_CR20","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1007\/BFb0014731","volume-title":"chapter Verification of Real-Time Chemical Processing Systems","author":"A. L. Turk","year":"1997","unstructured":"A. L. Turk, S. T. Probst, and G. J. Powers. Hybrid and Real-Time Systems, chapter Verification of Real-Time Chemical Processing Systems, pages 259\u2013272. LNCS 1201. Springer, 1997."},{"issue":"972","key":"9_CR21","doi-asserted-by":"publisher","first-page":"1281","DOI":"10.1016\/0098-1354(96)00221-9","volume":"20","author":"K. W\u00f6llhaf","year":"1996","unstructured":"K. W\u00f6llhaf, M. Fritz, C. Schulz, and S. Engell. BaSiP-Batch Process Simulation With Dynamically Reconfigured Process Dynamics. Comp. Chem. Eng., 20(972), suppl. (Proc. ESCAPE-6): 1281\u20131286, 1996.","journal-title":"Comp. Chem. Eng."}],"container-title":["Lecture Notes in Computer Science","Hybrid Systems V"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49163-5_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,6]],"date-time":"2020-04-06T00:04:26Z","timestamp":1586131466000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49163-5_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540656432","9783540491637"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-49163-5_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1999]]},"assertion":[{"value":"19 November 1999","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}