{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:36:22Z","timestamp":1725456982560},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642358722"},{"type":"electronic","value":"9783642358739"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-35873-9_15","type":"book-chapter","created":{"date-parts":[[2013,1,2]],"date-time":"2013-01-02T06:22:57Z","timestamp":1357107777000},"page":"229-247","source":"Crossref","is-referenced-by-count":5,"title":["Robustness Analysis of Networked Systems"],"prefix":"10.1007","author":[{"given":"Roopsha","family":"Samanta","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jyotirmoy V.","family":"Deshmukh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Swarat","family":"Chaudhuri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"10","key":"15_CR1","doi-asserted-by":"publisher","first-page":"2345","DOI":"10.1109\/TAC.2011.2163873","volume":"56","author":"R. Alur","year":"2011","unstructured":"Alur, R., D\u2019Innocenzo, A., Johansson, K.H., Pappas, G.J., Weiss, G.: Compositional Modeling and Analysis of Multi-Hop Control Networks. IEEE Transactions on Automatic Control\u00a056(10), 2345\u20132357 (2011)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"Bloem, R., Greimel, K., Henzinger, T., Jobstmann, B.: Synthesizing Robust Systems. In: Proceedings of Formal Methods in Computer Aided Design (FMCAD), pp. 85\u201392 (2009)","DOI":"10.1109\/FMCAD.2009.5351139"},{"issue":"9","key":"15_CR3","doi-asserted-by":"publisher","first-page":"1293","DOI":"10.1109\/5.97299","volume":"79","author":"F. Boussinot","year":"1991","unstructured":"Boussinot, F., De Simone, R.: The ESTEREL language. Proceedings of the IEEE\u00a079(9), 1293\u20131304 (1991)","journal-title":"Proceedings of the IEEE"},{"key":"15_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/978-3-642-15375-4_18","volume-title":"CONCUR 2010 - Concurrency Theory","author":"P. \u010cern\u00fd","year":"2010","unstructured":"\u010cern\u00fd, P., Henzinger, T.A., Radhakrishna, A.: Simulation Distances. In: Gastin, P., Laroussinie, F. (eds.) CONCUR 2010. LNCS, vol.\u00a06269, pp. 253\u2013268. Springer, Heidelberg (2010)"},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"Chaudhuri, S., Gulwani, S., Lublinerman, R.: Continuity Analysis of Programs. In: Proceedings of Principles of Programming Languages (POPL), pp. 57\u201370 (2010)","DOI":"10.1145\/1707801.1706308"},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"Chaudhuri, S., Gulwani, S., Lublinerman, R.: Continuity and Robustness of Programs. Communications of the ACM (2012)","DOI":"10.1145\/2240236.2240262"},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"Chaudhuri, S., Gulwani, S., Lublinerman, R., Navidpour, S.: Proving Programs Robust. In: Proceedings of Foundations of Software Engineering, pp. 102\u2013112 (2011)","DOI":"10.1145\/2025113.2025131"},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"Doyen, L., Henzinger, T.A., Legay, A., Ni\u010dkovi\u0107, D.: Robustness of Sequential Circuits. In: Proceedings of Application of Concurrency to System Design (ACSD), pp. 77\u201384 (2010)","DOI":"10.1109\/ACSD.2010.26"},{"issue":"1","key":"15_CR9","first-page":"45","volume":"100","author":"J.C. Eidson","year":"2012","unstructured":"Eidson, J.C., Lee, E.A., Matic, S., Seshia, S.A., Zou, J.: Distributed Real-Time Software for Cyber-Physical Systems. Proceedings of the IEEE (Special Issue on CPS)\u00a0100(1), 45\u201359 (2012)","journal-title":"Proceedings of the IEEE (Special Issue on CPS)"},{"key":"15_CR10","volume-title":"Automata, Languages, and Machines","author":"S. Eilenberg","year":"1974","unstructured":"Eilenberg, S.: Automata, Languages, and Machines, vol.\u00a0A. Academic Press, New York (1974)"},{"key":"15_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/BFb0020787","volume-title":"STACS 91","author":"C. Frougny","year":"1991","unstructured":"Frougny, C., Sakarovitch, J.: Rational Relations with Bounded Delay. In: Jantzen, M., Choffrut, C. (eds.) STACS 1991. LNCS, vol.\u00a0480, pp. 50\u201363. Springer, Heidelberg (1991)"},{"key":"15_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"495","DOI":"10.1007\/3-540-10843-2_39","volume-title":"Automata, Languages and Programming","author":"E.M. Gurari","year":"1981","unstructured":"Gurari, E.M., Ibarra, O.H.: The Complexity of Decision Problems for Finite-Turn Multicounter Machines. In: Even, S., Kariv, O. (eds.) ICALP 1981. LNCS, vol.\u00a0115, pp. 495\u2013505. Springer, Heidelberg (1981)"},{"key":"15_CR13","doi-asserted-by":"crossref","unstructured":"Gusfield, D.: Algorithms on Strings, Trees, and Sequences. Cambridge University Press (1997)","DOI":"10.1017\/CBO9780511574931"},{"issue":"1","key":"15_CR14","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1145\/322047.322058","volume":"25","author":"O.H. Ibarra","year":"1978","unstructured":"Ibarra, O.H.: Reversal-Bounded Multicounter Machines and Their Decision Problems. Journal of the ACM\u00a025(1), 116\u2013133 (1978)","journal-title":"Journal of the ACM"},{"key":"15_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"426","DOI":"10.1007\/3-540-44612-5_38","volume-title":"Mathematical Foundations of Computer Science 2000","author":"O.H. Ibarra","year":"2000","unstructured":"Ibarra, O.H., Su, J., Dang, Z., Bultan, T., Kemmerer, R.A.: Counter Machines: Decidable Properties and Applications to Verification Problems. In: Nielsen, M., Rovan, B. (eds.) MFCS 2000. LNCS, vol.\u00a01893, pp. 426\u2013435. Springer, Heidelberg (2000)"},{"key":"15_CR16","unstructured":"Kahn, G.: The Semantics of Simple Language for Parallel Programming. In: IFIP Congress, pp. 471\u2013475 (1974)"},{"key":"15_CR17","doi-asserted-by":"crossref","unstructured":"Majumdar, R., Saha, I.: Symbolic Robustness Analysis. In: 30th IEEE Real-Time Systems Symposium, pp. 355\u2013363 (2009)","DOI":"10.1109\/RTSS.2009.17"},{"key":"15_CR18","unstructured":"Majumdar, R., Render, E., Tabuada, P.: A Theory of Robust Software Synthesis. CoRR abs\/1108.3540 (2011)"},{"key":"15_CR19","doi-asserted-by":"crossref","unstructured":"Mealy, G.H.: A Method for Synthesizing Sequential Circuits. Bell Systems Technical Journal, 1045\u20131079 (1955)","DOI":"10.1002\/j.1538-7305.1955.tb03788.x"},{"issue":"10","key":"15_CR20","doi-asserted-by":"publisher","first-page":"2305","DOI":"10.1109\/TAC.2011.2163864","volume":"56","author":"M. Pajic","year":"2011","unstructured":"Pajic, M., Sundaram, S., Pappas, G.J., Mangharam, R.: The Wireless Control Network: A New Approach for Control Over Networks. IEEE Transactions on Automatic Control\u00a056(10), 2305\u20132318 (2011)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"15_CR21","doi-asserted-by":"crossref","unstructured":"Pappas, G.J.: Wireless Control Networks: Modeling, Synthesis, Robustness, Security. In: Proceedings of Hybrid Systems: Computation and Control (HSCC), pp. 1\u20132 (2011)","DOI":"10.1145\/1967701.1967703"},{"key":"15_CR22","doi-asserted-by":"crossref","unstructured":"Tabuada, P., Balkan, A., Caliskan, S.Y., Shoukry, Y., Majumdar, R.: Input Output Stability for Discrete Systems. In: Proceedings of International Conference on Embedded Software, EMSOFT (2012)","DOI":"10.1145\/2380356.2380396"}],"container-title":["Lecture Notes in Computer Science","Verification, Model Checking, and Abstract Interpretation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-35873-9_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T13:32:50Z","timestamp":1620135170000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-35873-9_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642358722","9783642358739"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35873-9_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}