{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:24:56Z","timestamp":1759638296174},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030223472"},{"type":"electronic","value":"9783030223489"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"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":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-22348-9_4","type":"book-chapter","created":{"date-parts":[[2019,6,25]],"date-time":"2019-06-25T13:04:54Z","timestamp":1561467894000},"page":"36-44","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["System Analysis and Robustness"],"prefix":"10.1007","author":[{"given":"Eugenio","family":"Moggi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Amin","family":"Farjudian","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Walid","family":"Taha","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,6,26]]},"reference":[{"issue":"1","key":"4_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., et al.: The algorithmic analysis of hybrid systems. Theor. Comput. Sci. 138(1), 3\u201334 (1995)","journal-title":"Theor. Comput. Sci."},{"key":"4_CR2","volume-title":"Categories, Types and Scructures: An Introduction to Category Theory for the Working Computer Scientist","author":"A Asperti","year":"1991","unstructured":"Asperti, A., Longo, G.: Categories, Types and Scructures: An Introduction to Category Theory for the Working Computer Scientist. MIT Press, Cambridge (1991)"},{"key":"4_CR3","volume-title":"Category Theory","author":"S Awodey","year":"2010","unstructured":"Awodey, S.: Category Theory. Oxford University Press, Oxford (2010)"},{"key":"4_CR4","volume-title":"A Course in Functional Analysis","author":"JB Conway","year":"1990","unstructured":"Conway, J.B.: A Course in Functional Analysis, 2nd edn. Springer, New York (1990)","edition":"2"},{"issue":"4","key":"4_CR5","doi-asserted-by":"publisher","first-page":"511","DOI":"10.1093\/logcom\/2.4.511","volume":"2","author":"P Cousot","year":"1992","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation frameworks. J. Logic Comput. 2(4), 511\u2013547 (1992)","journal-title":"J. Logic Comput."},{"key":"4_CR6","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/j.entcs.2004.08.017","volume":"100","author":"PJL Cuijpers","year":"2004","unstructured":"Cuijpers, P.J.L., Reniers, M.A.: Topological (bi-) simulation. Electron. Notes Theor. Comput. Sci. 100, 49\u201364 (2004)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"4_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1007\/3-540-48168-0_10","volume-title":"Comput. Sci. Logic","author":"M Fr\u00e4nzle","year":"1999","unstructured":"Fr\u00e4nzle, M.: Analysis of hybrid systems: an ounce of realism can save an infinity of states. In: Flum, J., Rodriguez-Artalejo, M. (eds.) CSL 1999. LNCS, vol. 1683, pp. 126\u2013139. Springer, Heidelberg (1999). \n                      https:\/\/doi.org\/10.1007\/3-540-48168-0_10"},{"key":"4_CR8","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511542725","volume-title":"Continuous Lattices and Domains","author":"G Gierz","year":"2003","unstructured":"Gierz, G., Hofmann, K.H., Keimel, K., Lawson, J.D., Mislove, M.W., Scott, D.S.: Encycloedia of mathematics and its applications. Continuous Lattices and Domains, vol. 93. Cambridge University Press, Cambridge (2003)"},{"issue":"2","key":"4_CR9","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1109\/MCS.2008.931718","volume":"29","author":"R Goebel","year":"2009","unstructured":"Goebel, R., Sanfelice, R.G., Teel, A.: Hybrid dynamical systems. IEEE Control Syst. 29(2), 28\u201393 (2009)","journal-title":"IEEE Control Syst."},{"key":"4_CR10","volume-title":"General Topology","author":"JL Kelley","year":"1975","unstructured":"Kelley, J.L.: General Topology. Springer, Berlin (1975)"},{"key":"4_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-662-46681-0_15","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"S Kong","year":"2015","unstructured":"Kong, S., Gao, S., Chen, W., Clarke, E.: dReach: \n                      \n                        \n                      \n                      $${\\delta }$$\n                      \n                        \n                          \u03b4\n                        \n                      \n                    -reachability analysis for hybrid systems. In: Baier, C., Tinelli, C. (eds.) TACAS 2015. LNCS, vol. 9035, pp. 200\u2013205. Springer, Heidelberg (2015). \n                      https:\/\/doi.org\/10.1007\/978-3-662-46681-0_15"},{"issue":"1\u20132","key":"4_CR12","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/s100090050006","volume":"1","author":"KG Larsen","year":"1997","unstructured":"Larsen, K.G., Steffen, B., Weise, C.: Continuous modeling of real-time and hybrid systems: from concepts to tools. Int. J. Softw. Tools Technol. Transfer 1(1\u20132), 64\u201385 (1997)","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"4_CR13","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/j.tcs.2018.06.020","volume":"747C","author":"E Moggi","year":"2018","unstructured":"Moggi, E., Farjudian, A., Duracz, A., Taha, W.: Safe & robust reachability analysis of hybrid systems. Theor. Comput. Sci. 747C, 75\u201399 (2018). \n                      https:\/\/doi.org\/10.1016\/j.tcs.2018.06.020","journal-title":"Theor. Comput. Sci."},{"key":"4_CR14","volume-title":"Interval Analysis","author":"RE Moore","year":"1966","unstructured":"Moore, R.E.: Interval Analysis. Prentice-Hall, New Jersey (1966)"}],"container-title":["Lecture Notes in Computer Science","Models, Mindsets, Meta: The What, the How, and the Why Not?"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-22348-9_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,25]],"date-time":"2019-06-25T13:19:34Z","timestamp":1561468774000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-22348-9_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030223472","9783030223489"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-22348-9_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"26 June 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}