{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:43:43Z","timestamp":1725497023669},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540762188"},{"type":"electronic","value":"9783540409205"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0112994","type":"book-chapter","created":{"date-parts":[[2007,12,3]],"date-time":"2007-12-03T08:32:19Z","timestamp":1196670739000},"page":"582-593","source":"Crossref","is-referenced-by-count":1,"title":["Distributed control of a free-floating underwater manipulation system"],"prefix":"10.1007","author":[{"given":"K.","family":"Kapellos","sequence":"first","affiliation":[]},{"given":"D.","family":"Simon","sequence":"additional","affiliation":[]},{"given":"S.","family":"Granier","sequence":"additional","affiliation":[]},{"given":"V.","family":"Rigaud","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2007,12,1]]},"reference":[{"key":"49_CR1","doi-asserted-by":"crossref","unstructured":"C. Astraudo, J.J. Borrelly, \"Simulation of Multiprocessor Robot Controllers\", Proc. IEEE Int. Conf. on Robotics and Automation, Nice, May 1992","DOI":"10.1109\/ROBOT.1992.220230"},{"issue":"2","key":"49_CR2","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0167-6423(92)90005-V","volume":"19","author":"G. Berry","year":"1992","unstructured":"G. Berry, G. Gonthier: \u201cThe Synchronous Programming Language Esterel: Design, Semantics, Implementation\u201d, Science Of Computer Programming, Vol 19 no 2, pp 87\u2013152, 1992.","journal-title":"Science Of Computer Programming"},{"key":"49_CR3","unstructured":"P. Caspi, A. Girault, and D. Pilaud. Distributing reactive systems. In 7th Int. Conf. on Parallel and Distributed Computing Systems, Las Vegas, Oct. 1994."},{"key":"49_CR4","doi-asserted-by":"crossref","unstructured":"B. Espiau, K. Kapellos and M. Jourdan: Verification in Robotics: Why and How?, Robotics Research, the seventh International Symposium, octobre 1995, Giralt and Hirzinger editor, Springer Verlag.","DOI":"10.1007\/978-1-4471-1021-7_26"},{"key":"49_CR5","unstructured":"B. Espiau, K. Kapellos, E. Coste-Mani\u00e8re and N. Turro: \u201cFormal Mission Specification in an Open Architecture\u201d, Isram'96, Montpellier, May 1996."},{"key":"49_CR6","unstructured":"K. Kapellos, S. Abdou, M. Jourdan and B. Espiau: \u201cSpecification, Verification and Implementation of Tasks and Missions for an Autonomous Vehicle\u201d, 4th Int. Symp. on Experimental Robotics, Stanford, 1995."},{"key":"49_CR7","unstructured":"V. Rigaud e.a. (Union team): \u201cUnion: Underwater intelligent operation and navigation\u201d, to appear in IEEE Robotics and Automation Magazine, Special Issue on Robotics & Automation in Europe."},{"key":"49_CR8","unstructured":"D. Simon, K. Kapellos and B. Espiau, \u201cControl laws, Tasks and Procedures with Orccad: Application to the Control of an Underwater Arm\u201d, preprints of 6th IARP workshop on Underwater Robotics, Toulon, March 1996."},{"key":"49_CR9","doi-asserted-by":"crossref","unstructured":"D. Simon, B. Espiau, E. Castillo and K. Kapellos: \u201cComputer-aided Design of a Generic Robot Controller Handling Reactivity and Real-time Control Issues\u201d, IEEE Trans. on Control Systems Technology, vol 1, no 4, Decembre 1993.","DOI":"10.1109\/87.260267"}],"container-title":["Lecture Notes in Control and Information Sciences","Experimental Robotics V"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0112994","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,5]],"date-time":"2019-05-05T13:16:00Z","timestamp":1557062160000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0112994"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540762188","9783540409205"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/bfb0112994","relation":{},"ISSN":["0170-8643","1610-7411"],"issn-type":[{"type":"print","value":"0170-8643"},{"type":"electronic","value":"1610-7411"}],"subject":[],"published":{"date-parts":[[1998]]}}}