{"id":"https://openalex.org/W2038469972","doi":"https://doi.org/10.1177/0278364914562980","title":"Analyzing and revising synthesized controllers for robots with sensing and actuation errors","display_name":"Analyzing and revising synthesized controllers for robots with sensing and actuation errors","publication_year":2015,"publication_date":"2015-03-20","ids":{"openalex":"https://openalex.org/W2038469972","doi":"https://doi.org/10.1177/0278364914562980","mag":"2038469972"},"language":"en","primary_location":{"id":"doi:10.1177/0278364914562980","is_oa":false,"landing_page_url":"https://doi.org/10.1177/0278364914562980","pdf_url":null,"source":{"id":"https://openalex.org/S73484101","display_name":"The International Journal of Robotics Research","issn_l":"0278-3649","issn":["0278-3649","1741-3176"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320017","host_organization_name":"SAGE Publishing","host_organization_lineage":["https://openalex.org/P4310320017"],"host_organization_lineage_names":["SAGE Publishing"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The International Journal of Robotics Research","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/A5007047797","display_name":"Benjamin Johnson","orcid":"https://orcid.org/0000-0001-6364-6560"},"institutions":[{"id":"https://openalex.org/I205783295","display_name":"Cornell University","ror":"https://ror.org/05bnh6r87","country_code":"US","type":"education","lineage":["https://openalex.org/I205783295"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Benjamin Johnson","raw_affiliation_strings":["Cornell University, Ithaca, NY, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Cornell University, Ithaca, NY, USA","institution_ids":["https://openalex.org/I205783295"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5020074157","display_name":"Hadas Kress\u2010Gazit","orcid":"https://orcid.org/0000-0002-7754-1011"},"institutions":[{"id":"https://openalex.org/I205783295","display_name":"Cornell University","ror":"https://ror.org/05bnh6r87","country_code":"US","type":"education","lineage":["https://openalex.org/I205783295"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Hadas Kress-Gazit","raw_affiliation_strings":["Cornell University, Ithaca, NY, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Cornell University, Ithaca, NY, USA","institution_ids":["https://openalex.org/I205783295"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I205783295"],"apc_list":null,"apc_paid":null,"fwci":2.4704,"has_fulltext":false,"cited_by_count":13,"citation_normalized_percentile":{"value":0.89503449,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"34","issue":"6","first_page":"816","last_page":"832"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9997000098228455,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9997000098228455,"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"}},{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9914000034332275,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.991100013256073,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/robot","display_name":"Robot","score":0.769690215587616},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.7344754934310913},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.7259020209312439},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.656237781047821},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6319260001182556},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.6272789835929871},{"id":"https://openalex.org/keywords/control-engineering","display_name":"Control engineering","score":0.5658791661262512},{"id":"https://openalex.org/keywords/robotics","display_name":"Robotics","score":0.4240516424179077},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3324977159500122},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.24241557717323303},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.07580944895744324}],"concepts":[{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.769690215587616},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.7344754934310913},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.7259020209312439},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.656237781047821},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6319260001182556},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.6272789835929871},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.5658791661262512},{"id":"https://openalex.org/C34413123","wikidata":"https://www.wikidata.org/wiki/Q170978","display_name":"Robotics","level":3,"score":0.4240516424179077},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3324977159500122},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.24241557717323303},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.07580944895744324},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.0},{"id":"https://openalex.org/C6557445","wikidata":"https://www.wikidata.org/wiki/Q173113","display_name":"Agronomy","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.1177/0278364914562980","is_oa":false,"landing_page_url":"https://doi.org/10.1177/0278364914562980","pdf_url":null,"source":{"id":"https://openalex.org/S73484101","display_name":"The International Journal of Robotics Research","issn_l":"0278-3649","issn":["0278-3649","1741-3176"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320017","host_organization_name":"SAGE Publishing","host_organization_lineage":["https://openalex.org/P4310320017"],"host_organization_lineage_names":["SAGE Publishing"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The International Journal of Robotics Research","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":38,"referenced_works":["https://openalex.org/W585556529","https://openalex.org/W1492487737","https://openalex.org/W1612453857","https://openalex.org/W1862398452","https://openalex.org/W1887552673","https://openalex.org/W1966698514","https://openalex.org/W1967294943","https://openalex.org/W1970269621","https://openalex.org/W1972203711","https://openalex.org/W2016990484","https://openalex.org/W2018713804","https://openalex.org/W2027175684","https://openalex.org/W2034338834","https://openalex.org/W2044323243","https://openalex.org/W2052695231","https://openalex.org/W2058327921","https://openalex.org/W2064572756","https://openalex.org/W2084978544","https://openalex.org/W2104241562","https://openalex.org/W2115174789","https://openalex.org/W2122825054","https://openalex.org/W2126435308","https://openalex.org/W2127203018","https://openalex.org/W2128263973","https://openalex.org/W2130786035","https://openalex.org/W2134032706","https://openalex.org/W2134312936","https://openalex.org/W2151958719","https://openalex.org/W2155020620","https://openalex.org/W2163941698","https://openalex.org/W2165364079","https://openalex.org/W2181518697","https://openalex.org/W2294550606","https://openalex.org/W2402139032","https://openalex.org/W2527425348","https://openalex.org/W2759274196","https://openalex.org/W2993376333","https://openalex.org/W3023554972"],"related_works":["https://openalex.org/W1508899372","https://openalex.org/W2012658348","https://openalex.org/W2039460805","https://openalex.org/W4250956039","https://openalex.org/W4240485100","https://openalex.org/W2494523064","https://openalex.org/W4254970379","https://openalex.org/W2056130799","https://openalex.org/W2045758229","https://openalex.org/W2000675896"],"abstract_inverted_index":{"The":[0,98],"synthesis":[1],"of":[2,9,31,48,73,83,105,123,146],"verifiable":[3],"robot":[4,19,75,89,164],"controllers":[5,20],"from":[6,80],"a":[7,14,29,66,74,81,102,130],"set":[8,82,122],"high-level":[10],"task":[11,151],"specifications":[12,51],"provides":[13],"valuable":[15],"tool":[16],"for":[17,21,68],"creating":[18],"complex":[22],"tasks.":[23],"Such":[24],"an":[25],"approach":[26,100],"can":[27],"offer":[28],"number":[30],"advantages":[32],"over":[33],"more":[34],"traditional":[35],"programming":[36],"methods,":[37],"including":[38],"the":[39,42,71,88,106,116,127,141,144,150,160,163],"guarantee":[40],"that":[41,62,77,118,134,162],"synthesized":[43,79],"controller":[44,76],"will":[45],"satisfy":[46],"all":[47],"its":[49,94,167],"underlying":[50],"when":[52,87],"operating":[53],"with":[54,91],"perfect":[55],"sensing":[56,95],"and":[57,64,96,108],"actuation.":[58,97],"This":[59],"paper":[60,128],"relaxes":[61],"assumption,":[63],"describes":[65],"method":[67,131],"probabilistically":[69],"analyzing":[70],"behavior":[72],"is":[78],"temporal":[84],"logic":[85],"specifications,":[86],"operates":[90],"uncertainty":[92],"in":[93,143,156],"described":[99],"creates":[101],"probabilistic":[103,110],"model":[104,111],"system":[107],"uses":[109],"checking":[112],"techniques":[113],"to":[114,136,140,149,158],"find":[115],"probability":[117,161],"it":[119],"satisfies":[120],"some":[121],"specifications.":[124],"In":[125],"addition,":[126],"proposes":[129],"which":[132],"leverages":[133],"analysis":[135],"provide":[137],"automated":[138],"feedback":[139],"user":[142],"form":[145],"suggested":[147],"revisions":[148],"specification":[152],"or":[153],"low-level":[154],"components,":[155],"order":[157],"increase":[159],"successfully":[165],"accomplishes":[166],"task.":[168]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":3}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}