{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T20:03:11Z","timestamp":1762459391730},"publisher-location":"Cham","reference-count":32,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319340951"},{"type":"electronic","value":"9783319340968"}],"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":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-34096-8_1","type":"book-chapter","created":{"date-parts":[[2016,6,10]],"date-time":"2016-06-10T13:01:24Z","timestamp":1465563684000},"page":"1-35","source":"Crossref","is-referenced-by-count":12,"title":["Formal Specification and Analysis of Robust Adaptive Distributed Cyber-Physical Systems"],"prefix":"10.1007","author":[{"given":"Carolyn","family":"Talcott","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vivek","family":"Nigam","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Farhad","family":"Arbab","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tobias","family":"Kapp\u00e9","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,6,11]]},"reference":[{"unstructured":"Robots that fly and cooperate. TED talk (2015). Accessed 07 March 2016","key":"1_CR1"},{"doi-asserted-by":"crossref","unstructured":"Das, J., Cross, G., Qu, C., Makineni, A., Tokekar, P., Mulgaonkar, Y., Kumar, V.: Devices, systems, and methods for automated monitoring enabling precision agriculture. In: IEEE International Conference on Automation Science and Engineering (2015)","key":"1_CR2","DOI":"10.1109\/CoASE.2015.7294123"},{"doi-asserted-by":"crossref","unstructured":"Vijay Kumar lab. Accessed 11 March 2016","key":"1_CR3","DOI":"10.1155\/2016\/2648248"},{"key":"1_CR4","series-title":"Lecture Notes in Computer Science","volume-title":"Software Engineering for Collective Autonomic Systems. The ASCENS Approach","year":"2015","unstructured":"Wirsing, M., H\u00f6lzl, M., Koch, N., Mayer, P. (eds.): Software Engineering for Collective Autonomic Systems. The ASCENS Approach. LNCS, vol. 8998. Springer, Switzerland (2015)"},{"unstructured":"Ascens: Autonomic service-component ensembles. Accessed 15 November 2014","key":"1_CR5"},{"key":"1_CR6","series-title":"Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering","doi-asserted-by":"crossref","first-page":"549","DOI":"10.1007\/978-3-319-11569-6_43","volume-title":"Mobile and Ubiquitous Systems: Computing, Networking, and Services","author":"J-S Choi","year":"2014","unstructured":"Choi, J.-S., McCarthy, T., Kim, M., Stehr, M.-O.: Adaptive wireless networks as an example of declarative fractionated systems. In: Stojmenovic, I., Cheng, Z., Guo, S. (eds.) MOBIQUITOUS 2013. LNICST, vol. 131, pp. 549\u2013563. Springer, Heidelberg (2014)"},{"key":"1_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"190","DOI":"10.1007\/978-3-642-29320-7_13","volume-title":"Fundamentals of Software Engineering","author":"M Kim","year":"2012","unstructured":"Kim, M., Stehr, M.O., Talcott, C.: A distributed logic for networked cyber-physical systems. In: Arbab, F., Sirjani, M. (eds.) FSEN 2011. LNCS, vol. 7141, pp. 190\u2013205. Springer, Heidelberg (2012)"},{"key":"1_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"110","DOI":"10.1007\/978-3-642-24933-4_7","volume-title":"Formal Modeling: Actors, Open Systems, Biological Systems","author":"M-O Stehr","year":"2011","unstructured":"Stehr, M.-O., Talcott, C., Rushby, J., Lincoln, P., Kim, M., Cheung, S., Poggio, A.: Fractionated software for networked cyber-physical systems: research directions and long-term vision. In: Agha, G., Danvy, O., Meseguer, J. (eds.) Formal Modeling: Actors, Open Systems, Biological Systems. LNCS, vol. 7000, pp. 110\u2013143. Springer, Heidelberg (2011)"},{"unstructured":"Networked cyber physical systems. Accessed 11 March 2016","key":"1_CR9"},{"unstructured":"Drone swarms: The buzz of the future. Accessed 08 March 2016","key":"1_CR10"},{"unstructured":"Knightscope. Accessed 11 March 2016","key":"1_CR11"},{"unstructured":"Liquid robotics. Accessed 11 March 2016","key":"1_CR12"},{"unstructured":"Why BNSF railway is using drones to inspect thousands of miles of rail lines. Accessed 11 March 2016","key":"1_CR13"},{"doi-asserted-by":"crossref","unstructured":"Dantas, Y.G., Nigam, V., Fonseca, I.E.: A selective defense for application layer ddos attacks. In: SI-EISIC (2014)","key":"1_CR14","DOI":"10.1109\/JISIC.2014.21"},{"key":"1_CR15","series-title":"Lecture Notes in Computer Science","volume-title":"All About Maude - A High-Performance Logical Framework","author":"M Clavel","year":"2007","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Talcott, C.: All About Maude - A High-Performance Logical Framework. LNCS, vol. 4350. Springer, Heidelberg (2007)"},{"doi-asserted-by":"crossref","unstructured":"Wirsing, M., Denker, G., Talcott, C., Poggio, A., Briesemeister, L.: A rewriting logic framework for soft constraints. In: Sixth International Workshop on Rewriting Logic and Its Applications (WRLA 2006). Electronic Notes in Theoretical Computer Science. Elsevier (2006)","key":"1_CR16","DOI":"10.1016\/j.entcs.2007.06.015"},{"unstructured":"H\u00f6lzl, M., Meier, M., Wirsing, M.: Which soft constraints do you prefer? In: Seventh International Workshop on Rewriting Logic and Its Applications (WRLA 2008). Electronic Notes in Theoretical Computer Science. Elsevier (2008)","key":"1_CR17"},{"key":"1_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1007\/978-3-642-45114-0_6","volume-title":"Advances in Artificial Intelligence and Its Applications","author":"F Gadducci","year":"2013","unstructured":"Gadducci, F., H\u00f6lzl, M., Monreale, G.V., Wirsing, M.: Soft constraints for lexicographic orders. In: Castro, F., Gelbukh, A., Gonz\u00e1lez, M. (eds.) MICAI 2013, Part I. LNCS, vol. 8265, pp. 68\u201379. Springer, Heidelberg (2013)"},{"key":"1_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"118","DOI":"10.1007\/978-3-642-38230-7_8","volume-title":"Web Services and Formal Methods","author":"F Arbab","year":"2013","unstructured":"Arbab, F., Santini, F.: Preference and similarity-based behavioral discovery of services. In: ter Beek, M.H., Lohmann, N. (eds.) WS-FM 2012. LNCS, vol. 7843, pp. 118\u2013133. Springer, Heidelberg (2013)"},{"issue":"12","key":"1_CR20","doi-asserted-by":"crossref","first-page":"2453","DOI":"10.1016\/j.scico.2013.01.011","volume":"78","author":"M Kim","year":"2013","unstructured":"Kim, M., Stehr, M.-O., Talcott, C.L.: A distributed logic for networked cyber-physical systems. Sci. Comput. Program. 78(12), 2453\u20132467 (2013)","journal-title":"Sci. Comput. Program."},{"doi-asserted-by":"crossref","unstructured":"Choi, J.S., McCarthy, T., Yadav, M., Kim, M., Talcott, C., Gressier-Soudan, E.: Application patterns for cyber-physical systems. In: Cyber-Physical Systems Networks and Applications (2013)","key":"1_CR21","DOI":"10.1109\/CPSNA.2013.6614246"},{"key":"1_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"402","DOI":"10.1007\/978-3-642-54624-2_20","volume-title":"Specification, Algebra, and Software","author":"M-O Stehr","year":"2014","unstructured":"Stehr, M.-O., Kim, M., Talcott, C.: Partially ordered knowledge sharing and fractionated systems in the context of other models for distributed computing. In: Iida, S., Meseguer, J., Ogata, K. (eds.) Specification, Algebra, and Software. LNCS, vol. 8373, pp. 402\u2013433. Springer, Heidelberg (2014)"},{"issue":"1\u20132","key":"1_CR23","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1007\/s10990-007-9001-5","volume":"20","author":"PC \u00d6lveczky","year":"2007","unstructured":"\u00d6lveczky, P.C., Meseguer, J.: Semantics and pragmatics of real-time maude. High. Order Symbolic Comput. 20(1\u20132), 161\u2013196 (2007)","journal-title":"High. Order Symbolic Comput."},{"doi-asserted-by":"crossref","unstructured":"Kapp\u00e9, T., Arbab, F., Talcott, C.: A compositional framework for preference-aware agents (March 2016, submitted)","key":"1_CR24","DOI":"10.4204\/EPTCS.232.6"},{"key":"1_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"188","DOI":"10.1007\/978-3-642-35861-6_12","volume-title":"Formal Aspects of Component Software","author":"HR Nielson","year":"2013","unstructured":"Nielson, H.R., Nielson, F., Vigo, R.: A calculus for quality. In: P\u0103s\u0103reanu, C.S., Sala\u00fcn, G. (eds.) FACS 2012. LNCS, vol. 7684, pp. 188\u2013204. Springer, Heidelberg (2013)"},{"key":"1_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1007\/978-3-642-39698-4_18","volume-title":"Theories of Programming and Formal Methods","author":"HR Nielson","year":"2013","unstructured":"Nielson, H.R., Nielson, F.: Safety versus security in the quality calculus. In: Liu, Z., Woodcock, J., Zhu, H. (eds.) Theories of Programming and Formal Methods. LNCS, vol. 8051, pp. 285\u2013303. Springer, Heidelberg (2013)"},{"issue":"1","key":"1_CR27","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","volume":"96","author":"J Meseguer","year":"1992","unstructured":"Meseguer, J.: Conditional rewriting logic as a unified model of concurrency. Theoret. Comput. Sci. 96(1), 73\u2013155 (1992)","journal-title":"Theoret. Comput. Sci."},{"doi-asserted-by":"crossref","unstructured":"The maude system. Accessed 15 November 2014","key":"1_CR28","DOI":"10.4324\/9781315018157-8"},{"key":"1_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-3-540-89437-7_1","volume-title":"Software-Intensive Systems and New Computing Paradigms","author":"M H\u00f6lzl","year":"2008","unstructured":"H\u00f6lzl, M., Rauschmayer, A., Wirsing, M.: Engineering of software-intensive systems: state of the art and research challenges. In: Wirsing, M., Ban\u00e2tre, J.-P., H\u00f6lzl, M., Rauschmayer, A. (eds.) Software-Intensive Systems. LNCS, vol. 5380, pp. 1\u201344. Springer, Heidelberg (2008)"},{"key":"1_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1007\/978-3-642-24933-4_12","volume-title":"Formal Modeling: Actors, Open Systems, Biological Systems","author":"M H\u00f6lzl","year":"2011","unstructured":"H\u00f6lzl, M., Wirsing, M.: Towards a system model for ensembles. In: Agha, G., Danvy, O., Meseguer, J. (eds.) Formal Modeling: Actors, Open Systems, Biological Systems. LNCS, vol. 7000, pp. 241\u2013261. Springer, Heidelberg (2011)"},{"key":"1_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-3-642-03829-7_1","volume-title":"Foundations of Security Analysis and Design V","author":"S Escobar","year":"2009","unstructured":"Escobar, S., Meadows, C., Meseguer, J.: Maude-NPA: cryptographic protocol analysis modulo equational properties. In: Aldini, A., Barthe, G., Gorrieri, R. (eds.) FOSAD 2009. LNCS, vol. 5705, pp. 1\u201350. Springer, Heidelberg (2009)"},{"doi-asserted-by":"crossref","unstructured":"Dantas, Y.G., Lemos, M.O.O., Fonseca, I.E., Nigam, V.: Formal specification and verification of a selective defense for TDoS attacks. In: Lucanu, D. (ed.) Workshop on Rewriting Logic and Applications (2016)","key":"1_CR32","DOI":"10.1007\/978-3-319-44802-2_5"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-34096-8_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,1]],"date-time":"2022-07-01T12:24:55Z","timestamp":1656678295000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-34096-8_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319340951","9783319340968"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-34096-8_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}