{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:46Z","timestamp":1761611206330},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540439974"},{"type":"electronic","value":"9783540456575"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45657-0_33","type":"book-chapter","created":{"date-parts":[[2007,5,19]],"date-time":"2007-05-19T10:59:43Z","timestamp":1179572383000},"page":"401-414","source":"Crossref","is-referenced-by-count":13,"title":["On Discrete Modeling and Model Checking for Nonlinear Analog Systems"],"prefix":"10.1007","author":[{"given":"Walter","family":"Hartong","sequence":"first","affiliation":[]},{"given":"Lars","family":"Hedrich","sequence":"additional","affiliation":[]},{"given":"Erich","family":"Barke","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,9,20]]},"reference":[{"key":"33_CR1","doi-asserted-by":"crossref","unstructured":"Alur, R., Henzinger, T., Lafferriere, G., Pappas, G.: Discrete abstractions of hybrid systems. Proceedings of IEEE (2000 971\u2013984","DOI":"10.1109\/5.871304"},{"key":"33_CR2","doi-asserted-by":"publisher","first-page":"1356","DOI":"10.1109\/43.97615","volume":"10","author":"R. Kurshan","year":"1991","unstructured":"Kurshan, R., McMillan, K.: Analysis of digital circuits trough symbolic reduction. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 10 (1991 1356\u201371","journal-title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"},{"key":"33_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"96","DOI":"10.1007\/3-540-64358-3_34","volume-title":"HSCC\u2019 98: Hybrid Systems: Computation and Control","author":"T. Dang","year":"1998","unstructured":"Dang, T., Maler, O.: Reachability analysis via face lifting. HSCC\u2019 98: Hybrid Systems: Computation and Control, LNCS (1998 96\u2013109"},{"key":"33_CR4","series-title":"Lect Notes Comput Sci","first-page":"76","volume-title":"HSCC\u2019 00: Hybrid Systems: Computation and Control","author":"E. Asarin","year":"2000","unstructured":"Asarin, E., Bournez, O., Dang, T., Maler, O.: Approximate reachability analysis of piecewise-linear dynamical systems. HSCC\u2019 00: Hybrid Systems: Computation and Control, LNCS (2000 76\u201390"},{"key":"33_CR5","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1007\/0-306-48089-1_8","volume-title":"Low-Power Design Techniques and CAD Tools for Analog and RF Intergrated Circuits","author":"L. Hedrich","year":"2001","unstructured":"Hedrich, L., Hartong, W.: Approaches to formal verification of analog circuits. In Wambacq, P., ed.: Low-Power Design Techniques and CAD Tools for Analog and RF Intergrated Circuits. Kluwer Academic Publishers, Boston (2001 155\u2013191"},{"key":"33_CR6","first-page":"97","volume":"8","author":"M. Giinther","year":"1999","unstructured":"Giinther, M., Feldmann, U.: Cad-based electric circuit modeling in industry, part is Mathemetical structure and index of network equations. Suveys on Mathematics for Industry 8 (1999 97\u2013129","journal-title":"Suveys on Mathematics for Industry"},{"key":"33_CR7","doi-asserted-by":"crossref","unstructured":"M\u00e4rz, R.: Numerical methods for differential algebraic equations. Acta Numerica (1991 141\u2013198","DOI":"10.1017\/S0962492900002269"},{"key":"33_CR8","doi-asserted-by":"crossref","unstructured":"Dellnitz, M., Froyland, G., Junge, O.: The algorithms behind gaio-set oriented numerical methods for dynamical systems. Ergodic Theory, Analysis, and Efficient Simulation of Dynamical Systems (eds. B. Fiedler, Springer (2001 145\u2013174","DOI":"10.1007\/978-3-642-56589-2_7"},{"key":"33_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1007\/3-540-60045-0_53","volume-title":"CAV\u2019 95: International Conference on Computer-Aided Verification","author":"T. Henzinger","year":"1995","unstructured":"Henzinger, T., Ho, P.H.: Algorithmic analysis of nonlinear hybrid systems. CAV\u2019 95: International Conference on Computer-Aided Verification, LNCS 939 (1995 225\u2013238"},{"key":"33_CR10","volume-title":"Interval methods for systems of equations","author":"N. A","year":"1990","unstructured":"Neumaier, A.: Interval methods for systems of equations. Cambridge University Press, Cambridge (1990"},{"key":"33_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1007\/3-540-46430-1_14","volume-title":"HSCC\u2019 00: Hybrid Systems: Computation and Control","author":"T. Henzinger","year":"2000","unstructured":"Henzinger, T., Horowitz, B., Majumdar, R., Wong-Toi, H.: Beyond hytech: Hybrid systems analysis using interval numerical methods. HSCC\u2019 00: Hybrid Systems: Computation and Control, LNCS (2000 130\u2013144"},{"key":"33_CR12","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1109\/43.275352","volume":"13","author":"J. Burch","year":"1994","unstructured":"Burch, J., Clarke, E., Long, D., McMillian, K., Dill, D.: Symbolic model checking for sequential circuit verification. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 13 (1994 401\u2013424","journal-title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"},{"key":"33_CR13","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1006\/inco.1999.2817","volume":"156","author":"F. Laroussinie","year":"2000","unstructured":"Laroussinie, F., Schnoebelen, P.: Specification in ctl+past for verification in ctl. Information and Computation 156 (2000 236\u2013263","journal-title":"Information and Computation"},{"key":"33_CR14","series-title":"Lect Notes Comput Sci","first-page":"136","volume-title":"CAV\u2019 90: International Conference on Computer-Aided Verification","author":"E. Emerson","year":"1990","unstructured":"Emerson, E., Mok, A., Sistla, A., Srinivasan, J.: Quantitytive temporal reasoning. CAV\u2019 90: International Conference on Computer-Aided Verification, LNCS (1990 136\u2013145"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45657-0_33","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T01:21:03Z","timestamp":1556414463000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45657-0_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540439974","9783540456575"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-45657-0_33","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}