{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:40:42Z","timestamp":1725457242622},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540633587"},{"type":"electronic","value":"9783540695233"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0031569","type":"book-chapter","created":{"date-parts":[[2005,12,11]],"date-time":"2005-12-11T07:10:54Z","timestamp":1134285054000},"page":"361-377","source":"Crossref","is-referenced-by-count":19,"title":["Comparing timed and hybrid automata as approximations of continuous systems"],"prefix":"10.1007","author":[{"given":"Olaf","family":"Stursberg","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Kowalewski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ingo","family":"Hoffmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00f6rg","family":"Preu\u00dfig","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,26]]},"reference":[{"key":"18_CR1","doi-asserted-by":"crossref","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, \u201cThe Algorithmic Analysis of Hybrid Systems\u201d, Theoretical Computer Science, Vol. 138, pp. 3\u201334, 1995.","journal-title":"Theoretical Computer Science"},{"key":"18_CR2","doi-asserted-by":"crossref","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, \u201cA Theory of Timed Automata\u201d, Theoretical Computer Science, Vol. 126, pp. 183\u2013235, 1994.","journal-title":"Theoretical Computer Science"},{"issue":"3","key":"18_CR3","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1109\/37.291460","volume":"14","author":"T. Heckenthaler","year":"1994","unstructured":"T. Heckenthaler and S. Engell, \u201cApproximately Time-Optimal Fuzzy Control of a Two-Tank System\u201d, IEEE Control Systems, Vol. 14, No. 3, pp. 24\u201330, 1994.","journal-title":"IEEE Control Systems"},{"key":"18_CR4","doi-asserted-by":"crossref","unstructured":"T. A. Henzinger and P.-H. Ho, \u201cHyTech: The Cornell HYbrid TECHnology Tool\u201d, Basic Research in Computer Science, Proc. Workshop on Tools and Algorithms for the Construction and Analysis of Systems, Aarhus, Denmark, May 1995.","DOI":"10.1007\/3-540-60472-3_14"},{"key":"18_CR5","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1007\/BFb0020961","volume":"1066","author":"T. A. Henzinger","year":"1996","unstructured":"T. A. Henzinger and H. Wong-Toi, \u201cLinear Phase-portrait Approximations for Nonlinear Hybrid Systems\u201d, Hybrid Systems III: Verification and Control, LNCS 1066, Springer, pp. 377\u2013388, 1996.","journal-title":"Hybrid Systems III: Verification and Control, LNCS"},{"key":"18_CR6","doi-asserted-by":"crossref","unstructured":"S. Kowalewski, R. Gesthuisen and V. Ro\u00dfmann \u201cModel-based Verification of Batch Process Control Software\u201d, Proc. IEEE Conf. on Systems, Man and Cybernetics, San Antonio, USA, pp. 331\u2013336, 1994.","DOI":"10.1109\/ICSMC.1994.399860"},{"key":"18_CR7","doi-asserted-by":"crossref","unstructured":"M. M. Kokar, \u201cOn Consistent Symbolic Representations of General Dynamic Systems\u201d, IEEE Trans. Systems, Man, and Cybernetics, Vol. 25, No. 8, August 1995.","DOI":"10.1109\/21.398684"},{"key":"18_CR8","doi-asserted-by":"crossref","unstructured":"S. Kowalewski and J. Preu\u00dfig, \u201cTimed\/Condition\/Event Sytems: A Framework for Modular Discrete Models of Chemical Plants and Verification of Their Real-Time Discrete Control\u201d, in Tools and Algorithms for the Construction and Analysis of Systems, LNCS 1055, Springer, 1996.","DOI":"10.1007\/3-540-61042-1_47"},{"key":"18_CR9","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1016\/0004-3702(86)90073-1","volume":"29","author":"B. Kuipers","year":"1986","unstructured":"B. Kuipers, \u201cQualitative Simulation\u201d, Artificial Intelligence, Vol. 29, pp. 289\u2013338, 1986.","journal-title":"Artificial Intelligence"},{"issue":"3","key":"18_CR10","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1016\/0005-1098(94)90119-8","volume":"30","author":"J. Lunze","year":"1994","unstructured":"J. Lunze, \u201cQualitative Modelling of Linear Dynamical Systems with Quantized State Measurements\u201d, Automatica, Vol. 30, No. 3, pp. 417\u2013431, 1994.","journal-title":"Automatica"},{"issue":"1","key":"18_CR11","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1002\/aic.690380107","volume":"38","author":"I. Moon","year":"1992","unstructured":"I. Moon, G. J. Powers, J. R. Burch and E. M. Clarke, \u201cAutomatic Verification of Sequential Control Systems Using Temporal Logic\u201d, AICHE Journal, Vol. 38, No. 1, pp. 67\u201375, 1992.","journal-title":"AICHE Journal"},{"issue":"9","key":"18_CR12","doi-asserted-by":"crossref","first-page":"794","DOI":"10.1109\/32.159837","volume":"18","author":"X. Nicollin","year":"1992","unstructured":"X. Nicollin, J. Sifakis and S. Yovine, \u201cCompiling Real-Time Specifications into Extended Automata\u201d, IEEE Trans. on Software Eng., 18 (9), pp. 794\u2013804, 1992.","journal-title":"IEEE Trans. on Software Eng."},{"key":"18_CR13","doi-asserted-by":"crossref","unstructured":"T. Niinomi, B. H. Krogh and J. E. R. Cury, \u201cSynthesis of Supervisory Controllers for Hybrid Systems based on Approximating Automata\u201d, Conf. on Decision and Control, New Orleans, 1995.","DOI":"10.1109\/CDC.1995.480308"},{"key":"18_CR14","unstructured":"H. A. Preisig and J. Renz, \u201cSynthesis of a Supervisory Controller from First Principles\u201d, Annual AICHE Meeting, Miami, November 1992."},{"key":"18_CR15","unstructured":"J. Raisch and S. O'Young, \u201cA DES Approach to Control of Hybrid Dynamical Syytems\u201d, Workshop on Analysis and Design of Event-driven Operations in Process-Systems (ADEDOPS), London, 1995."},{"key":"18_CR16","unstructured":"J. Sifakis, \u201cUse of Petri nets for performance evaluation\u201d, In H. Beilner and E. Gelenebe (editors), Measuring, modelling and evaluating computer systems, pp. 75\u201393. North-Holland, 1977."},{"key":"18_CR17","doi-asserted-by":"crossref","unstructured":"J. A. Stiver and P. J. Antsaklis, \u201cState Space Partitioning for Hybrid Control Systems\u201d, Proc. of the American Control Conference, San Francisco, California, pp. 2303\u20132304, June 1993.","DOI":"10.23919\/ACC.1993.4793297"},{"key":"18_CR18","unstructured":"O. Stursberg, S. Kowalewski and S. Engell, \u201cGenerating Timed Discrete Models of Continuous Systems\u201d, 2nd IMACS Symposium on Mathematical Modelling (MATHMOD'97), Vienna, Austria, Feb. 5\u20137th, 1997."}],"container-title":["Lecture Notes in Computer Science","Hybrid Systems IV"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0031569","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T13:50:27Z","timestamp":1586613027000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0031569"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540633587","9783540695233"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/bfb0031569","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}