{"id":"https://openalex.org/W2554022457","doi":"https://doi.org/10.1109/coase.2016.7743422","title":"Automatic synthesis of control alphabet policies","display_name":"Automatic synthesis of control alphabet policies","publication_year":2016,"publication_date":"2016-08-01","ids":{"openalex":"https://openalex.org/W2554022457","doi":"https://doi.org/10.1109/coase.2016.7743422","mag":"2554022457"},"language":"en","primary_location":{"id":"doi:10.1109/coase.2016.7743422","is_oa":false,"landing_page_url":"https://doi.org/10.1109/coase.2016.7743422","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 Automation Science and Engineering (CASE)","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/A5059979683","display_name":"Anastasia Mavrommati","orcid":"https://orcid.org/0000-0003-1809-2647"},"institutions":[{"id":"https://openalex.org/I111979921","display_name":"Northwestern University","ror":"https://ror.org/000e0be47","country_code":"US","type":"education","lineage":["https://openalex.org/I111979921"]},{"id":"https://openalex.org/I117942362","display_name":"Western Illinois University","ror":"https://ror.org/02sshz518","country_code":"US","type":"education","lineage":["https://openalex.org/I117942362"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Anastasia Mavrommati","raw_affiliation_strings":["Department of Mechanical Engineering, North-western University, IL, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mechanical Engineering, North-western University, IL, USA","institution_ids":["https://openalex.org/I117942362","https://openalex.org/I111979921"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5067725461","display_name":"Todd D. Murphey","orcid":"https://orcid.org/0000-0003-2262-8176"},"institutions":[{"id":"https://openalex.org/I111979921","display_name":"Northwestern University","ror":"https://ror.org/000e0be47","country_code":"US","type":"education","lineage":["https://openalex.org/I111979921"]},{"id":"https://openalex.org/I117942362","display_name":"Western Illinois University","ror":"https://ror.org/02sshz518","country_code":"US","type":"education","lineage":["https://openalex.org/I117942362"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Todd D. Murphey","raw_affiliation_strings":["Department of Mechanical Engineering, North-western University, IL, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mechanical Engineering, North-western University, IL, USA","institution_ids":["https://openalex.org/I117942362","https://openalex.org/I111979921"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"313","last_page":"320"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.989300012588501,"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.989300012588501,"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/T10653","display_name":"Robot Manipulation and Learning","score":0.9850999712944031,"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/T12784","display_name":"Modular Robots and Swarm Intelligence","score":0.9765999913215637,"subfield":{"id":"https://openalex.org/subfields/2210","display_name":"Mechanical 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/computer-science","display_name":"Computer science","score":0.7075917720794678},{"id":"https://openalex.org/keywords/inverted-pendulum","display_name":"Inverted pendulum","score":0.5713352560997009},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.560093343257904},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.544771134853363},{"id":"https://openalex.org/keywords/alphabet","display_name":"Alphabet","score":0.5248237252235413},{"id":"https://openalex.org/keywords/model-predictive-control","display_name":"Model predictive control","score":0.45423051714897156},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4180622100830078},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.4174751043319702},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.3944995701313019},{"id":"https://openalex.org/keywords/nonlinear-system","display_name":"Nonlinear system","score":0.3592429757118225},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.32722771167755127},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2529601454734802}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7075917720794678},{"id":"https://openalex.org/C192921069","wikidata":"https://www.wikidata.org/wiki/Q550134","display_name":"Inverted pendulum","level":3,"score":0.5713352560997009},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.560093343257904},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.544771134853363},{"id":"https://openalex.org/C112876837","wikidata":"https://www.wikidata.org/wiki/Q837518","display_name":"Alphabet","level":2,"score":0.5248237252235413},{"id":"https://openalex.org/C172205157","wikidata":"https://www.wikidata.org/wiki/Q1782962","display_name":"Model predictive control","level":3,"score":0.45423051714897156},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4180622100830078},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4174751043319702},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.3944995701313019},{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.3592429757118225},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.32722771167755127},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2529601454734802},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","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},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/coase.2016.7743422","is_oa":false,"landing_page_url":"https://doi.org/10.1109/coase.2016.7743422","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 Automation Science and Engineering (CASE)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.6600000262260437,"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":30,"referenced_works":["https://openalex.org/W1515032283","https://openalex.org/W1575974143","https://openalex.org/W1585334679","https://openalex.org/W1968115262","https://openalex.org/W1968470331","https://openalex.org/W1978347628","https://openalex.org/W2003225665","https://openalex.org/W2011979623","https://openalex.org/W2028678875","https://openalex.org/W2041521369","https://openalex.org/W2056864430","https://openalex.org/W2061705341","https://openalex.org/W2079042739","https://openalex.org/W2102347640","https://openalex.org/W2103202515","https://openalex.org/W2109407178","https://openalex.org/W2129231075","https://openalex.org/W2156174987","https://openalex.org/W2157945087","https://openalex.org/W2162385899","https://openalex.org/W2165364079","https://openalex.org/W2292274090","https://openalex.org/W2292783880","https://openalex.org/W2410835064","https://openalex.org/W2422050549","https://openalex.org/W2509969228","https://openalex.org/W2963437838","https://openalex.org/W3101211657","https://openalex.org/W3103482960","https://openalex.org/W4211147054"],"related_works":["https://openalex.org/W962423920","https://openalex.org/W127357700","https://openalex.org/W2724597727","https://openalex.org/W1480528870","https://openalex.org/W1600611831","https://openalex.org/W2508541108","https://openalex.org/W4243191745","https://openalex.org/W2315419748","https://openalex.org/W1029445510","https://openalex.org/W4312340169"],"abstract_inverted_index":{"This":[0],"paper":[1],"presents":[2,111],"a":[3,22,44,60,92],"method":[4,97],"for":[5,100,114],"synthesis":[6,69,72],"of":[7,14,118],"control":[8,25,31,37,45,117],"alphabet":[9,50],"policies,":[10],"given":[11,43],"continuum":[12],"descriptions":[13],"physical":[15],"systems":[16],"and":[17,82,105],"tasks.":[18],"First,":[19],"we":[20],"describe":[21],"model":[23],"predictive":[24],"scheme,":[26],"called":[27],"switched":[28],"sequential":[29],"action":[30],"(sSAC),":[32],"that":[33],"generates":[34],"global":[35],"state-feedback":[36],"policies":[38,51],"with":[39,126],"low":[40],"computational":[41],"cost,":[42],"alphabet.":[46],"During":[47],"synthesis,":[48],"sSAC":[49],"are":[52],"directly":[53],"encoded":[54],"into":[55],"finite":[56],"state":[57],"machines":[58],"using":[59,122],"cell":[61],"subdivision":[62],"approach.":[63],"As":[64],"opposed":[65],"to":[66],"existing":[67],"automata":[68],"methods,":[70],"controller":[71],"is":[73,98],"based":[74],"entirely":[75],"on":[76,87],"the":[77,101,106],"original":[78],"nonlinear":[79],"system":[80],"dynamics":[81],"thus":[83],"does":[84],"not":[85],"rely":[86],"but":[88],"rather":[89],"results":[90],"in":[91],"lower-complexity":[93],"symbolic":[94],"representation.":[95],"The":[96,109],"validated":[99],"cart-pendulum":[102],"inversion":[103],"problem":[104],"double-tank":[107],"system.":[108],"approach":[110],"an":[112],"opportunity":[113],"real-time":[115],"task-oriented":[116],"complex":[119],"robotic":[120],"platforms":[121],"exclusively":[123],"sensor":[124],"data":[125],"no":[127],"online":[128],"computation":[129],"involved.":[130]},"counts_by_year":[{"year":2020,"cited_by_count":2},{"year":2018,"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"}