{"id":"https://openalex.org/W2028045618","doi":"https://doi.org/10.1109/cdc.2013.6760487","title":"Feedback control law generation for safety controller synthesis","display_name":"Feedback control law generation for safety controller synthesis","publication_year":2013,"publication_date":"2013-12-01","ids":{"openalex":"https://openalex.org/W2028045618","doi":"https://doi.org/10.1109/cdc.2013.6760487","mag":"2028045618"},"language":"en","primary_location":{"id":"doi:10.1109/cdc.2013.6760487","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc.2013.6760487","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"52nd IEEE Conference on Decision 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/A5087295333","display_name":"Andrew Winn","orcid":null},"institutions":[{"id":"https://openalex.org/I165799507","display_name":"Rensselaer Polytechnic Institute","ror":"https://ror.org/01rtyzb94","country_code":"US","type":"education","lineage":["https://openalex.org/I165799507"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Andrew K. Winn","raw_affiliation_strings":["Department of Electrical Computer, and Systems Engineering, Rensselaer Polytechnic Institute, Troy, NY","Dept. of Electr., Comput., & Syst. Eng., Rensselaer Polytech. Inst., Troy, NY, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical Computer, and Systems Engineering, Rensselaer Polytechnic Institute, Troy, NY","institution_ids":["https://openalex.org/I165799507"]},{"raw_affiliation_string":"Dept. of Electr., Comput., & Syst. Eng., Rensselaer Polytech. Inst., Troy, NY, USA","institution_ids":["https://openalex.org/I165799507"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5029921181","display_name":"A. Agung Julius","orcid":"https://orcid.org/0000-0002-0970-3226"},"institutions":[{"id":"https://openalex.org/I165799507","display_name":"Rensselaer Polytechnic Institute","ror":"https://ror.org/01rtyzb94","country_code":"US","type":"education","lineage":["https://openalex.org/I165799507"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"A. Agung Julius","raw_affiliation_strings":["Department of Electrical Computer, and Systems Engineering, Rensselaer Polytechnic Institute, Troy, NY","Dept. of Electr., Comput., & Syst. Eng., Rensselaer Polytech. Inst., Troy, NY, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical Computer, and Systems Engineering, Rensselaer Polytechnic Institute, Troy, NY","institution_ids":["https://openalex.org/I165799507"]},{"raw_affiliation_string":"Dept. of Electr., Comput., & Syst. Eng., Rensselaer Polytech. Inst., Troy, NY, USA","institution_ids":["https://openalex.org/I165799507"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I165799507"],"apc_list":null,"apc_paid":null,"fwci":0.5447,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.57532808,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"3912","last_page":"3917"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9990000128746033,"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.9990000128746033,"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/T10876","display_name":"Fault Detection and Control Systems","score":0.9975000023841858,"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/T11236","display_name":"Control Systems and Identification","score":0.9951000213623047,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/robustness","display_name":"Robustness (evolution)","score":0.7576700448989868},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.7364970445632935},{"id":"https://openalex.org/keywords/open-loop-controller","display_name":"Open-loop controller","score":0.6694278717041016},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5752137899398804},{"id":"https://openalex.org/keywords/control-engineering","display_name":"Control engineering","score":0.5520393252372742},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.46215277910232544},{"id":"https://openalex.org/keywords/robust-control","display_name":"Robust control","score":0.45518773794174194},{"id":"https://openalex.org/keywords/piecewise","display_name":"Piecewise","score":0.4432537257671356},{"id":"https://openalex.org/keywords/trajectory","display_name":"Trajectory","score":0.42715004086494446},{"id":"https://openalex.org/keywords/affine-transformation","display_name":"Affine transformation","score":0.41793251037597656},{"id":"https://openalex.org/keywords/control-system","display_name":"Control system","score":0.3734484314918518},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.29118672013282776},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.2618841528892517},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.19720038771629333},{"id":"https://openalex.org/keywords/closed-loop","display_name":"Closed loop","score":0.15218043327331543},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.15150675177574158}],"concepts":[{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.7576700448989868},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.7364970445632935},{"id":"https://openalex.org/C161362739","wikidata":"https://www.wikidata.org/wiki/Q2301555","display_name":"Open-loop controller","level":3,"score":0.6694278717041016},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5752137899398804},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.5520393252372742},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.46215277910232544},{"id":"https://openalex.org/C31531917","wikidata":"https://www.wikidata.org/wiki/Q915157","display_name":"Robust control","level":3,"score":0.45518773794174194},{"id":"https://openalex.org/C164660894","wikidata":"https://www.wikidata.org/wiki/Q2037833","display_name":"Piecewise","level":2,"score":0.4432537257671356},{"id":"https://openalex.org/C13662910","wikidata":"https://www.wikidata.org/wiki/Q193139","display_name":"Trajectory","level":2,"score":0.42715004086494446},{"id":"https://openalex.org/C92757383","wikidata":"https://www.wikidata.org/wiki/Q382497","display_name":"Affine transformation","level":2,"score":0.41793251037597656},{"id":"https://openalex.org/C17500928","wikidata":"https://www.wikidata.org/wiki/Q959968","display_name":"Control system","level":2,"score":0.3734484314918518},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.29118672013282776},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.2618841528892517},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.19720038771629333},{"id":"https://openalex.org/C3019251811","wikidata":"https://www.wikidata.org/wiki/Q5135346","display_name":"Closed loop","level":2,"score":0.15218043327331543},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.15150675177574158},{"id":"https://openalex.org/C1276947","wikidata":"https://www.wikidata.org/wiki/Q333","display_name":"Astronomy","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},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","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/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","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/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/cdc.2013.6760487","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc.2013.6760487","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"52nd IEEE Conference on Decision and Control","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.8199999928474426,"id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320306078","display_name":"U.S. Department of Defense","ror":"https://ror.org/0447fe631"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W1481834144","https://openalex.org/W1508536183","https://openalex.org/W1552300625","https://openalex.org/W1980222041","https://openalex.org/W1995433848","https://openalex.org/W2011979623","https://openalex.org/W2013967953","https://openalex.org/W2032173185","https://openalex.org/W2041076275","https://openalex.org/W2044473985","https://openalex.org/W2051381803","https://openalex.org/W2076568469","https://openalex.org/W2079042739","https://openalex.org/W2079051276","https://openalex.org/W2119821739","https://openalex.org/W2133760360","https://openalex.org/W2138353699","https://openalex.org/W2140531311","https://openalex.org/W2159461839","https://openalex.org/W2169289043","https://openalex.org/W2963372593","https://openalex.org/W3210839039","https://openalex.org/W4239510810"],"related_works":["https://openalex.org/W4323768008","https://openalex.org/W1941703695","https://openalex.org/W4248382324","https://openalex.org/W3131574667","https://openalex.org/W4360995134","https://openalex.org/W3023605104","https://openalex.org/W2039473718","https://openalex.org/W2387529410","https://openalex.org/W2383578611","https://openalex.org/W2987583674"],"abstract_inverted_index":{"In":[0,90],"recent":[1],"papers":[2],"we":[3,93],"have":[4],"focused":[5],"on":[6],"the":[7,21,61,78,87,108,122,126],"task":[8],"of":[9,30,39,83,136],"safety":[10],"controller":[11,17,58],"synthesis,":[12],"that":[13,18,48,59,74],"is,":[14],"designing":[15],"a":[16,27,34,37,56,81,102,134],"will":[19],"take":[20],"system":[22,62,79,97],"from":[23,80,129],"any":[24,46],"point":[25,35],"within":[26],"compact":[28],"set":[29,38,135],"initial":[31,84],"states":[32,85],"to":[33,63,86,100,106,115,120,133],"inside":[36],"acceptable":[40],"goal":[41,88],"states,":[42],"while":[43],"never":[44],"entering":[45],"state":[47],"is":[49],"deemed":[50],"unsafe.":[51],"This":[52,111],"method":[53],"first":[54],"finds":[55,70],"feedback":[57,103],"causes":[60],"be":[64],"imbued":[65],"with":[66],"trajectory":[67],"robustness,":[68],"then":[69],"open-loop":[71,109],"reference":[72],"signals":[73,132],"each":[75],"safely":[76],"drive":[77],"subset":[82],"state.":[89],"this":[91],"paper":[92],"use":[94],"piecewise":[95,137],"affine":[96,138],"identification":[98],"techniques":[99],"generate":[101],"control":[104,139],"law":[105],"replace":[107],"signals.":[110],"provides":[112],"additional":[113],"robustness":[114],"unexpected":[116],"disturbances,":[117],"in":[118,125],"addition":[119],"reducing":[121],"memory":[123],"required":[124],"resulting":[127],"controller,":[128],"storing":[130],"many":[131],"laws.":[140]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2015,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}