{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,22]],"date-time":"2025-10-22T05:11:13Z","timestamp":1761109873403},"publisher-location":"Dordrecht","reference-count":20,"publisher":"Springer Netherlands","isbn-type":[{"type":"print","value":"9781402088889"},{"type":"electronic","value":"9781402088896"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-1-4020-8889-6_8","type":"book-chapter","created":{"date-parts":[[2008,9,13]],"date-time":"2008-09-13T12:40:42Z","timestamp":1221309642000},"page":"71-77","source":"Crossref","is-referenced-by-count":4,"title":["Flying Sensors \u2013 Swarms in Space"],"prefix":"10.1007","author":[{"given":"Stefan","family":"J\u00e4hnichen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Klaus","family":"Brie\u03b2","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rodger","family":"Burmeister","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1_8","volume-title":"International Study on Cost-Effective Earth Observation Missions","author":"R Sandau","year":"2006","unstructured":"Sandau R (2006) International Study on Cost-Effective Earth Observation Missions. Taylor & Francis, London."},{"key":"8_CR2_8","unstructured":"Herfort M, Berlin M, Geile HP, Yoon Z (2007) Beesat Attitude Control System. In: Small Satellites for Earth Observation, IAA-B6-0605, 191-194."},{"key":"8_CR3_8","doi-asserted-by":"crossref","unstructured":"Simunic T, Mihic K, Micheli GD (2005) Optimization of Reliability and Power Consumption in System on a Chip. In: PATMOS 2005, 237-246.","DOI":"10.1007\/11556930_25"},{"issue":"13","key":"8_CR4_8","doi-asserted-by":"publisher","first-page":"2986","DOI":"10.1364\/AO.45.002986","volume":"45","author":"B Javidi","year":"2006","unstructured":"Javidi B, Hong SH, Matoba O (2006) Multidimensional Optical Sensor and Imaging System. In: Applied Optics 45(13), 2986-2994.","journal-title":"Applied Optics"},{"issue":"3","key":"8_CR5_8","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1007\/BF00339666","volume":"17","author":"S Perrin","year":"1996","unstructured":"Perrin S, Redarce T (1996) CCD Camera Modeling and Simulation. In: Journal of Intelligent & Robotic Systems 17(3), 309-325.","journal-title":"Journal of Intelligent & Robotic Systems"},{"issue":"6","key":"8_CR6_8","doi-asserted-by":"publisher","first-page":"1229","DOI":"10.1109\/TGRS.2005.845643","volume":"43","author":"S Gleason","year":"2005","unstructured":"Gleason S, Hodgart S, Sun Y, Gommenginger C, Mackin S, Adjrad M, Unwin M (2005) Detection and Processing of Bistatically Reflected GPS Signals from Low Earth Orbit for the Purpose of Ocean Remote Sensing. In: IEEE Trans. Geosci. Remote Sensing 43(6), 1229-1241.","journal-title":"IEEE Trans. Geosci. Remote Sensing"},{"key":"8_CR7_8","doi-asserted-by":"publisher","first-page":"L14816","DOI":"10.1029\/2006GL026112","volume":"33","author":"S Sokolovskiy","year":"2006","unstructured":"Sokolovskiy S, Rocken C, Hunt D, Schreiner W, Johnson J, Masters D, Esterhuizen S (2006) GPS Profiling of the Lower Troposphere From Space: Inversion and Demodulation of the Open-Loop Radio Occultation Signals. In: Geophys. Res. Lett. 33, L14816, doi:10.1029\/2006GL026112.","journal-title":"Geophys. Res. Lett."},{"key":"8_CR8_8","unstructured":"M \u00fcller R, Z \u00f6lder A, Hartmann F (2004) The Historical AIS Data Use for Navigational Aids. In: Proceedings of ISIS 2004."},{"key":"8_CR9_8","unstructured":"Hinchey M, Rouff C, Rash J, Truszkowski W (2003) Formal Approaches to Intelligent Swarms. In: Proceedings of the 28th Annual NASA Goddard Software Engineering Workshop (SEW\u201903)."},{"key":"8_CR10_8","doi-asserted-by":"crossref","unstructured":"Reynolds CW (1987) Flocks, Herds, and Schools: A Distributed Behavioral Model. In: Computer Graphics 21(4).","DOI":"10.1145\/37402.37406"},{"key":"8_CR11_8","unstructured":"McLurkin J, Smith J, Frankel J, Sotkowitz D, Blau D, Schmidt B (2006) Speaking Swarmish: Human-Robot Interface Design for Large Swarms of Autonomous Mobile Robots. In: Proceedings of AAAI Spring Symposium."},{"key":"8_CR12_8","doi-asserted-by":"crossref","unstructured":"Han CC, Rengaswamy RK, Shea R, Kohler E, Srivastava M. (2005) SOS: A Dynamic Operating System for Sensor Networks. In: ACM Proceedings of the 3rd International Conference on Mobile Systems, Applications, and Services.","DOI":"10.1145\/1067170.1067188"},{"key":"8_CR13_8","doi-asserted-by":"crossref","unstructured":"Szymanski M, W \u00f6rn H (2007) JaMOS - A MDL2e based Operating System for Swarm Micro Robotics. In: Proceedings of IEEE Swarm Intelligence Symposium 2007, 324-331.","DOI":"10.1109\/SIS.2007.367955"},{"issue":"12","key":"8_CR14_8","doi-asserted-by":"publisher","first-page":"3062","DOI":"10.1109\/TIT.2004.838089","volume":"50","author":"JN Laneman","year":"2004","unstructured":"Laneman JN, Tse D, Wornell G (2004) Cooperative Diversity in Wireless Networks: Efficient Protocols and Outage Behavior. In: IEEE Trans. Inform. Theory 50(12), 3062-3080.","journal-title":"IEEE Trans. Inform. Theory"},{"key":"8_CR15_8","doi-asserted-by":"crossref","unstructured":"Hinchey MG, Rouff CA, Rash JL (2005) Requirements of an Integrated Formal Method For Intelligent Swarms. In: ACM Proceedings of FMICS\u201905.","DOI":"10.1145\/1081180.1081196"},{"key":"8_CR16_8","doi-asserted-by":"publisher","first-page":"481","DOI":"10.1007\/BF01211247","volume":"5","author":"JCM Baeten","year":"1993","unstructured":"Baeten JCM, Bergstra JA (1993) Real Space Process Algebra. In: Formal Aspects of Computing 5, 481-529.","journal-title":"Formal Aspects of Computing"},{"key":"8_CR17_8","doi-asserted-by":"crossref","unstructured":"Weston NR, Balchanos MG, Koepp MR and Mavris DN (2006) Strategies for Integrating Models of Interdependent Subsystems of Complex System-of-System Products. In: Proceedings of the 38th Southeastern Symposium of System Theory.","DOI":"10.1109\/SSST.2006.1619094"},{"key":"8_CR18_8","unstructured":"Br \u00fcckner I (2007) Slicing Concurrent Real-Time System Specifications for Verification. In: Proceedings of IFM 2007 - Sixth International Conference on Integrated Formal Methods, Lecture Notes in Computer Science. Springer."},{"key":"8_CR19_8","doi-asserted-by":"crossref","first-page":"465","DOI":"10.1007\/11526841_31","volume":"3582","author":"J Hoenicke","year":"2005","unstructured":"Hoenicke J, Maier P (2005) Model-Checking of Specifications Integrating Processes, Data and Time. In: Proceedings of FM 2005 LNCS 3582, 465-480. Springer.","journal-title":"Proceedings of FM 2005 LNCS"},{"key":"8_CR20_8","unstructured":"Ayeb M, Theuerkauf H, Winsel CWT (2006). Robust Identification of Nonlinear Dynamic Systems Using Design of Experiment. In: Proceedings of IEEE International Symposium Computer-Aided Control Systems Design, 2321-2326."}],"container-title":["Autonomous Systems \u2013 Self-Organization, Management, and Control"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4020-8889-6_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T17:24:28Z","timestamp":1605633868000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4020-8889-6_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9781402088889","9781402088896"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-1-4020-8889-6_8","relation":{},"subject":[],"published":{"date-parts":[[2008]]}}}