{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:13:21Z","timestamp":1763468001052},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540237389"},{"type":"electronic","value":"9783540304944"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30494-4_3","type":"book-chapter","created":{"date-parts":[[2010,6,29]],"date-time":"2010-06-29T18:42:14Z","timestamp":1277836934000},"page":"21-36","source":"Crossref","is-referenced-by-count":64,"title":["Verification of Analog and Mixed-Signal Circuits Using Hybrid System Techniques"],"prefix":"10.1007","author":[{"given":"Thao","family":"Dang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexandre","family":"Donz\u00e9","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Oded","family":"Maler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","volume":"138","author":"R. Alur","year":"1995","unstructured":"Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T.A., Ho, P.-H., Nicollin, X., Olivero, A., Sifakis, J., Yovine, S.: The algorithmic analysis of hybrid systems. Theoretical Computer Science\u00a0138, 3\u201334 (1995)","journal-title":"Theoretical Computer Science"},{"key":"3_CR2","series-title":"Lecture Notes in Computer Science","volume-title":"Hybrid Systems: Computation and Control","year":"2004","unstructured":"Alur, R., Pappas, G.J. (eds.): HSCC 2004. LNCS, vol.\u00a02993. Springer, Heidelberg (2004)"},{"key":"3_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/978-3-540-24743-2_3","volume-title":"Hybrid Systems: Computation and Control","author":"E. Asarin","year":"2004","unstructured":"Asarin, E., Dang, T.: Abstraction by projection. In: Alur, R., Pappas, G.J. (eds.) HSCC 2004. LNCS, vol.\u00a02993, pp. 32\u201347. Springer, Heidelberg (2004)"},{"key":"3_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/3-540-36580-X_5","volume-title":"Hybrid Systems: Computation and Control","author":"E. Asarin","year":"2003","unstructured":"Asarin, E., Dang, T., Girard, A.: Reachability analysis of nonlinear systems using conservative approximation. In: Maler, O., Pnueli, A. (eds.) HSCC 2003. LNCS, vol.\u00a02623, pp. 20\u201335. Springer, Heidelberg (2003)"},{"key":"3_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/3-540-46430-1_6","volume-title":"Hybrid Systems: Computation and Control","author":"E. Asarin","year":"2000","unstructured":"Asarin, E., Bournez, O., Dang, T., Maler, O.: Reachability analysis of piecewiselinear dynamical systems. In: Lynch, N.A., Krogh, B.H. (eds.) HSCC 2000. LNCS, vol.\u00a01790, pp. 20\u201331. Springer, Heidelberg (2000)"},{"key":"3_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/3-540-45657-0_30","volume-title":"Computer Aided Verification","author":"E. Asarin","year":"2002","unstructured":"Asarin, E., Dang, T., Maler, O.: The d\/dt tool for verification of hybrid systems. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol.\u00a02404, pp. 365\u2013370. Springer, Heidelberg (2002)"},{"key":"3_CR7","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1137\/0914007","volume":"14","author":"U.M. Ascher","year":"1993","unstructured":"Ascher, U.M., Petzold, L.R.: Stability of computational methods for constrained dynamics systems. SIAM Journal on Scientific Computing\u00a014, 95\u2013120 (1993)","journal-title":"SIAM Journal on Scientific Computing"},{"key":"3_CR8","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1016\/S0005-1098(98)00178-2","volume":"35","author":"A. Bemporad","year":"1999","unstructured":"Bemporad, A., Morari, M.: Control of systems integrating logic, dynamics, and constraints. Automatica\u00a035, 407\u2013427 (1999)","journal-title":"Automatica"},{"key":"3_CR9","volume-title":"Numerical Solution of Initial Value Problems in Ordinary Differential-Algebraic Equations","author":"K.E. Brenan","year":"1989","unstructured":"Brenan, K.E., Campell, S.L., Petzold, L.R.: Numerical Solution of Initial Value Problems in Ordinary Differential-Algebraic Equations. North Holland, Amsterdam (1989)"},{"key":"3_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/3-540-48983-5_10","volume-title":"Hybrid Systems: Computation and Control","author":"A. Chutinan","year":"1999","unstructured":"Chutinan, A., Krogh, B.H.: Verification of polyhedral invariant hybrid automata using polygonal flow pipe approximations. In: Vaandrager, F.W., van Schuppen, J.H. (eds.) HSCC 1999. LNCS, vol.\u00a01569, pp. 76\u201390. Springer, Heidelberg (1999)"},{"key":"3_CR11","series-title":"Series in Comput. Mathematics","volume-title":"Structure-Preserving Algorithms for Ordinary Differential Equations","author":"C. Lubich","year":"2003","unstructured":"Lubich, C., Hairer, E., Wanner, G.: Geometric Numerical Integration. In: Structure-Preserving Algorithms for Ordinary Differential Equations. Series in Comput. Mathematics, vol.\u00a031. Springer, Heidelberg (2003)"},{"key":"3_CR12","volume-title":"Top-Down Design of High-Performance Sigma-Delta Modulators","author":"B. P\u00e9rez-Verd\u00fa","year":"2001","unstructured":"P\u00e9rez-Verd\u00fa, B., Medeiro, F., Rodr\u00edguez-V\u00e1zquez, A.: Top-Down Design of High-Performance Sigma-Delta Modulators, ch. 2. Kluwer Academic Publishers, Dordrecht (2001)","edition":"2"},{"key":"3_CR13","unstructured":"Feldmann, U., G\u00fcnther, M.: The DAE-index in electric circuit simulation. In: Proc. IMACS, Symposium on Mathematical Modelling, vol.\u00a04, pp. 695\u2013702 (1994)"},{"key":"3_CR14","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-6211-5","volume-title":"Symbolic Analysis in Analog Integrated Circuit Design","author":"H. Floberg","year":"1997","unstructured":"Floberg, H.: Symbolic Analysis in Analog Integrated Circuit Design. Kluwer, Dordrecht (1997)"},{"key":"3_CR15","first-page":"40","volume":"4","author":"A. Ghosh","year":"1999","unstructured":"Ghosh, A., Verumi, R.: Formal verification of synthesized analog circuits. Int. Conf. on Computer Design\u00a04, 40\u201345 (1999)","journal-title":"Int. Conf. on Computer Design"},{"key":"3_CR16","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1109\/81.558440","volume":"44","author":"M. Goodson","year":"1997","unstructured":"Goodson, M., Schreier, R., Zhang, B.: An algorithm for computing convex positively invariant sets for delta-sigma modulators. IEEE Transactions on Circuits and Systems I\u00a044, 38\u201344 (1997)","journal-title":"IEEE Transactions on Circuits and Systems I"},{"key":"3_CR17","series-title":"Lecture Notes in Computer Science","volume-title":"Hybrid Systems: Computation and Control","year":"2002","unstructured":"Tomlin, C.J., Greenstreet, M.R. (eds.): HSCC 2002. LNCS, vol.\u00a02289. Springer, Heidelberg (2002)"},{"key":"3_CR18","unstructured":"Gupta, S., Krogh, B.H., Rutenbar, R.A.: Towards formal verification of analog designs. In: Proc. ICCAD (2004) (to appear)"},{"key":"3_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1007\/3-540-45657-0_33","volume-title":"Computer Aided Verification","author":"W. Hartong","year":"2002","unstructured":"Hartong, W., Hedrich, L., Barke, E.: On discrete modelling and model checking for nonlinear analog systems. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol.\u00a02404, pp. 401\u2013413. Springer, Heidelberg (2002)"},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"Hein, S., Zakhor, A.: On the stability of sigma delta modulators. IEEE Transactions on Signal Processing\u00a041 (1993)","DOI":"10.1007\/978-1-4615-3138-8_3"},{"key":"3_CR21","unstructured":"Kouramas, K., Rakovic, S.V., Kerrigan, E.C., Mayne, D.Q.: Approximation of the minimal robustly positively invariant set for discrete-time LTI systems with persistent state disturbances. In: 42nd IEEE Conference on Decision and Control (2003)"},{"key":"3_CR22","doi-asserted-by":"crossref","first-page":"1350","DOI":"10.1109\/43.97615","volume":"10","author":"R.P. Kurshan","year":"1991","unstructured":"Kurshan, R.P., McMillan, K.L.: Analysis of digital circuits through symbolic reduction. IEEE Trans. on Computer-Aided Design\u00a010, 1350\u20131371 (1991)","journal-title":"IEEE Trans. on Computer-Aided Design"},{"key":"3_CR23","doi-asserted-by":"crossref","unstructured":"Maler, O.: On optimal and sub-optimal control in the presence of adversaries. In: Workshop on Discrete Event Systems, (WODES) (2004) (to appear)","DOI":"10.1016\/S1474-6670(17)30713-9"},{"key":"3_CR24","doi-asserted-by":"crossref","unstructured":"Maler, O., Nickovic, D.: Monitoring temporal properties of continuous signals. In: Proc. FORMATS\/FTRTFT (2004) (to appear)","DOI":"10.1007\/978-3-540-30206-3_12"},{"key":"3_CR25","series-title":"Lecture Notes in Computer Science","volume-title":"Hybrid Systems: Computation and Control","year":"2003","unstructured":"Maler, O., Pnueli, A. (eds.): HSCC 2003. LNCS, vol.\u00a02623. Springer, Heidelberg (2003)"},{"key":"3_CR26","unstructured":"MOSEK ApS. The Mosek Optimization Toolbox for Matlab version 3.0 (revision 19) user\u2019s guide and reference manual (November 2003)"},{"key":"3_CR27","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1109\/ISCAS.2002.1010708","volume":"5","author":"A. Salem","year":"2002","unstructured":"Salem, A.: Semi-formal verification of VHDL-AMS descriptors. IEEE Int Symposium on Circuits and Systems\u00a05, V-333\u2013V336 (2002)","journal-title":"IEEE Int Symposium on Circuits and Systems"},{"key":"3_CR28","unstructured":"Schreier, R.: The delta-sigma toolbox version 6.0 (January 2003)"},{"key":"3_CR29","doi-asserted-by":"crossref","unstructured":"Sorensen, H.V., Aziz, P.M., Spiegel, J.V.D.: An overview of sigma-delta converters. IEEE Signal Processing Magazine, 61\u201384 (January 1996)","DOI":"10.1109\/79.482138"},{"key":"3_CR30","unstructured":"Varaiya, P.: Reach set computation using optimal control. In: Proc. KIT Workshop, Verimag, Grenoble (1998)"},{"key":"3_CR31","unstructured":"Wichmann, T.: Computer aided generation of approximate DAE systems for symbolic analog circuit design. In: Proc. Annual Meeting GAMM (2000)"},{"key":"3_CR32","volume-title":"Computer Algebra in Scientific Computing","author":"T. Wichmann","year":"1999","unstructured":"Wichmann, T., Popp, R., Hartong, W., Hedrich, L.: On the simplification of nonlinear DAE systems in analog circuit design. In: Computer Algebra in Scientific Computing. Springer, Heidelberg (1999)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods in Computer-Aided Design"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30494-4_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T19:26:14Z","timestamp":1558293974000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30494-4_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540237389","9783540304944"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30494-4_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}