{"id":"https://openalex.org/W2336884378","doi":"https://doi.org/10.1145/2883817.2883832","title":"Nonlinear Controller Synthesis and Automatic Workspace Partitioning for Reactive High-Level Behaviors","display_name":"Nonlinear Controller Synthesis and Automatic Workspace Partitioning for Reactive High-Level Behaviors","publication_year":2016,"publication_date":"2016-04-11","ids":{"openalex":"https://openalex.org/W2336884378","doi":"https://doi.org/10.1145/2883817.2883832","mag":"2336884378"},"language":"en","primary_location":{"id":"doi:10.1145/2883817.2883832","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2883817.2883832","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control","raw_type":"proceedings-article"},"type":"conference-paper","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/A5049226598","display_name":"Jonathan DeCastro","orcid":"https://orcid.org/0000-0002-0933-9671"},"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":"Jonathan A. DeCastro","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":null,"has_fulltext":false,"cited_by_count":15,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"225","last_page":"234"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"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.9998000264167786,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9973999857902527,"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.9965999722480774,"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/workspace","display_name":"Workspace","score":0.9326368570327759},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7499254941940308},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.6799240112304688},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.635486900806427},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.6055045127868652},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.5365868210792542},{"id":"https://openalex.org/keywords/nonlinear-system","display_name":"Nonlinear system","score":0.5126311182975769},{"id":"https://openalex.org/keywords/partition","display_name":"Partition (number theory)","score":0.48743394017219543},{"id":"https://openalex.org/keywords/control-engineering","display_name":"Control engineering","score":0.4373893141746521},{"id":"https://openalex.org/keywords/range","display_name":"Range (aeronautics)","score":0.4338938593864441},{"id":"https://openalex.org/keywords/focus","display_name":"Focus (optics)","score":0.42482510209083557},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.3397625684738159},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.3367471694946289},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.18640798330307007},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.08807775378227234}],"concepts":[{"id":"https://openalex.org/C58581272","wikidata":"https://www.wikidata.org/wiki/Q12741163","display_name":"Workspace","level":3,"score":0.9326368570327759},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7499254941940308},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.6799240112304688},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.635486900806427},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.6055045127868652},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.5365868210792542},{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.5126311182975769},{"id":"https://openalex.org/C42812","wikidata":"https://www.wikidata.org/wiki/Q1082910","display_name":"Partition (number theory)","level":2,"score":0.48743394017219543},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.4373893141746521},{"id":"https://openalex.org/C204323151","wikidata":"https://www.wikidata.org/wiki/Q905424","display_name":"Range (aeronautics)","level":2,"score":0.4338938593864441},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.42482510209083557},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.3397625684738159},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.3367471694946289},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.18640798330307007},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.08807775378227234},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"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/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.0},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","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/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"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/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2883817.2883832","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2883817.2883832","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":29,"referenced_works":["https://openalex.org/W1492487737","https://openalex.org/W1512310098","https://openalex.org/W1526922602","https://openalex.org/W1544630839","https://openalex.org/W1560187488","https://openalex.org/W1574514837","https://openalex.org/W1607353007","https://openalex.org/W1970269621","https://openalex.org/W1970927851","https://openalex.org/W1972149633","https://openalex.org/W1985919024","https://openalex.org/W2003777434","https://openalex.org/W2034592322","https://openalex.org/W2041701185","https://openalex.org/W2050635183","https://openalex.org/W2064572756","https://openalex.org/W2082965709","https://openalex.org/W2083802276","https://openalex.org/W2094878426","https://openalex.org/W2100538121","https://openalex.org/W2115032016","https://openalex.org/W2116364955","https://openalex.org/W2123357397","https://openalex.org/W2132714442","https://openalex.org/W2151489480","https://openalex.org/W2151958719","https://openalex.org/W2158395308","https://openalex.org/W2165744968","https://openalex.org/W2186626863"],"related_works":["https://openalex.org/W1992503747","https://openalex.org/W2371519816","https://openalex.org/W2043154226","https://openalex.org/W2369529107","https://openalex.org/W2329043542","https://openalex.org/W2109948066","https://openalex.org/W1678858522","https://openalex.org/W3195090107","https://openalex.org/W1999333556","https://openalex.org/W2073535592"],"abstract_inverted_index":{"Motivated":[0],"by":[1,110,201],"the":[2,19,29,40,51,54,62,65,76,98,102,128,132,136,162,174,178,183,198],"provably-correct":[3],"execution":[4],"of":[5,21,24,31,53,135,157],"complex":[6],"reactive":[7],"tasks":[8],"for":[9,84,94],"robots":[10],"with":[11,125,186,209],"nonlinear,":[12],"under-actuated":[13],"dynamics,":[14,66],"our":[15,202],"focus":[16],"is":[17],"on":[18,101,192],"synthesis":[20,113,203],"a":[22,32,82,112,139,148,154,187,210,214],"library":[23],"low-level":[25,87],"controllers":[26,37,88,122,146,159,175,199],"that":[27,59,115,151,172],"implements":[28],"behaviors":[30,58,68],"high-level":[33,77,130,184],"controller.":[34],"The":[35],"synthesized":[36,103,124],"should":[38,69],"allow":[39],"robot":[41,140],"to":[42,44,75,127,160,176],"react":[43],"its":[45],"environment":[46],"whenever":[47],"dynamically":[48],"feasible":[49],"given":[50,64,129],"geometry":[52],"workspace.":[55],"For":[56],"any":[57],"cannot":[60],"guarantee":[61,161],"task":[63],"such":[67,86],"be":[70],"transformed":[71],"into":[72],"dynamically-informative":[73],"revisions":[74],"task.":[78,217],"We":[79,106,167,196],"therefore":[80],"propose":[81],"framework":[83,204],"synthesizing":[85],"and,":[89],"moreover,":[90],"offer":[91],"an":[92,170,206],"approach":[93,114,144,150],"re-partitioning":[95],"and":[96,138,180],"abstracting":[97],"system":[99],"based":[100],"controller":[104],"library.":[105],"accomplish":[107],"these":[108,193],"goals":[109],"introducing":[111],"we":[116],"call":[117],"conforming":[118],"funnels,":[119],"in":[120,205],"which":[121],"are":[123,165],"respect":[126],"behaviors,":[131],"geometrical":[133,163],"constraints":[134,164],"workspace,":[137],"dynamics":[141],"model.":[142],"Our":[143],"computes":[145],"using":[147],"verification":[149],"optimizes":[152],"over":[153],"wide":[155],"range":[156],"possible":[158],"satisfied.":[166],"also":[168],"devise":[169],"algorithm":[171],"uses":[173],"re-partition":[177],"workspace":[179],"automatically":[181],"adapt":[182],"specification":[185],"new":[188,194],"discrete":[189],"abstraction":[190],"generated":[191,200],"partitions.":[195],"demonstrate":[197],"experimental":[207],"setting":[208],"KUKA":[211],"youBot":[212],"executing":[213],"box":[215],"transportation":[216]},"counts_by_year":[{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":3},{"year":2018,"cited_by_count":5},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}