{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:11:22Z","timestamp":1761487882979},"reference-count":21,"publisher":"Informa UK Limited","issue":"10","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["International Journal of Systems Science"],"published-print":{"date-parts":[[1998,10]]},"DOI":"10.1080\/00207729808929598","type":"journal-article","created":{"date-parts":[[2007,7,7]],"date-time":"2007-07-07T10:56:52Z","timestamp":1183805812000},"page":"1065-1080","source":"Crossref","is-referenced-by-count":28,"title":["Mission control of the MARIUS autonomous underwater vehicle: system design, implementation and sea trials"],"prefix":"10.1080","volume":"29","author":[{"given":"P.","family":"OLIVEIRA","sequence":"first","affiliation":[]},{"given":"A.","family":"PASCOAL","sequence":"additional","affiliation":[]},{"given":"V.","family":"SILVA","sequence":"additional","affiliation":[]},{"given":"C.","family":"SILVESTRE","sequence":"additional","affiliation":[]}],"member":"301","reference":[{"key":"CIT0001","volume-title":"Compilers Principles, Techniques and Tools","author":"AHO A. V.","year":"1985"},{"key":"CIT0002","doi-asserted-by":"crossref","unstructured":"ALBUS , J. , 1988 , System description and design architecture for multiple autonomous undersea vehicles . Technical Note 1251, National Institute of Standards and Technology .","DOI":"10.6028\/NIST.TN.1251"},{"key":"CIT0003","volume-title":"An Introduction to Intelligent and Autonomous Control","author":"ANTSAKLIS P.","year":"1993"},{"key":"CIT0004","first-page":"1253","volume-title":"Proceedings of the MAST-Days and Euromar Conference, Sorrento.","author":"AYELA G.","year":"1995"},{"key":"CIT0005","volume-title":"Discrete Event Systems. Modeling and Performance Analysis","author":"CASSANDRAS C.","year":"1993"},{"key":"CIT0006","first-page":"54","volume-title":"Proceedings of the US-Portugal Workshop on Undersea Robotics and Intelligent Control","author":"COSTE-MANTERE E.","year":"1995"},{"key":"CIT0007","unstructured":"ESPIAU , B. , KAPELLOS , K. , JOURDAN , M. , and SIMON , D. , 1995 , On the validation of robotic control systems. Part I High level specification and formal verification . Internal Report 2719 , Institut National de la Recherche en Informatique et en Automatique ."},{"key":"CIT0008","volume-title":"Digital Control of Dynamic Systems","author":"FRANKLIN G.","year":"1990"},{"key":"CIT0009","first-page":"417","volume":"27","author":"FREEDMAN P.","year":"1989","journal-title":"IEEE Transactions on Robotics and Automation"},{"key":"CIT0010","volume":"15","author":"FU K. S.","year":"1970","journal-title":"IEEE Transactions on Automatic Control"},{"key":"CIT0011","doi-asserted-by":"crossref","first-page":"2149","DOI":"10.1109\/ROBOT.1996.506188","volume-title":"Proceedings of the IEEE Robotics and Automation Conference","author":"HEALEY A.","year":"1996"},{"key":"CIT0012","volume-title":"Proceedings of the International Advanced Robotics Program Second Workshop on Mobile Robots for Subsea Environments","year":"1994"},{"key":"CIT0013","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"CIT0014","volume-title":"Proceedings of the Sixth International Advanced Robotics Program Workshop on Underwater Robotics","author":"OLIVEIRA P.","year":"1996"},{"key":"CIT0015","first-page":"127","volume-title":"Proceedings of the Second Workshop on Mobile Robots for Subsea Environments, Monterey Bay Aquarium","author":"PASCOAL A.","year":"1994"},{"key":"CIT0016","volume-title":"Petri Net Theory and the Modeling of Systems","author":"PETERSON J.","year":"1981"},{"key":"CIT0017","doi-asserted-by":"publisher","DOI":"10.1109\/PROC.1979.11407"},{"key":"CIT0018","unstructured":"SILVA , V. , 1996 . A real time mission control system for autonomous vehicles . MSc thesis , Institute Superior Tecnico ."},{"key":"CIT0019","unstructured":"SILVA , V. , OLIVEIRA , P. , SILVESTRE , C. , and PASCOAL , A. , 1995 . Design and implementation of real time mission control systems for autonomous underwater vehicles the CORAL and ATOL software programming environments . Internal Report , Institulo de Sistems e Robotica (ISR) . Lisbon , Portugal ."},{"key":"CIT0020","doi-asserted-by":"publisher","DOI":"10.1109\/87.260267"},{"key":"CIT0021","volume-title":"Proceedings of the Joint US-Portugal Workshop on Undersea Robotics and Intelligent Control","year":"1995"}],"container-title":["International Journal of Systems Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/00207729808929598","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,30]],"date-time":"2019-04-30T09:00:01Z","timestamp":1556614801000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/00207729808929598"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,10]]},"references-count":21,"journal-issue":{"issue":"10","published-print":{"date-parts":[[1998,10]]}},"alternative-id":["10.1080\/00207729808929598"],"URL":"https:\/\/doi.org\/10.1080\/00207729808929598","relation":{},"ISSN":["0020-7721","1464-5319"],"issn-type":[{"value":"0020-7721","type":"print"},{"value":"1464-5319","type":"electronic"}],"subject":[],"published":{"date-parts":[[1998,10]]}}}