{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,29]],"date-time":"2024-07-29T20:35:24Z","timestamp":1722285324747},"reference-count":44,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2014,8,12]],"date-time":"2014-08-12T00:00:00Z","timestamp":1407801600000},"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":["Math.Comput.Sci."],"published-print":{"date-parts":[[2014,9]]},"DOI":"10.1007\/s11786-014-0204-y","type":"journal-article","created":{"date-parts":[[2014,8,11]],"date-time":"2014-08-11T20:37:33Z","timestamp":1407789453000},"page":"407-423","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["A CSP Versus a Zonotope-Based Method for Solving Guard Set Intersection in Nonlinear Hybrid Reachability"],"prefix":"10.1007","volume":"8","author":[{"given":"Moussa","family":"Ma\u00efga","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nacim","family":"Ramdani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Louise","family":"Trav\u00e9-Massuy\u00e8s","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christophe","family":"Combastel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,8,12]]},"reference":[{"key":"204_CR1","doi-asserted-by":"crossref","unstructured":"Althoff, M., Krogh, B.H.: Zonotope bundles for the efficient computation of reachable sets. In: CDC-ECE, pp. 6814\u20136821 (2011)","DOI":"10.1109\/CDC.2011.6160872"},{"key":"204_CR2","doi-asserted-by":"crossref","unstructured":"Althoff, M., Krogh, B.H.: Avoiding geometric intersection operations in reachability analysis of hybrid systems. In: HSCC, pp. 45\u201354 (2012)","DOI":"10.1145\/2185632.2185643"},{"key":"204_CR3","doi-asserted-by":"crossref","unstructured":"Althoff, M., Stursberg, O., Buss, M.: Reachability analysis of nonlinear systems with uncertain parameters using conservative linearization. In: CDC, pp. 4042\u20134048 (2008)","DOI":"10.1109\/CDC.2008.4738704"},{"key":"204_CR4","doi-asserted-by":"crossref","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., Ho P.-H., Nicollin X., Olivero A., Sifakis J., Yovine S.: The algorithmic analysis of hybrid systems. Theor. Comput. Sci. 138, 3\u201334 (1995)","journal-title":"Theor. Comput. Sci."},{"key":"204_CR5","doi-asserted-by":"crossref","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. Theor. Comput. Sci. 138, 3\u201334 (1995)","journal-title":"Theor. Comput. Sci."},{"key":"204_CR6","unstructured":"Bendtsen, C., Stauning, O.: FADBAD, a flexible C++ package for automatic differentiation. Technical Report IMM\u2013REP\u20131996\u201317, Department of Mathematical Modelling, Technical University of Denmark, Lyngby (1996)"},{"issue":"3","key":"204_CR7","first-page":"189","volume":"2","author":"L.G. Birta","year":"1985","unstructured":"Birta L.G., Oren T.I., Kettenis D.L.: A robust procedure for discontinuity handling in continuous system simulation. Trans. Soc. Comput. Simul. Int 2(3), 189\u2013205 (1985)","journal-title":"Trans. Soc. Comput. Simul. Int"},{"key":"204_CR8","unstructured":"Chabert, G.: IBEX: Interval Based EXplorer, available at http:\/\/www.ibex-lib.org\/ (2007)"},{"key":"204_CR9","doi-asserted-by":"crossref","unstructured":"Chen, X., Abraham, E., Sankaranarayanan, S.: Taylor model flowpipe construction for non-linear hybrid systems. In: 33rd IEEE Real-Time Systems Symposium (RTSS 12), pp. 183\u2013192 (2012)","DOI":"10.1109\/RTSS.2012.70"},{"key":"204_CR10","first-page":"125","volume":"2","author":"J.C. Cleary","year":"1987","unstructured":"Cleary J.C.: Logical arithmetic. Future Comput. Syst. 2, 125\u2013149 (1987)","journal-title":"Future Comput. Syst."},{"key":"204_CR11","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1023\/A:1009922003700","volume":"5","author":"H. Collavizza","year":"1999","unstructured":"Collavizza H., Delobel F., Rueher M.: Comparing partial consistencies. Reliable Comput. 5, 213\u2013228 (1999)","journal-title":"Reliable Comput."},{"key":"204_CR12","doi-asserted-by":"crossref","unstructured":"Combastel, C., Zhang, Q., Lalami, A.: Fault diagnosis based on the enclosure of parameters estimated with an adaptive observer. In: 17th IFAC World Congress Seoul, Korea, July 6\u201311 (2008)","DOI":"10.3182\/20080706-5-KR-1001.01237"},{"key":"204_CR13","unstructured":"Corliss, G.F., Rihm, R.: Validating an a priori enclosure using high-order taylor series. In: Scientific Computing, Computer Arithmetic, and Validated Numerics, pp. 228\u2013238. Akademie Verlag, Berlin (1996)"},{"key":"204_CR14","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1016\/0004-3702(87)90091-9","volume":"32","author":"E. Davis","year":"1987","unstructured":"Davis E.: Constraint propagation with interval labels. Artif. Intell. 32, 281\u2013331 (1987)","journal-title":"Artif. Intell."},{"key":"204_CR15","doi-asserted-by":"crossref","unstructured":"Eggers A., Fr\u00e4nzle M., Herde C.: SAT Modulo ODE: a direct SAT approach to hybrid systems. In: Cha et\u00a0al. (Ed.): ATVA 2008, LNCS 5311, pp. 171\u2013185 (2008)","DOI":"10.1007\/978-3-540-88387-6_14"},{"key":"204_CR16","doi-asserted-by":"crossref","unstructured":"Eggers, A., Ramdani, N., Nedialko, N.S., Fr\u00e4nzle, M.: Improving the SAT modulo ODE approach to hybrid systems analysis by combining different enclosure methods. Softw. Syst. Model. 1\u201328 (2012)","DOI":"10.1007\/s10270-012-0295-3"},{"key":"204_CR17","doi-asserted-by":"crossref","unstructured":"Esposito, J.M.,Kumar, V.: A state event detection algorithm for numerically simulating hybrid systems with model singularities. ACM Trans. Model. Comput. Simul. 17(1), 1 (2007)","DOI":"10.1145\/1189756.1189757"},{"key":"204_CR18","doi-asserted-by":"crossref","unstructured":"Esposito, J.M., Kumar, V., Pappas, G.J.: Accurate event detection for simulating hybrid systems. In: HSCC, pp. 204\u2013217 (2001)","DOI":"10.1007\/3-540-45351-2_19"},{"key":"204_CR19","doi-asserted-by":"crossref","unstructured":"Frehse, G., Ray, R.: Flowpipe-guard intersection for reachability computations with support functions. In: IFAC Conf. Analysis and Design of Hybrid Systems (ADHS), pp. 94\u2013101 (2012)","DOI":"10.3182\/20120606-3-NL-3011.00053"},{"key":"204_CR20","unstructured":"Girard, A.: Detection of event occurrence in piecewise linear hybrid systems. Dec. (2002)"},{"key":"204_CR21","doi-asserted-by":"crossref","unstructured":"Girard, A.: Reachability of uncertain linear systems using zonotopes. In: HSCC, vol. 3414 in LNCS, pp. 291\u2013305 (2005)","DOI":"10.1007\/978-3-540-31954-2_19"},{"key":"204_CR22","doi-asserted-by":"crossref","unstructured":"Girard, A., Guernic, C.L.: Zonotope\/hyperplane intersection for hybrid systems reachability analysis. In: HSCC, pp. 215\u2013228 (2008)","DOI":"10.1007\/978-3-540-78929-1_16"},{"key":"204_CR23","doi-asserted-by":"crossref","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 Eng. Pract. 12, 1253\u20131267 (2004)","journal-title":"Control Eng. Pract."},{"key":"204_CR24","doi-asserted-by":"crossref","unstructured":"Guernic, C., Girard, A.: Reachability analysis of hybrid systems using support functions. In: Proceedings of the 21st International Conference on Computer Aided Verification, CAV \u201909, pp. 540\u2013554. Springer-Verlag, Berlin, Heidelberg (2009)","DOI":"10.1007\/978-3-642-02658-4_40"},{"key":"204_CR25","doi-asserted-by":"crossref","unstructured":"Guernic, C.L., Girard, A.: Reachability analysis of hybrid systems using support functions. In: CAV, pp. 540\u2013554 (2009)","DOI":"10.1007\/978-3-642-02658-4_40"},{"key":"204_CR26","volume-title":"Global Optimization using Interval Analysis","author":"E. Hansen","year":"2004","unstructured":"Hansen E., Walster G.: Global Optimization using Interval Analysis, 2nd edn. Marcel Dekker, New York (2004)","edition":"2"},{"key":"204_CR27","doi-asserted-by":"crossref","first-page":"449","DOI":"10.1007\/s10009-011-0193-y","volume":"13","author":"D. Ishii","year":"2011","unstructured":"Ishii D., Ueda K., Hosobe H.: An interval-based sat modulo ode solver for model checking nonlinear hybrid systems. Int. J. Softw. Tools Technol. Transf. 13, 449\u2013461 (2011)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"204_CR28","unstructured":"Jaulin, L., Kieffer, M., Didrit, O., Walter, E.: Applied Interval Analysis: With Examples in Parameter and State Estimation, Robust Control and Robotics. Springer-Verlag, London"},{"key":"204_CR29","unstructured":"Klima, G.: AML++: Another Matrix Library in c++, available at http:\/\/amlpp.sourceforge.net\/ 2008-2010"},{"issue":"3-4","key":"204_CR30","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1007\/BF02307379","volume":"53","author":"O. Kn\u00fcppel","year":"1994","unstructured":"Kn\u00fcppel O.: PROFIL\/BIAS a fast interval library. Computing 53(3-4), 277\u2013287 (1994)","journal-title":"Computing"},{"key":"204_CR31","doi-asserted-by":"crossref","unstructured":"Lalami, A., Combastel, C.: A state bounding algorithm for linear systems with bounded input and bounded slew-rate. European Control Conference (2007)","DOI":"10.23919\/ECC.2007.7068532"},{"key":"204_CR32","unstructured":"Lohner, R.J.: Enclosing the solutions of ordinary initial and boundary value problems. In: Kaucher, E.W., Kulisch, U.W., Ullrich, C. (Eds.) Computer Arithmetic: Scientific Computation and Programming Languages, pp. 255\u2013286. Wiley-Teubner, Stuttgart (1987)"},{"key":"204_CR33","doi-asserted-by":"crossref","unstructured":"Ma\u00efga, M., Ramdani, N., Trav\u00e9-Massuy\u00e8s, L.: A fast method for solving guard set intersection in nonlinear hybrid reachability. In: Proceedings of 52nd IEEE Conference on Decision and Control, CDC, pp. 508\u2013513 (2013)","DOI":"10.1109\/CDC.2013.6759932"},{"key":"204_CR34","unstructured":"Moore, R.E.: Interval Analysis. Prentice-Hall, Englewood Cliffs (1996)"},{"issue":"1","key":"204_CR35","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1016\/S0096-3003(98)10083-8","volume":"105","author":"N. Nedialkov","year":"1999","unstructured":"Nedialkov N., Jackson K., Corliss G.: Validated solutions of initial value problems for ordinary differential equations. Appl. Math. Comput. 105(1), 21\u201368 (1999)","journal-title":"Appl. Math. Comput."},{"key":"204_CR36","doi-asserted-by":"crossref","unstructured":"Nedialkov, N. S., Jackson, K.R.: An effective high-order interval method for validating existence and uniqueness of the solution of an ivp for an ODE. Computing 17: 449\u2013465 (2001)","DOI":"10.1023\/A:1014798618404"},{"key":"204_CR37","doi-asserted-by":"crossref","unstructured":"Neumaier, A.: Complete search in continuous global optimization and constraint satisfaction. In: Iserles, A. (ed.) Acta Numerica, chapter 4. Cambridge University Press, Cambridge (2004)","DOI":"10.1017\/S0962492904000194"},{"issue":"2","key":"204_CR38","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1145\/232807.232809","volume":"6","author":"T. Park","year":"1996","unstructured":"Park T., Barton P.I.: State event location in differential-algebraic models. ACM Trans. Model. Comput. Simul 6(2), 137\u2013165 (1996)","journal-title":"ACM Trans. Model. Comput. Simul"},{"issue":"10","key":"204_CR39","doi-asserted-by":"crossref","first-page":"2352","DOI":"10.1109\/TAC.2009.2028974","volume":"54","author":"N. Ramdani","year":"2009","unstructured":"Ramdani N., Meslem N., Candau Y.: A hybrid bounding method for computing an over-approximation for the reachable set of uncertain nonlinear systems. IEEE Trans. Automat. Contr 54(10), 2352\u20132364 (2009)","journal-title":"IEEE Trans. Automat. Contr"},{"issue":"2","key":"204_CR40","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1016\/j.nahs.2010.05.010","volume":"5","author":"N. Ramdani","year":"2011","unstructured":"Ramdani N., Nedialkov N.S.: Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques. Nonlinear Anal. Hybrid Syst. 5(2), 149\u2013162 (2011)","journal-title":"Nonlinear Anal. Hybrid Syst."},{"key":"204_CR41","unstructured":"Sanderson, C.: Armadillo: C++ linear Algebra Library, available at http:\/\/arma.sourceforge.net\/ (2013)"},{"key":"204_CR42","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1145\/103147.103149","volume":"17","author":"L.F. Shampine","year":"1987","unstructured":"Shampine L.F., Gladwell I., Brankin R.W.: Reliable solution of special event location problems for ODEs. ACM Trans. Math. Softw. 17, 11\u201325 (1987)","journal-title":"ACM Trans. Math. Softw."},{"issue":"7","key":"204_CR43","doi-asserted-by":"crossref","first-page":"986","DOI":"10.1109\/JPROC.2003.814621","volume":"91","author":"C.J. Tomlin","year":"2003","unstructured":"Tomlin C.J., Mitchell I.M., Bayen A.M., Oishi M.: Computational techniques for the verification of hybrid systems. Proc. IEEE 91(7), 986\u20131001 (2003)","journal-title":"Proc. IEEE"},{"key":"204_CR44","unstructured":"Waltz, D.L.: Generating Semantic Descriptions from Drawings of Scenes with Shadows, pp. 19\u201391. McGraw-Hill, New York (1975)"}],"container-title":["Mathematics in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11786-014-0204-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11786-014-0204-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11786-014-0204-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,13]],"date-time":"2019-08-13T20:14:05Z","timestamp":1565727245000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11786-014-0204-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,8,12]]},"references-count":44,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2014,9]]}},"alternative-id":["204"],"URL":"https:\/\/doi.org\/10.1007\/s11786-014-0204-y","relation":{},"ISSN":["1661-8270","1661-8289"],"issn-type":[{"value":"1661-8270","type":"print"},{"value":"1661-8289","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,8,12]]}}}