{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:49:01Z","timestamp":1740098941373,"version":"3.37.3"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319667058"},{"type":"electronic","value":"9783319667065"}],"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-66706-5_10","type":"book-chapter","created":{"date-parts":[[2017,8,18]],"date-time":"2017-08-18T00:13:26Z","timestamp":1503015206000},"page":"192-211","source":"Crossref","is-referenced-by-count":2,"title":["Toward a Sound Analysis of Guarded LTI Loops with Inputs by Abstract Acceleration"],"prefix":"10.1007","author":[{"given":"Colas","family":"Le Guernic","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,8,19]]},"reference":[{"key":"10_CR1","unstructured":"Althoff, M.: An introduction to CORA 2015. In: Frehse, G., Althoff, M. (eds.) 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, ARCH14-15. EPiC Series in Computing, vol. 34, pp. 120\u2013151. EasyChair (2015)"},{"key":"10_CR2","series-title":"Mathematical Engineering","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/978-3-642-15956-5_4","volume-title":"Modeling, Design, and Simulation of Systems with Uncertainties","author":"M Althoff","year":"2011","unstructured":"Althoff, M., Krogh, B.H., Stursberg, O.: Analyzing reachability of linear dynamic systems with parametric uncertainties. In: Rauh, A., Auer, E. (eds.) Modeling, Design, and Simulation of Systems with Uncertainties. Mathematical Engineering, vol. 3, pp. 69\u201394. Springer, Heidelberg (2011). doi:\n10.1007\/978-3-642-15956-5_4"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"Althoff, M., Le Guernic, C., Krogh, B.H.: Reachable set computation for uncertain time-varying linear systems. In: Proceedings of the 14th International Conference on Hybrid Systems: Computation and Control, HSCC 2011, NY, USA, pp. 93\u2013102 (2011). \nhttp:\/\/doi.acm.org\/10.1145\/1967701.1967717","DOI":"10.1145\/1967701.1967717"},{"key":"10_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/3-540-49059-0_14","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A Biere","year":"1999","unstructured":"Biere, A., Cimatti, A., Clarke, E., Zhu, Y.: Symbolic model checking without BDDs. In: Cleaveland, W.R. (ed.) TACAS 1999. LNCS, vol. 1579, pp. 193\u2013207. Springer, Heidelberg (1999). doi:\n10.1007\/3-540-49059-0_14"},{"key":"10_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"312","DOI":"10.1007\/978-3-662-48288-9_18","volume-title":"Static Analysis","author":"D Cattaruzza","year":"2015","unstructured":"Cattaruzza, D., Abate, A., Schrammel, P., Kroening, D.: Unbounded-time analysis of guarded LTI systems with inputs by abstract acceleration. In: Blazy, S., Jensen, T. (eds.) SAS 2015. LNCS, vol. 9291, pp. 312\u2013331. Springer, Heidelberg (2015). doi:\n10.1007\/978-3-662-48288-9_18"},{"key":"10_CR6","unstructured":"Cattaruzza, D., Abate, A., Schrammel, P., Kroening, D.: Unbounded-time analysis of guarded LTI systems with inputs by abstract acceleration (extended version). CoRR abs\/1506.05607 (2015). \nhttp:\/\/arxiv.org\/abs\/1506.05607"},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Conference Record of the Fourth ACM Symposium on Principles of Programming Languages, Los Angeles, California, USA, pp. 238\u2013252. ACM (1977). \nhttp:\/\/doi.acm.org\/10.1145\/512950.512973","DOI":"10.1145\/512950.512973"},{"key":"10_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/978-3-540-24725-8_4","volume-title":"Programming Languages and Systems","author":"J Feret","year":"2004","unstructured":"Feret, J.: Static analysis of digital filters. In: Schmidt, D. (ed.) ESOP 2004. LNCS, vol. 2986, pp. 33\u201348. Springer, Heidelberg (2004). doi:\n10.1007\/978-3-540-24725-8_4"},{"key":"10_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1007\/11823230_10","volume-title":"Static Analysis","author":"L Gonnord","year":"2006","unstructured":"Gonnord, L., Halbwachs, N.: Combining widening and acceleration in linear relation analysis. In: Yi, K. (ed.) SAS 2006. LNCS, vol. 4134, pp. 144\u2013160. Springer, Heidelberg (2006). doi:\n10.1007\/11823230_10"},{"key":"10_CR10","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/j.scico.2013.09.016","volume":"93","author":"L Gonnord","year":"2014","unstructured":"Gonnord, L., Schrammel, P.: Abstract acceleration in linear relation analysis. Sci. Comput. Program. 93, 125\u2013153 (2014). \nhttp:\/\/dx.doi.org\/10.1016\/j.scico.2013.09.016","journal-title":"Sci. Comput. Program."},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"Jeannet, B., Schrammel, P., Sankaranarayanan, S.: Abstract acceleration of general linear loops. In: Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2014, NY, USA, pp. 529\u2013540 (2014). \nhttp:\/\/dx.doi.org\/10.1145\/2535838.2535843","DOI":"10.1145\/2535838.2535843"},{"issue":"1","key":"10_CR12","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1109\/TAC.2006.887900","volume":"52","author":"AA Kurzhanskiy","year":"2007","unstructured":"Kurzhanskiy, A.A., Varaiya, P.: Ellipsoidal techniques for reachability analysis of discrete-time linear systems. IEEE Trans. Automat. Contr. 52(1), 26\u201338 (2007). \nhttp:\/\/dx.doi.org\/10.1109\/TAC.2006.887900","journal-title":"IEEE Trans. Automat. Contr."},{"key":"10_CR13","unstructured":"Le Guernic, C.: Toward a sound analysis of guarded LTI loops with inputs by abstract acceleration (extended version). \nhttps:\/\/hal.inria.fr\/hal-01550767"},{"key":"10_CR14","unstructured":"Le Guernic, C.: Reachability analysis of hybrid systems with linear continuous dynamics. Ph.D. thesis, Universit\u00e9 Joseph Fourier - Grenoble I (2009). \nhttps:\/\/tel.archives-ouvertes.fr\/tel-00422569"},{"key":"10_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"540","DOI":"10.1007\/978-3-642-02658-4_40","volume-title":"Computer Aided Verification","author":"C Guernic Le","year":"2009","unstructured":"Le Guernic, C., Girard, A.: Reachability analysis of hybrid systems using support functions. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol. 5643, pp. 540\u2013554. Springer, Heidelberg (2009). doi:\n10.1007\/978-3-642-02658-4_40"},{"key":"10_CR16","doi-asserted-by":"crossref","unstructured":"Le Guernic, C., Girard, A.: Reachability analysis of linear systems using support functions. Nonlinear Anal. Hybrid Syst. 4(2), 250\u2013262 (2010). IFACWorldCongress2008. \nhttp:\/\/dx.doi.org\/10.1016\/j.nahs.2009.03.002","DOI":"10.1016\/j.nahs.2009.03.002"},{"key":"10_CR17","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:\n10.1007\/978-3-540-24743-2_32"},{"key":"10_CR18","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, China, 17\u201319 April 2012, pp. 105\u2013114. ACM (2012). \nhttp:\/\/doi.acm.org\/10.1145\/2185632.2185651"}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-66706-5_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,8,18]],"date-time":"2017-08-18T00:16:16Z","timestamp":1503015376000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-66706-5_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319667058","9783319667065"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-66706-5_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}