{"id":"https://openalex.org/W2040472179","doi":"https://doi.org/10.1080/00207729808929600","title":"Cooperative research in underwater robot mission-level programming methodologies","display_name":"Cooperative research in underwater robot mission-level programming methodologies","publication_year":1998,"publication_date":"1998-10-01","ids":{"openalex":"https://openalex.org/W2040472179","doi":"https://doi.org/10.1080/00207729808929600","mag":"2040472179"},"language":"en","primary_location":{"id":"doi:10.1080/00207729808929600","is_oa":false,"landing_page_url":"https://doi.org/10.1080/00207729808929600","pdf_url":null,"source":{"id":"https://openalex.org/S129640837","display_name":"International Journal of Systems Science","issn_l":"0020-7721","issn":["0020-7721","1464-5319"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547","https://openalex.org/P4310320449"],"host_organization_lineage_names":["Taylor & Francis","Informa"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Systems Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5025907802","display_name":"\u00c8ve Coste-Mani\u00e8re","orcid":null},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"\u00c8VE COSTE-MANI\u00c8RE","raw_affiliation_strings":["Institut National de Recherche en Informatique et en Automatique, Sophia Antipolis, BP 93, Sophia-Antipolis Cedex, 06902, France E-mail: Eve.Coste-Maniere@inria.fr","Institut National de Recherche en Informatique et en Automatique, Sophia Antipolis , BP 93, Sophia-Antipolis Cedex, 06902, France E-mail: Eve.Coste-Maniere@inria.fr"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institut National de Recherche en Informatique et en Automatique, Sophia Antipolis, BP 93, Sophia-Antipolis Cedex, 06902, France E-mail: Eve.Coste-Maniere@inria.fr","institution_ids":["https://openalex.org/I1326498283"]},{"raw_affiliation_string":"Institut National de Recherche en Informatique et en Automatique, Sophia Antipolis , BP 93, Sophia-Antipolis Cedex, 06902, France E-mail: Eve.Coste-Maniere@inria.fr","institution_ids":["https://openalex.org/I1326498283"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110716459","display_name":"Howard H. Wang","orcid":null},"institutions":[{"id":"https://openalex.org/I97018004","display_name":"Stanford University","ror":"https://ror.org/00f54p054","country_code":"US","type":"education","lineage":["https://openalex.org/I97018004"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"HOWARD H. WANG","raw_affiliation_strings":["Aerospace Robotics Laboratory, Stanford University, California, 94305, USA E-mail: {lazarus, rock}@sun-valley.Stanford.edu","Aerospace Robotics Laboratory, Stanford University , California, 94305, USA E-mail: {lazarus,rock}@sun-valley.Stanford.edu"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Aerospace Robotics Laboratory, Stanford University, California, 94305, USA E-mail: {lazarus, rock}@sun-valley.Stanford.edu","institution_ids":["https://openalex.org/I97018004"]},{"raw_affiliation_string":"Aerospace Robotics Laboratory, Stanford University , California, 94305, USA E-mail: {lazarus,rock}@sun-valley.Stanford.edu","institution_ids":["https://openalex.org/I97018004"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5026482686","display_name":"Stephen M. Rock","orcid":null},"institutions":[{"id":"https://openalex.org/I97018004","display_name":"Stanford University","ror":"https://ror.org/00f54p054","country_code":"US","type":"education","lineage":["https://openalex.org/I97018004"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"STEPHEN M. ROCK","raw_affiliation_strings":["Aerospace Robotics Laboratory, Stanford University, California, 94305, USA E-mail: {lazarus, rock}@sun-valley.Stanford.edu","Aerospace Robotics Laboratory, Stanford University , California, 94305, USA E-mail: {lazarus,rock}@sun-valley.Stanford.edu"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Aerospace Robotics Laboratory, Stanford University, California, 94305, USA E-mail: {lazarus, rock}@sun-valley.Stanford.edu","institution_ids":["https://openalex.org/I97018004"]},{"raw_affiliation_string":"Aerospace Robotics Laboratory, Stanford University , California, 94305, USA E-mail: {lazarus,rock}@sun-valley.Stanford.edu","institution_ids":["https://openalex.org/I97018004"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5036719232","display_name":"V. Rigaud","orcid":"https://orcid.org/0000-0002-6023-8323"},"institutions":[{"id":"https://openalex.org/I154202486","display_name":"Ifremer","ror":"https://ror.org/044jxhp58","country_code":"FR","type":"facility","lineage":["https://openalex.org/I154202486"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"VINCENT RIGAUD","raw_affiliation_strings":["Institut Fran\u00e7ais de Recherche pour l'Exploitation de la Mer, Centre de Toulon, La Seyne-sur-Mer, 83507, France E-mail: {rigaud, -peuch.mperrier}@ifremer.fr","Institut Fran\u00e7ais de Recherche pour l'Exploitation de la Mer , Centre de Toulon, La Seyne-sur-Mer, 83507, France E-mail: {rigaud,-peuch.mperrier}@ifremer.fr"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institut Fran\u00e7ais de Recherche pour l'Exploitation de la Mer, Centre de Toulon, La Seyne-sur-Mer, 83507, France E-mail: {rigaud, -peuch.mperrier}@ifremer.fr","institution_ids":["https://openalex.org/I154202486"]},{"raw_affiliation_string":"Institut Fran\u00e7ais de Recherche pour l'Exploitation de la Mer , Centre de Toulon, La Seyne-sur-Mer, 83507, France E-mail: {rigaud,-peuch.mperrier}@ifremer.fr","institution_ids":["https://openalex.org/I154202486"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088159966","display_name":"A. Peuch","orcid":null},"institutions":[{"id":"https://openalex.org/I154202486","display_name":"Ifremer","ror":"https://ror.org/044jxhp58","country_code":"FR","type":"facility","lineage":["https://openalex.org/I154202486"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"ALEXIS PEUCH","raw_affiliation_strings":["Institut Fran\u00e7ais de Recherche pour l'Exploitation de la Mer, Centre de Toulon, La Seyne-sur-Mer, 83507, France E-mail: {rigaud, -peuch.mperrier}@ifremer.fr","Institut Fran\u00e7ais de Recherche pour l'Exploitation de la Mer , Centre de Toulon, La Seyne-sur-Mer, 83507, France E-mail: {rigaud,-peuch.mperrier}@ifremer.fr"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institut Fran\u00e7ais de Recherche pour l'Exploitation de la Mer, Centre de Toulon, La Seyne-sur-Mer, 83507, France E-mail: {rigaud, -peuch.mperrier}@ifremer.fr","institution_ids":["https://openalex.org/I154202486"]},{"raw_affiliation_string":"Institut Fran\u00e7ais de Recherche pour l'Exploitation de la Mer , Centre de Toulon, La Seyne-sur-Mer, 83507, France E-mail: {rigaud,-peuch.mperrier}@ifremer.fr","institution_ids":["https://openalex.org/I154202486"]}]},{"author_position":"last","author":{"id":null,"display_name":"MICHEL PERRIER","orcid":null},"institutions":[{"id":"https://openalex.org/I154202486","display_name":"Ifremer","ror":"https://ror.org/044jxhp58","country_code":"FR","type":"facility","lineage":["https://openalex.org/I154202486"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"MICHEL PERRIER","raw_affiliation_strings":["Institut Fran\u00e7ais de Recherche pour l'Exploitation de la Mer, Centre de Toulon, La Seyne-sur-Mer, 83507, France E-mail: {rigaud, -peuch.mperrier}@ifremer.fr","Institut Fran\u00e7ais de Recherche pour l'Exploitation de la Mer , Centre de Toulon, La Seyne-sur-Mer, 83507, France E-mail: {rigaud,-peuch.mperrier}@ifremer.fr"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institut Fran\u00e7ais de Recherche pour l'Exploitation de la Mer, Centre de Toulon, La Seyne-sur-Mer, 83507, France E-mail: {rigaud, -peuch.mperrier}@ifremer.fr","institution_ids":["https://openalex.org/I154202486"]},{"raw_affiliation_string":"Institut Fran\u00e7ais de Recherche pour l'Exploitation de la Mer , Centre de Toulon, La Seyne-sur-Mer, 83507, France E-mail: {rigaud,-peuch.mperrier}@ifremer.fr","institution_ids":["https://openalex.org/I154202486"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.13337431,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"29","issue":"10","first_page":"1099","last_page":"1110"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9983999729156494,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9983999729156494,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9980999827384949,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9926999807357788,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/underwater","display_name":"Underwater","score":0.5743101239204407},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5360795259475708},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5306747555732727},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.502281665802002},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.44113993644714355},{"id":"https://openalex.org/keywords/mission-control-center","display_name":"Mission control center","score":0.43403464555740356},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3712773323059082},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.3301798701286316}],"concepts":[{"id":"https://openalex.org/C98083399","wikidata":"https://www.wikidata.org/wiki/Q3246517","display_name":"Underwater","level":2,"score":0.5743101239204407},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5360795259475708},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5306747555732727},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.502281665802002},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.44113993644714355},{"id":"https://openalex.org/C25761169","wikidata":"https://www.wikidata.org/wiki/Q1757070","display_name":"Mission control center","level":2,"score":0.43403464555740356},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3712773323059082},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.3301798701286316},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C111368507","wikidata":"https://www.wikidata.org/wiki/Q43518","display_name":"Oceanography","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1080/00207729808929600","is_oa":false,"landing_page_url":"https://doi.org/10.1080/00207729808929600","pdf_url":null,"source":{"id":"https://openalex.org/S129640837","display_name":"International Journal of Systems Science","issn_l":"0020-7721","issn":["0020-7721","1464-5319"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547","https://openalex.org/P4310320449"],"host_organization_lineage_names":["Taylor & Francis","Informa"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Systems Science","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":12,"referenced_works":["https://openalex.org/W1541451453","https://openalex.org/W1546220007","https://openalex.org/W1558207687","https://openalex.org/W1753413442","https://openalex.org/W1842589395","https://openalex.org/W1973482643","https://openalex.org/W1986418050","https://openalex.org/W1990882188","https://openalex.org/W2100159190","https://openalex.org/W2125023624","https://openalex.org/W2159542925","https://openalex.org/W2175514610"],"related_works":["https://openalex.org/W4388412763","https://openalex.org/W1999583034","https://openalex.org/W3217214504","https://openalex.org/W3168963531","https://openalex.org/W2591930867","https://openalex.org/W1675249375","https://openalex.org/W1525469023","https://openalex.org/W1906322579","https://openalex.org/W2082741384","https://openalex.org/W2119982700"],"abstract_inverted_index":{"Programming":[0],"autonomous":[1,180],"vehicles":[2],"to":[3,28,94,144,149],"accomplish":[4],"complex":[5,73],"missions":[6,169],"is":[7,18,27],"a":[8,39,69,80,96,112,151],"complicated":[9],"task":[10],"for":[11],"which":[12],"the":[13,30,45,63,66,83,89,100,108,117,131,134,164,174],"development":[14,46,121],"of":[15,19,24,32,47,50,65,68,82,125,133,157,167],"control":[16,49,92,145],"architectures":[17],"prime":[20],"importance.":[21],"The":[22,76,104,123,155],"goal":[23],"this":[25],"paper":[26],"describe":[29],"accomplishments":[31],"both":[33,158],"French":[34,77,175],"and":[35,72,88,177],"American":[36,109,178],"teams":[37],"within":[38],"cooperative":[40],"research":[41],"program":[42],"focused":[43],"on":[44],"high-level":[48,135],"semi-autonomous":[51],"underwater":[52,74,147,153,181],"vehicles.":[53,182],"In":[54],"particular,":[55],"two":[56],"different":[57],"mission-programming":[58],"methodologies":[59,160],"are":[60,128],"examined":[61],"in":[62,170],"context":[64],"requirements":[67],"generic,":[70],"reactive":[71],"mission.":[75,154],"team":[78,110,140],"uses":[79],"combination":[81],"ESTEREL":[84],"synchronous":[85],"programming":[86,102,159],"language":[87],"PIRRAT":[90],"real-time":[91,119],"library":[93],"implement":[95],"methodology":[97,127],"derived":[98],"from":[99],"ORCCAD":[101],"system.":[103],"approach":[105,143],"taken":[106],"by":[107,138,173],"builds":[111],"trilevel":[113],"hybrid":[114],"architecture":[115],"using":[116,141],"CONTROLSHELL":[118],"software":[120],"environment.":[122],"details":[124],"each":[126,139],"highlighted":[129],"through":[130,163],"presentation":[132],"programs":[136],"designed":[137],"their":[142],"an":[146],"robot":[148],"perform":[150],"multiphased":[152],"utility":[156],"was":[161],"verified":[162],"successful":[165],"completion":[166],"those":[168],"experimental":[171],"demonstrations":[172],"VORTEX":[176],"OTTER":[179]},"counts_by_year":[],"updated_date":"2026-08-15T07:11:24.734988","created_date":"2025-10-10T00:00:00"}