{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,30]],"date-time":"2025-12-30T23:38:16Z","timestamp":1767137896838,"version":"build-2238731810"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319471686","type":"print"},{"value":"9783319471693","type":"electronic"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-47169-3_61","type":"book-chapter","created":{"date-parts":[[2016,10,4]],"date-time":"2016-10-04T17:56:23Z","timestamp":1475603783000},"page":"833-842","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Verification Techniques for Hybrid Systems"],"prefix":"10.1007","author":[{"given":"Pavithra","family":"Prabhakar","sequence":"first","affiliation":[]},{"given":"Miriam Garcia","family":"Soto","sequence":"additional","affiliation":[]},{"given":"Ratan","family":"Lal","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,10,5]]},"reference":[{"key":"61_CR1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511814105","volume-title":"Reactive Systems: Modelling, Specification and Verification","author":"L Aceto","year":"2007","unstructured":"Aceto, L., Ing\u00f3lfsd\u00f3ttir, A., Guldstrand Larsen, K., Srba, J.: Reactive Systems: Modelling, Specification and Verification. Cambridge University Press, New York (2007)"},{"key":"61_CR2","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 International Conference on Hybrid Systems: Computation and Control, pp. 93\u2013102 (2011)","DOI":"10.1145\/1967701.1967717"},{"key":"61_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1007\/3-540-36577-X_15","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"R Alur","year":"2003","unstructured":"Alur, R., Dang, T., Ivan\u010di\u0107, F.: Counter-example guided predicate abstraction of hybrid systems. In: Garavel, H., Hatcliff, J. (eds.) TACAS 2003. LNCS, vol. 2619, pp. 208\u2013223. Springer, Heidelberg (2003). doi:\n                      10.1007\/3-540-36577-X_15"},{"issue":"1","key":"61_CR4","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1145\/1132357.1132363","volume":"5","author":"R Alur","year":"2006","unstructured":"Alur, R., Dang, T., Ivancic, F.: Predicate abstraction for reachability analysis of hybrid systems. ACM Trans. Embed. Comput. Syst. 5(1), 152\u2013199 (2006)","journal-title":"ACM Trans. Embed. Comput. Syst."},{"key":"61_CR5","doi-asserted-by":"crossref","unstructured":"Bengtsson, J., Larsen, K.G., Larsson, F., Pettersson, P., Yi, W.: UPPAAL - a tool suite for automatic verification of real-time systems. In: Hybrid Systems, pp. 232\u2013243 (1995)","DOI":"10.1007\/BFb0020949"},{"key":"61_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1007\/978-3-642-39799-8_18","volume-title":"Computer Aided Verification","author":"X Chen","year":"2013","unstructured":"Chen, X., \u00c1brah\u00e1m, E., Sankaranarayanan, S.: Flow*: an analyzer for non-linear hybrid systems. In: Sharygina, N., Veith, H. (eds.) CAV 2013. LNCS, vol. 8044, pp. 258\u2013263. Springer, Heidelberg (2013). doi:\n                      10.1007\/978-3-642-39799-8_18"},{"issue":"4","key":"61_CR7","doi-asserted-by":"publisher","first-page":"583","DOI":"10.1142\/S012905410300190X","volume":"14","author":"EM Clarke","year":"2003","unstructured":"Clarke, E.M., Fehnker, A., Han, Z., Krogh, B., Ouaknine, J., Stursberg, O., Theobald, M.: Abstraction and counterexample-guided refinement in model checking of hybrid systems. Int. J. Found. Comput. Sci. 14(4), 583\u2013604 (2003)","journal-title":"Int. J. Found. Comput. Sci."},{"key":"61_CR8","doi-asserted-by":"crossref","unstructured":"Dang, T., Testylier, R.: Hybridization domain construction using curvature estimation. In: HSCC, pp. 123\u2013132 (2011)","DOI":"10.1145\/1967701.1967721"},{"issue":"3","key":"61_CR9","doi-asserted-by":"publisher","first-page":"497","DOI":"10.2307\/2372560","volume":"79","author":"LE Dubins","year":"1957","unstructured":"Dubins, L.E.: On curves of minimal length with a constraint on average curvature, and with prescribed initial and terminal positions and tangents. Am. J. Math. 79(3), 497\u2013516 (1957)","journal-title":"Am. J. Math."},{"key":"61_CR10","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., Le Guernic, C., Donz\u00e9, A., Cotton, S., Ray, R., Lebeltel, O., Ripado, R., Girard, A., Dang, T., Maler, O.: SpaceEx: scalable verification of hybrid systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 379\u2013395. Springer, Heidelberg (2011). doi:\n                      10.1007\/978-3-642-22110-1_30"},{"key":"61_CR11","doi-asserted-by":"crossref","unstructured":"Frehse, G., Kateja, R., Le Guernic, C.: Flowpipe approximation, clustering in space-time. In: Proceedings of the International Conference on Hybrid Systems: Computation and Control, pp. 203\u2013212 (2013)","DOI":"10.1145\/2461328.2461361"},{"key":"61_CR12","doi-asserted-by":"crossref","unstructured":"Girard, A.: Reachability of uncertain linear systems using zonotopes. In: Proceedings of the International Conference on Hybrid Systems: Computation and Control, pp. 291\u2013305 (2005)","DOI":"10.1007\/978-3-540-31954-2_19"},{"key":"61_CR13","doi-asserted-by":"crossref","unstructured":"Henzinger, T.A., Kopke, P.W., Puri, A., Varaiya, P.: What\u2019s decidable about hybrid automata? In: Proceedings of the ACM Symposium on Theory of Computation, pp. 373\u2013382 (1995)","DOI":"10.1145\/225058.225162"},{"key":"61_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"460","DOI":"10.1007\/3-540-63166-6_48","volume-title":"Computer Aided Verification","author":"TA Henzinger","year":"1997","unstructured":"Henzinger, T.A., Ho, P.-H., Wong-Toi, H.: HyTech: a model checker for hybrid systems. In: Grumberg, O. (ed.) CAV 1997. LNCS, vol. 1254, pp. 460\u2013463. Springer, Heidelberg (1997). doi:\n                      10.1007\/3-540-63166-6_48"},{"key":"61_CR15","volume-title":"Nonlinear Systems","author":"HK Khalil","year":"1996","unstructured":"Khalil, H.K.: Nonlinear Systems. Prentice-Hall, Upper Saddle River (1996)"},{"key":"61_CR16","unstructured":"Lal, R., Prabhakar, P.: Beaver: bounded error approximate verification (2015)"},{"key":"61_CR17","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0017-8","volume-title":"Switching in Systems and Control","author":"D Liberzon","year":"2003","unstructured":"Liberzon, D.: Switching in Systems and Control. Birkhuser, Boston (2003)"},{"key":"61_CR18","doi-asserted-by":"crossref","unstructured":"M\u00f6hlmann, E., Theel, O.E.: Stabhyli: a tool for automatic stability verification of non-linear hybrid systems. In: Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control, HSCC, Philadelphia, PA, USA, 8\u201311 April 2013, pp. 107\u2013112 (2013)","DOI":"10.1145\/2461328.2461347"},{"key":"61_CR19","unstructured":"Parrilo, P.A.: Structure semidefinite programs and semialgebraic geometry methods in robustness and optimization. Ph.D. thesis, California Institute of Technology, Pasadena, CA, May 2000"},{"key":"61_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1007\/3-540-46430-1_32","volume-title":"Hybrid Systems: Computation and Control","author":"S Pettersson","year":"2000","unstructured":"Pettersson, S., Lennartson, B.: Stability of hybrid systems using LMIs - a gear-box application. In: Lynch, N.A., Krogh, B.H. (eds.) HSCC 2000. LNCS, vol. 1790, pp. 381\u2013395. Springer, Heidelberg (2000). doi:\n                      10.1007\/3-540-46430-1_32"},{"key":"61_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"280","DOI":"10.1007\/978-3-642-39799-8_20","volume-title":"Computer Aided Verification","author":"P Prabhakar","year":"2013","unstructured":"Prabhakar, P., Garcia Soto, M.: Abstraction based model-checking of stability of hybrid systems. In: Sharygina, N., Veith, H. (eds.) CAV 2013. LNCS, vol. 8044, pp. 280\u2013295. Springer, Heidelberg (2013). doi:\n                      10.1007\/978-3-642-39799-8_20"},{"key":"61_CR22","doi-asserted-by":"crossref","unstructured":"Prabhakar, P., Soto, M.G.: Averist: algorithmic verifier for stability. In: International Workshop on Numerical Software Verification (2015)","DOI":"10.1016\/j.entcs.2015.10.013"},{"key":"61_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"495","DOI":"10.1007\/978-3-319-41528-4_27","volume-title":"Computer Aided Verification","author":"P Prabhakar","year":"2016","unstructured":"Prabhakar, P., Soto, M.G.: Counterexample guided abstraction refinement for stability analysis. In: Chaudhuri, S., Farzan, A. (eds.) CAV 2016. LNCS, vol. 9779, pp. 495\u2013512. Springer, Heidelberg (2016). doi:\n                      10.1007\/978-3-319-41528-4_27"},{"key":"61_CR24","doi-asserted-by":"crossref","unstructured":"Prabhakar, P., Viswanathan, M.: A dynamic algorithm for approximate flow computations. In: Proceedings of the International Conference on Hybrid Systems: Computation and Control, pp. 133\u2013142 (2011)","DOI":"10.1145\/1967701.1967722"}],"updated-by":[{"DOI":"10.1007\/978-3-319-47169-3_63","type":"erratum","label":"Erratum","source":"publisher","updated":{"date-parts":[[2016,12,1]],"date-time":"2016-12-01T00:00:00Z","timestamp":1480550400000}}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-47169-3_61","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T01:33:22Z","timestamp":1558316002000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-47169-3_61"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319471686","9783319471693"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-47169-3_61","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"5 October 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ISoLA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Leveraging Applications of Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Imperial, Corfu","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Greece","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2016","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10 October 2016","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 October 2016","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"isola2016","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}