{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,25]],"date-time":"2025-06-25T04:11:34Z","timestamp":1750824694225,"version":"3.41.0"},"publisher-location":"Cham","reference-count":34,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319657646"},{"type":"electronic","value":"9783319657653"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-65765-3_6","type":"book-chapter","created":{"date-parts":[[2017,8,2]],"date-time":"2017-08-02T09:08:38Z","timestamp":1501664918000},"page":"97-115","source":"Crossref","is-referenced-by-count":0,"title":["Augmented Complex Zonotopes for Computing Invariants of Affine Hybrid Systems"],"prefix":"10.1007","author":[{"given":"Arvind","family":"Adimoolam","sequence":"first","affiliation":[]},{"given":"Thao","family":"Dang","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,8,3]]},"reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"Adimoolam, A., Dang, T.: Template complex zonotopes for stability and invariant computation. In: American Control Conference (ACC). IEEE (2017)","DOI":"10.23919\/ACC.2017.7963335"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Adimoolam, A.S., Dang, T.: Using complex zonotopes for stability verification. In: American Control Conference (ACC), pp. 4269\u20134274. IEEE (2016)","DOI":"10.1109\/ACC.2016.7525593"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"Adj\u00e9, A.: Coupling policy iterations with piecewise quadratic lyapunov functions. In: Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control (HSCC 2017), Pittsburgh, 18\u201320 April 2017, pp. 143\u2013152 (2017)","DOI":"10.1145\/3049797.3049825"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Adj\u00e9, A., Garoche, P., Werey, A.: Quadratic zonotopes - an extension of zonotopes to quadratic arithmetics. In: Proceedings of the 13th Asian Symposium on Programming Languages and Systems (APLAS 2015), pp. 127\u2013145 (2015)","DOI":"10.1007\/978-3-319-26529-2_8"},{"key":"6_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1007\/978-3-540-69166-2_13","volume-title":"Static Analysis","author":"X Allamigeon","year":"2008","unstructured":"Allamigeon, X., Gaubert, S., Goubault, \u00c9.: Inferring min and max invariants using max-plus polyhedra. In: Alpuente, M., Vidal, G. (eds.) SAS 2008. LNCS, vol. 5079, pp. 189\u2013204. Springer, Heidelberg (2008). doi: 10.1007\/978-3-540-69166-2_13"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Althoff, M.: Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets. In: Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control (HSCC 2013), pp. 173\u2013182 (2013)","DOI":"10.1145\/2461328.2461358"},{"key":"6_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/11547662_4","volume-title":"Static Analysis","author":"R Bagnara","year":"2005","unstructured":"Bagnara, R., Rodr\u00edguez-Carbonell, E., Zaffanella, E.: Generation of basic semi-algebraic invariants using convex polyhedra. In: Hankin, C., Siveroni, I. (eds.) SAS 2005. LNCS, vol. 3672, pp. 19\u201334. Springer, Heidelberg (2005). doi: 10.1007\/11547662_4"},{"issue":"1","key":"6_CR8","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1023\/A:1008744030390","volume":"15","author":"S Bensalem","year":"1999","unstructured":"Bensalem, S., Lakhnech, Y.: Automatic generation of invariants. Form. Methods Syst. Des. 15(1), 75\u201392 (1999)","journal-title":"Form. Methods Syst. Des."},{"key":"6_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"620","DOI":"10.1007\/978-3-642-02658-4_46","volume-title":"Computer Aided Verification","author":"O Bouissou","year":"2009","unstructured":"Bouissou, O., Goubault, E., Putot, S., Tekkal, K., Vedrine, F.: HybridFluctuat: a static analyzer of numerical programs within a continuous environment. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol. 5643, pp. 620\u2013626. Springer, Heidelberg (2009). doi: 10.1007\/978-3-642-02658-4_46"},{"key":"6_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"420","DOI":"10.1007\/978-3-540-45069-6_39","volume-title":"Computer Aided Verification","author":"MA Col\u00f3n","year":"2003","unstructured":"Col\u00f3n, M.A., Sankaranarayanan, S., Sipma, H.B.: Linear invariant generation using non-linear constraint solving. In: Hunt, W.A., Somenzi, F. (eds.) CAV 2003. LNCS, vol. 2725, pp. 420\u2013432. Springer, Heidelberg (2003). doi: 10.1007\/978-3-540-45069-6_39"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Cousot, P., Halbwachs, N.: Automatic discovery of linear restraints among variables of a program. In: Conference Record of the Fifth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Tucson, pp. 84\u201397 (1978)","DOI":"10.1145\/512760.512770"},{"key":"6_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1007\/978-3-642-25318-8_6","volume-title":"Programming Languages and Systems","author":"T Dang","year":"2011","unstructured":"Dang, T., Gawlitza, T.M.: Template-based unbounded time verification of affine hybrid automata. In: Yang, H. (ed.) APLAS 2011. LNCS, vol. 7078, pp. 34\u201349. Springer, Heidelberg (2011). doi: 10.1007\/978-3-642-25318-8_6"},{"key":"6_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1007\/978-3-642-22110-1_30","volume-title":"Computer Aided Verification","author":"G Frehse","year":"2011","unstructured":"Frehse, G., et al.: SpaceEx: scalable verification of hybrid systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 379\u2013395. Springer, Heidelberg (2011). doi: 10.1007\/978-3-642-22110-1_30"},{"key":"6_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"627","DOI":"10.1007\/978-3-642-02658-4_47","volume-title":"Computer Aided Verification","author":"K Ghorbal","year":"2009","unstructured":"Ghorbal, K., Goubault, E., Putot, S.: The zonotope abstract domain Taylor1+. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol. 5643, pp. 627\u2013633. Springer, Heidelberg (2009). doi: 10.1007\/978-3-642-02658-4_47"},{"key":"6_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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. 3414, pp. 291\u2013305. Springer, Heidelberg (2005). doi: 10.1007\/978-3-540-31954-2_19"},{"key":"6_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-38856-9_1","volume-title":"Static Analysis","author":"E Goubault","year":"2013","unstructured":"Goubault, E.: Static analysis by abstract interpretation of numerical programs and systems, and FLUCTUAT. In: Logozzo, F., F\u00e4hndrich, M. (eds.) SAS 2013. LNCS, vol. 7935, pp. 1\u20133. Springer, Heidelberg (2013). doi: 10.1007\/978-3-642-38856-9_1"},{"key":"6_CR17","doi-asserted-by":"crossref","unstructured":"Heinz, T., Oehlerking, J., Woehrle, M.: Benchmark: reachability on a model with holes. In: ARCH@ CPSWeek, pp. 31\u201336 (2014)","DOI":"10.29007\/cv59"},{"key":"6_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"661","DOI":"10.1007\/978-3-642-02658-4_52","volume-title":"Computer Aided Verification","author":"B Jeannet","year":"2009","unstructured":"Jeannet, B., Min\u00e9, A.: Apron: a library of numerical abstract domains for static analysis. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol. 5643, pp. 661\u2013667. Springer, Heidelberg (2009). doi: 10.1007\/978-3-642-02658-4_52"},{"issue":"3","key":"6_CR19","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1016\/S0167-6911(00)00059-1","volume":"41","author":"A Kurzhanski","year":"2000","unstructured":"Kurzhanski, A., Varaiya, P.: Ellipsoidal techniques for reachability analysis: internal approximation. Syst. Control Lett. 41(3), 201\u2013211 (2000)","journal-title":"Syst. Control Lett."},{"key":"6_CR20","doi-asserted-by":"crossref","unstructured":"Ma\u00efga, M., Combastel, C., Ramdani, N., Trav\u00e9-Massuy\u00e8s, L.: Nonlinear hybrid reachability using set integration and zonotopic enclosures. In: European Control Conference (ECC 2014), Strasbourg, 24\u201327 June 2014, pp. 234\u2013239 (2014)","DOI":"10.1109\/ECC.2014.6862491"},{"key":"6_CR21","unstructured":"Makhlouf, I.B., Kowalewski, S.: Networked cooperative platoon of vehicles for testing methods and verification tools. In: ARCH@ CPSWeek, pp. 37\u201342 (2014)"},{"issue":"1","key":"6_CR22","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1007\/s10990-006-8609-1","volume":"19","author":"A Min\u00e9","year":"2006","unstructured":"Min\u00e9, A.: The octagon abstract domain. High. Order Symb. Comput. 19(1), 31\u2013100 (2006)","journal-title":"High. Order Symb. Comput."},{"key":"6_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"477","DOI":"10.1007\/978-3-540-24743-2_32","volume-title":"Hybrid Systems: Computation and Control","author":"S Prajna","year":"2004","unstructured":"Prajna, S., Jadbabaie, A.: Safety verification of hybrid systems using barrier certificates. In: Alur, R., Pappas, G.J. (eds.) HSCC 2004. LNCS, vol. 2993, pp. 477\u2013492. Springer, Heidelberg (2004). doi: 10.1007\/978-3-540-24743-2_32"},{"key":"6_CR24","doi-asserted-by":"crossref","unstructured":"Rakovic, S., Grieder, P., Kvasnica, M., Mayne, D., Morari, M.: Computation of invariant sets for piecewise affine discrete time systems subject to bounded disturbances. In: 43rd IEEE Conference on Decision and Control (CDC 2004), vol. 2, pp. 1418\u20131423. IEEE (2004)","DOI":"10.1109\/CDC.2004.1430242"},{"issue":"1","key":"6_CR25","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1016\/j.scico.2006.03.003","volume":"64","author":"E Rodr\u00edguez-Carbonell","year":"2007","unstructured":"Rodr\u00edguez-Carbonell, E., Kapur, D.: Automatic generation of polynomial invariants of bounded degree using abstract interpretation. Sci. Comput. Program. 64(1), 54\u201375 (2007)","journal-title":"Sci. Comput. Program."},{"key":"6_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"590","DOI":"10.1007\/978-3-540-31954-2_38","volume-title":"Hybrid Systems: Computation and Control","author":"E Rodr\u00edguez-Carbonell","year":"2005","unstructured":"Rodr\u00edguez-Carbonell, E., Tiwari, A.: Generating polynomial invariants for hybrid systems. In: Morari, M., Thiele, L. (eds.) HSCC 2005. LNCS, vol. 3414, pp. 590\u2013605. Springer, Heidelberg (2005). doi: 10.1007\/978-3-540-31954-2_38"},{"key":"6_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"563","DOI":"10.1007\/978-3-319-06410-9_38","volume-title":"FM 2014: Formal Methods","author":"P Roux","year":"2014","unstructured":"Roux, P., Garoche, P.-L.: Computing quadratic invariants with min- and max-policy iterations: a practical comparison. In: Jones, C., Pihlajasaari, P., Sun, J. (eds.) FM 2014. LNCS, vol. 8442, pp. 563\u2013578. Springer, Cham (2014). doi: 10.1007\/978-3-319-06410-9_38"},{"key":"6_CR28","doi-asserted-by":"crossref","unstructured":"Roux, P., Jobredeaux, R., Garoche, P., Feron, E.: A generic ellipsoid abstract domain for linear time invariant systems. In: Hybrid Systems: Computation and Control (part of CPS Week 2012) (HSCC 2012), Beijing, 17\u201319 April 2012, pp. 105\u2013114 (2012)","DOI":"10.1145\/2185632.2185651"},{"key":"6_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1007\/978-3-540-78800-3_14","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"S Sankaranarayanan","year":"2008","unstructured":"Sankaranarayanan, S., Dang, T., Ivan\u010di\u0107, F.: Symbolic model checking of hybrid systems using template polyhedra. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 188\u2013202. Springer, Heidelberg (2008). doi: 10.1007\/978-3-540-78800-3_14"},{"key":"6_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"539","DOI":"10.1007\/978-3-540-24743-2_36","volume-title":"Hybrid Systems: Computation and Control","author":"S Sankaranarayanan","year":"2004","unstructured":"Sankaranarayanan, S., Sipma, H.B., Manna, Z.: Constructing invariants for hybrid systems. In: Alur, R., Pappas, G.J. (eds.) HSCC 2004. LNCS, vol. 2993, pp. 539\u2013554. Springer, Heidelberg (2004). doi: 10.1007\/978-3-540-24743-2_36"},{"key":"6_CR31","doi-asserted-by":"crossref","unstructured":"Sassi, M.A.B., Girard, A., Sankaranarayanan, S.: Iterative computation of polyhedral invariants sets for polynomial dynamical systems. In: 53rd IEEE Conference on Decision and Control (CDC 2014), Los Angeles, 15\u201317 December 2014, pp. 6348\u20136353 (2014)","DOI":"10.1109\/CDC.2014.7040384"},{"key":"6_CR32","doi-asserted-by":"crossref","first-page":"126","DOI":"10.1016\/j.automatica.2016.02.036","volume":"69","author":"JK Scott","year":"2016","unstructured":"Scott, J.K., Raimondo, D.M., Marseglia, G.R., Braatz, R.D.: Constrained zonotopes: a new tool for set-based estimation and fault detection. Automatica 69, 126\u2013136 (2016)","journal-title":"Automatica"},{"key":"6_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1007\/978-3-662-49122-5_13","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"A Sogokon","year":"2016","unstructured":"Sogokon, A., Ghorbal, K., Jackson, P.B., Platzer, A.: A method for invariant generation for polynomial continuous systems. In: Jobstmann, B., Leino, K.R.M. (eds.) VMCAI 2016. LNCS, vol. 9583, pp. 268\u2013288. Springer, Heidelberg (2016). doi: 10.1007\/978-3-662-49122-5_13"},{"key":"6_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/3-540-45319-9_9","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A Tiwari","year":"2001","unstructured":"Tiwari, A., Rue\u00df, H., Sa\u00efdi, H., Shankar, N.: A technique for invariant generation. In: Margaria, T., Yi, W. (eds.) TACAS 2001. LNCS, vol. 2031, pp. 113\u2013127. Springer, Heidelberg (2001). doi: 10.1007\/3-540-45319-9_9"}],"container-title":["Lecture Notes in Computer Science","Formal Modeling and Analysis of Timed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-65765-3_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,24]],"date-time":"2025-06-24T19:57:50Z","timestamp":1750795070000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-65765-3_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319657646","9783319657653"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-65765-3_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}