{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,1]],"date-time":"2025-07-01T05:46:21Z","timestamp":1751348781575},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540789284"},{"type":"electronic","value":"9783540789291"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-78929-1_30","type":"book-chapter","created":{"date-parts":[[2008,7,17]],"date-time":"2008-07-17T09:01:58Z","timestamp":1216285318000},"page":"415-428","source":"Crossref","is-referenced-by-count":23,"title":["Reachability of Uncertain Nonlinear Systems Using a Nonlinear Hybridization"],"prefix":"10.1007","author":[{"given":"Nacim","family":"Ramdani","sequence":"first","affiliation":[]},{"given":"Nacim","family":"Meslem","sequence":"additional","affiliation":[]},{"given":"Yves","family":"Candau","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"30_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":"30_CR2","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1007\/s00236-006-0035-7","volume":"43","author":"E. Asarin","year":"2007","unstructured":"Asarin, E., Dang, T., Girard, A.: Hybridization methods for the analysis of non-linear systems. Acta Informatica\u00a043, 451\u2013476 (2007)","journal-title":"Acta Informatica"},{"key":"30_CR3","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/0304-3975(94)00228-B","volume":"138","author":"E. Asarin","year":"1995","unstructured":"Asarin, E., Maler, O., Pnueli, A.: Reachability analysis of dynamical systems having piecewise-constant derivatives. Theoretical Computer Science\u00a0138, 35\u201365 (1995)","journal-title":"Theoretical Computer Science"},{"key":"30_CR4","doi-asserted-by":"publisher","first-page":"765","DOI":"10.1016\/j.jprocont.2003.12.006","volume":"14","author":"O. Bernard","year":"2004","unstructured":"Bernard, O., Gouz\u00e9, J.-L.: Closed loop observers bundle for uncertain biotechnological models. Journal of Process Control\u00a014, 765\u2013774 (2004)","journal-title":"Journal of Process Control"},{"key":"30_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/3-540-46430-1_10","volume-title":"Hybrid Systems: Computation and Control","author":"O. Botchkarev","year":"2000","unstructured":"Botchkarev, O., Tripakis, S.: Verification of hybrid systems with linear differential inclusions using ellipsoidal approximations. In: Lynch, N.A., Krogh, B.H. (eds.) HSCC 2000. LNCS, vol.\u00a01790, pp. 73\u201388. Springer, Heidelberg (2000)"},{"key":"30_CR6","doi-asserted-by":"crossref","unstructured":"Chutinan, A., Krogh, B.H.: Computational techniques for hybrid systems verification. IEEE T. Automatic Control\u00a048 (2003)","DOI":"10.1109\/TAC.2002.806655"},{"key":"30_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1007\/11603009_13","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"L. Doyen","year":"2005","unstructured":"Doyen, L., Henzinger, T.A., Raskin, J.F.: Automatic rectangular refinement of affine hybrid systems. In: Pettersson, P., Yi, W. (eds.) FORMATS 2005. LNCS, vol.\u00a03829, pp. 144\u2013161. Springer, Heidelberg (2005)"},{"key":"30_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1007\/978-3-540-31954-2_19","volume-title":"Hybrid Systems: Computation and Control","author":"A. Girard","year":"2005","unstructured":"Girard, A.: Reachability of uncertain linear systems using zonotopes. In: Morari, M., Thiele, L. (eds.) HSCC 2005. LNCS, vol.\u00a03414, pp. 291\u2013305. Springer, Heidelberg (2005)"},{"key":"30_CR9","doi-asserted-by":"publisher","first-page":"1253","DOI":"10.1016\/j.conengprac.2004.03.015","volume":"12","author":"H. Gu\u00e9guen","year":"2004","unstructured":"Gu\u00e9guen, H., Zaytoon, J.: On the formal verification of hybrid systems. Control Engineering Practice\u00a012, 1253\u20131267 (2004)","journal-title":"Control Engineering Practice"},{"key":"30_CR10","doi-asserted-by":"crossref","unstructured":"Henzinger, T.A., Horowitz, B., Majumdar, R., Wong-Toi, H.: Beyond hytech: Hybrids systems analysis using interval numerical methods, vol.\u00a01790, pp. 130\u2013144 (2000)","DOI":"10.1007\/3-540-46430-1_14"},{"key":"30_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-0249-6","volume-title":"Applied Interval Analysis: with examples in parameter and state estimation, robust control and robotics","author":"L. Jaulin","year":"2001","unstructured":"Jaulin, L., Kieffer, M., Didrit, O., Walter, E.: Applied Interval Analysis: with examples in parameter and state estimation, robust control and robotics. Springer, London (2001)"},{"key":"30_CR12","doi-asserted-by":"crossref","unstructured":"Kieffer, M., Walter, E., Simeonov, I.: Guaranteed nonlinear parameter estimation for continuous-time dynamical models. In: Proceedings 14th IFAC Symposium on System Identification, Newcastle, Aus., pp. 843\u2013848 (2006)","DOI":"10.3182\/20060329-3-AU-2901.00133"},{"key":"30_CR13","series-title":"Lecture Notes in Control and Information Sciences","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/10984413_12","volume-title":"New Directions and Applications in Control Theory","author":"A.B. Kurzhanski","year":"2005","unstructured":"Kurzhanski, A.B., Varaiya, P.: Ellipsoidal techniques for hybrid dynamics: The reachability problem. In: Dayawansa, W.P., Lindquist, A., Zhou, Y. (eds.) New Directions and Applications in Control Theory. Lecture Notes in Control and Information Sciences, vol.\u00a0321, pp. 193\u2013205. Springer, Heidelberg (2005)"},{"issue":"6","key":"30_CR14","doi-asserted-by":"publisher","first-page":"1150","DOI":"10.1016\/j.na.2005.12.016","volume":"65","author":"M.-A. Lefebvre","year":"2006","unstructured":"Lefebvre, M.-A., Gu\u00e9guen, H.: Hybrid abstractions of affine systems. Nonlinear Analysis\u00a065(6), 1150\u20131167 (2006)","journal-title":"Nonlinear Analysis"},{"key":"30_CR15","doi-asserted-by":"publisher","first-page":"619","DOI":"10.1007\/BF01475477","volume":"26","author":"M. M\u00fcller","year":"1927","unstructured":"M\u00fcller, M.: Uber das fundamentaltheorem in der theorie der gew\u00f6hnlichen differentialgleichungen. Mathematische Zeitschrift\u00a026, 619\u2013645 (1927)","journal-title":"Mathematische Zeitschrift"},{"key":"30_CR16","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/S0096-3003(98)10083-8","volume":"105","author":"N.S. Nedialkov","year":"1999","unstructured":"Nedialkov, N.S., Jackson, K.R., Corliss, G.F.: validated solutions of initial value problems for ordinary differential equations. Applied Mathematics and Computation\u00a0105, 21\u201368 (1999)","journal-title":"Applied Mathematics and Computation"},{"key":"30_CR17","doi-asserted-by":"crossref","unstructured":"Rauh, A., Kletting, M., Aschemann, H., Hofer, E.P.: Interval methods for simulation of dynamical systems with state-dependent switching characteristics. In: Proceedings of the 2006 IEEE International Conference on Control Applications, Munich, pp. 355\u2013360 (2006)","DOI":"10.1109\/CCA.2006.285918"},{"issue":"8","key":"30_CR18","doi-asserted-by":"publisher","first-page":"4695","DOI":"10.1016\/S0362-546X(96)00259-3","volume":"30","author":"W. Walter","year":"1997","unstructured":"Walter, W.: Differential inequalities and maximum principles: Theory, new methods and applications. Nonlinear Analysis, Theory, Methods & Applications\u00a030(8), 4695\u20134711 (1997)","journal-title":"Nonlinear Analysis, Theory, Methods & Applications"}],"container-title":["Lecture Notes in Computer Science","Hybrid Systems: Computation and Control"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-78929-1_30.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:04:19Z","timestamp":1619521459000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-78929-1_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540789284","9783540789291"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-78929-1_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}