{"id":"https://openalex.org/W2586840159","doi":"https://doi.org/10.1109/smc.2016.7844552","title":"Online motion synthesis with minimal intervention control and formal safety guarantees","display_name":"Online motion synthesis with minimal intervention control and formal safety guarantees","publication_year":2016,"publication_date":"2016-10-01","ids":{"openalex":"https://openalex.org/W2586840159","doi":"https://doi.org/10.1109/smc.2016.7844552","mag":"2586840159"},"language":"en","primary_location":{"id":"doi:10.1109/smc.2016.7844552","is_oa":false,"landing_page_url":"https://doi.org/10.1109/smc.2016.7844552","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 IEEE International Conference on Systems, Man, and Cybernetics (SMC)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://infoscience.epfl.ch/record/223769","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5006820571","display_name":"Martijn J.A. Zeestraten","orcid":"https://orcid.org/0000-0001-6629-8370"},"institutions":[{"id":"https://openalex.org/I30771326","display_name":"Italian Institute of Technology","ror":"https://ror.org/042t93s57","country_code":"IT","type":"facility","lineage":["https://openalex.org/I30771326"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Martijn J.A. Zeestraten","raw_affiliation_strings":["Department of Advanced Robotics, Istituto Italiano di Tecnologia, Genova, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Advanced Robotics, Istituto Italiano di Tecnologia, Genova, Italy","institution_ids":["https://openalex.org/I30771326"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045503600","display_name":"Aaron Pereira","orcid":"https://orcid.org/0000-0003-3797-2981"},"institutions":[{"id":"https://openalex.org/I30771326","display_name":"Italian Institute of Technology","ror":"https://ror.org/042t93s57","country_code":"IT","type":"facility","lineage":["https://openalex.org/I30771326"]},{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["DE","IT"],"is_corresponding":false,"raw_author_name":"Aaron Pereira","raw_affiliation_strings":["Department of Advanced Robotics, Istituto Italiano di Tecnologia, Genova, Italy","Department of Informatics, Technische Universit\u00e4t M\u00fcnchen, Garching, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Advanced Robotics, Istituto Italiano di Tecnologia, Genova, Italy","institution_ids":["https://openalex.org/I30771326"]},{"raw_affiliation_string":"Department of Informatics, Technische Universit\u00e4t M\u00fcnchen, Garching, Germany","institution_ids":["https://openalex.org/I62916508"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5005383495","display_name":"Matthias Althoff","orcid":"https://orcid.org/0000-0003-3733-842X"},"institutions":[{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Matthias Althoff","raw_affiliation_strings":["Department of Informatics, Technische Universit\u00e4t M\u00fcnchen, Garching, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Informatics, Technische Universit\u00e4t M\u00fcnchen, Garching, Germany","institution_ids":["https://openalex.org/I62916508"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5048780399","display_name":"Sylvain Calinon","orcid":"https://orcid.org/0000-0002-9036-6799"},"institutions":[{"id":"https://openalex.org/I30771326","display_name":"Italian Institute of Technology","ror":"https://ror.org/042t93s57","country_code":"IT","type":"facility","lineage":["https://openalex.org/I30771326"]},{"id":"https://openalex.org/I7495430","display_name":"Idiap Research Institute","ror":"https://ror.org/05932h694","country_code":"CH","type":"facility","lineage":["https://openalex.org/I7495430"]}],"countries":["CH","IT"],"is_corresponding":false,"raw_author_name":"Sylvain Calinon","raw_affiliation_strings":["Department of Advanced Robotics, Istituto Italiano di Tecnologia, Genova, Italy","Idian Research Institute, Martieny, Switzerland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Advanced Robotics, Istituto Italiano di Tecnologia, Genova, Italy","institution_ids":["https://openalex.org/I30771326"]},{"raw_affiliation_string":"Idian Research Institute, Martieny, Switzerland","institution_ids":["https://openalex.org/I7495430"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.8418,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":{"value":0.8718537,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"002116","last_page":"002121"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10653","display_name":"Robot Manipulation and Learning","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10653","display_name":"Robot Manipulation and Learning","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10982","display_name":"Motor Control and Adaptation","score":0.9959999918937683,"subfield":{"id":"https://openalex.org/subfields/2805","display_name":"Cognitive Neuroscience"},"field":{"id":"https://openalex.org/fields/28","display_name":"Neuroscience"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T11023","display_name":"Prosthetics and Rehabilitation Robotics","score":0.9933000206947327,"subfield":{"id":"https://openalex.org/subfields/2204","display_name":"Biomedical Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/obstacle-avoidance","display_name":"Obstacle avoidance","score":0.763782262802124},{"id":"https://openalex.org/keywords/workspace","display_name":"Workspace","score":0.7232128381729126},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7213206887245178},{"id":"https://openalex.org/keywords/collision-avoidance","display_name":"Collision avoidance","score":0.6816216707229614},{"id":"https://openalex.org/keywords/trajectory","display_name":"Trajectory","score":0.6398389339447021},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.6325375437736511},{"id":"https://openalex.org/keywords/obstacle","display_name":"Obstacle","score":0.6184489727020264},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.5727717876434326},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.5307623744010925},{"id":"https://openalex.org/keywords/motion","display_name":"Motion (physics)","score":0.4632488489151001},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.44127678871154785},{"id":"https://openalex.org/keywords/planner","display_name":"Planner","score":0.42369112372398376},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3920135796070099},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.3864145278930664},{"id":"https://openalex.org/keywords/mobile-robot","display_name":"Mobile robot","score":0.21888941526412964},{"id":"https://openalex.org/keywords/collision","display_name":"Collision","score":0.16547676920890808},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.1594102680683136},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.14406818151474},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.08776336908340454},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.08655980229377747}],"concepts":[{"id":"https://openalex.org/C6683253","wikidata":"https://www.wikidata.org/wiki/Q7075535","display_name":"Obstacle avoidance","level":4,"score":0.763782262802124},{"id":"https://openalex.org/C58581272","wikidata":"https://www.wikidata.org/wiki/Q12741163","display_name":"Workspace","level":3,"score":0.7232128381729126},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7213206887245178},{"id":"https://openalex.org/C2780864053","wikidata":"https://www.wikidata.org/wiki/Q5147495","display_name":"Collision avoidance","level":3,"score":0.6816216707229614},{"id":"https://openalex.org/C13662910","wikidata":"https://www.wikidata.org/wiki/Q193139","display_name":"Trajectory","level":2,"score":0.6398389339447021},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.6325375437736511},{"id":"https://openalex.org/C2776650193","wikidata":"https://www.wikidata.org/wiki/Q264661","display_name":"Obstacle","level":2,"score":0.6184489727020264},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.5727717876434326},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.5307623744010925},{"id":"https://openalex.org/C104114177","wikidata":"https://www.wikidata.org/wiki/Q79782","display_name":"Motion (physics)","level":2,"score":0.4632488489151001},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.44127678871154785},{"id":"https://openalex.org/C2776999362","wikidata":"https://www.wikidata.org/wiki/Q2349274","display_name":"Planner","level":2,"score":0.42369112372398376},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3920135796070099},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.3864145278930664},{"id":"https://openalex.org/C19966478","wikidata":"https://www.wikidata.org/wiki/Q4810574","display_name":"Mobile robot","level":3,"score":0.21888941526412964},{"id":"https://openalex.org/C121704057","wikidata":"https://www.wikidata.org/wiki/Q352070","display_name":"Collision","level":2,"score":0.16547676920890808},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.1594102680683136},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.14406818151474},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.08776336908340454},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.08655980229377747},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C1276947","wikidata":"https://www.wikidata.org/wiki/Q333","display_name":"Astronomy","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/smc.2016.7844552","is_oa":false,"landing_page_url":"https://doi.org/10.1109/smc.2016.7844552","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 IEEE International Conference on Systems, Man, and Cybernetics (SMC)","raw_type":"proceedings-article"},{"id":"pmh:oai:infoscience.epfl.ch:223769","is_oa":true,"landing_page_url":"http://infoscience.epfl.ch/record/223769","pdf_url":null,"source":{"id":"https://openalex.org/S4306400487","display_name":"Infoscience (Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text"},{"id":"pmh:oai:mediatum.ub.tum.de:node/1379709","is_oa":true,"landing_page_url":"https://mediatum.ub.tum.de/1379709","pdf_url":null,"source":{"id":"https://openalex.org/S4306400453","display_name":"mediaTUM \u2013 the media and publications repository of the Technical University Munich (Technical University Munich)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I62916508","host_organization_name":"Technical University of Munich","host_organization_lineage":["https://openalex.org/I62916508"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"ConferencePaper"}],"best_oa_location":{"id":"pmh:oai:infoscience.epfl.ch:223769","is_oa":true,"landing_page_url":"http://infoscience.epfl.ch/record/223769","pdf_url":null,"source":{"id":"https://openalex.org/S4306400487","display_name":"Infoscience (Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":26,"referenced_works":["https://openalex.org/W1497695555","https://openalex.org/W1505088365","https://openalex.org/W1508779685","https://openalex.org/W1535148878","https://openalex.org/W1684361744","https://openalex.org/W1974475984","https://openalex.org/W1980440818","https://openalex.org/W1992461594","https://openalex.org/W1994691148","https://openalex.org/W2000790002","https://openalex.org/W2041051914","https://openalex.org/W2053324916","https://openalex.org/W2076618452","https://openalex.org/W2101033030","https://openalex.org/W2119357806","https://openalex.org/W2125838338","https://openalex.org/W2149192758","https://openalex.org/W2318055712","https://openalex.org/W2409231972","https://openalex.org/W2749680651","https://openalex.org/W2798737326","https://openalex.org/W4211008118","https://openalex.org/W4241805605","https://openalex.org/W4245882831","https://openalex.org/W4248951792","https://openalex.org/W6682150299"],"related_works":["https://openalex.org/W2913749762","https://openalex.org/W2321940404","https://openalex.org/W2140606111","https://openalex.org/W2991662304","https://openalex.org/W2794689129","https://openalex.org/W2975575631","https://openalex.org/W2785353696","https://openalex.org/W2355860162","https://openalex.org/W2022120107","https://openalex.org/W2624388109"],"abstract_inverted_index":{"We":[0,91],"present":[1],"a":[2,14,52],"framework":[3],"for":[4,86],"online":[5],"coordinated":[6],"obstacle":[7,30,95],"avoidance":[8,31,96],"with":[9],"formal":[10,118],"safety":[11,109,119],"guarantees.":[12],"Such":[13],"formally":[15],"verified":[16],"trajectory":[17],"planner":[18],"can":[19,83],"be":[20,67],"used":[21],"in":[22,97,131],"shared":[23],"human-robot":[24],"workspaces":[25],"to":[26,66],"guarantee":[27,79],"safety.":[28],"The":[29,99],"is":[32,48],"based":[33,50],"on":[34,40,51],"estimation":[35],"of":[36,62,75,108],"the":[37,63,81,106,117,128,132],"human":[38,64,76],"occupancy":[39,65],"two":[41],"different":[42],"time":[43],"scales.":[44],"A":[45],"long-term":[46],"plan":[47],"created":[49],"probabilistic":[53],"task":[54],"representation,":[55],"learned":[56],"by":[57],"demonstration,":[58],"and":[59,121],"an":[60,70],"estimate":[61],"avoided.":[68],"Using":[69],"additional":[71],"overapproximative,":[72],"short-term":[73],"prediction":[74],"motion":[77],"we":[78],"that":[80,102,126],"robot":[82],"always":[84],"account":[85],"sudden":[87],"or":[88],"reflex":[89],"movements.":[90],"demonstrate":[92],"our":[93,103],"two-level":[94],"simulation.":[98],"results":[100],"show":[101],"method":[104],"reduces":[105],"number":[107],"stops":[110],"one":[111],"would":[112],"encounter":[113],"when":[114],"using":[115],"only":[116],"verification,":[120],"synthesizes":[122],"alternative":[123],"movement":[124],"plans":[125],"preserves":[127],"coordination":[129],"observed":[130],"original":[133],"demonstrations.":[134]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":4},{"year":2016,"cited_by_count":1}],"updated_date":"2026-07-02T09:51:11.867554","created_date":"2025-10-10T00:00:00"}