{"id":"https://openalex.org/W2020904702","doi":"https://doi.org/10.1109/tac.2014.2382155","title":"Safety Controller Synthesis Using Human Generated Trajectories","display_name":"Safety Controller Synthesis Using Human Generated Trajectories","publication_year":2014,"publication_date":"2014-12-19","ids":{"openalex":"https://openalex.org/W2020904702","doi":"https://doi.org/10.1109/tac.2014.2382155","mag":"2020904702"},"language":"en","primary_location":{"id":"doi:10.1109/tac.2014.2382155","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2014.2382155","pdf_url":null,"source":{"id":"https://openalex.org/S184954342","display_name":"IEEE Transactions on Automatic Control","issn_l":"0018-9286","issn":["0018-9286","1558-2523","2334-3303"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Automatic Control","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/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 Winn","raw_affiliation_strings":["Department of Electrical, Computer, and Systems Engineering, Rensselaer Polytechnic Institute, Troy, NY, USA","Dept. of Electr., Rensselaer Polytech. Inst., Troy, NY, USA#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical, Computer, and Systems Engineering, Rensselaer Polytechnic Institute, Troy, NY, USA","institution_ids":["https://openalex.org/I165799507"]},{"raw_affiliation_string":"Dept. of Electr., Rensselaer Polytech. Inst., Troy, NY, USA#TAB#","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, USA","Dept. of Electr., Rensselaer Polytech. Inst., Troy, NY, USA#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical, Computer, and Systems Engineering, Rensselaer Polytechnic Institute, Troy, NY, USA","institution_ids":["https://openalex.org/I165799507"]},{"raw_affiliation_string":"Dept. of Electr., Rensselaer Polytech. Inst., Troy, NY, USA#TAB#","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.7147,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.7140699,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"60","issue":"6","first_page":"1597","last_page":"1610"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9984999895095825,"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.9984999895095825,"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/T10586","display_name":"Robotic Path Planning Algorithms","score":0.9829999804496765,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9805999994277954,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.7779339551925659},{"id":"https://openalex.org/keywords/trajectory","display_name":"Trajectory","score":0.7450771331787109},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.5768083333969116},{"id":"https://openalex.org/keywords/lyapunov-function","display_name":"Lyapunov function","score":0.5590027570724487},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5348905920982361},{"id":"https://openalex.org/keywords/robustness","display_name":"Robustness (evolution)","score":0.5055232048034668},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3581070899963379},{"id":"https://openalex.org/keywords/control-engineering","display_name":"Control engineering","score":0.3211239278316498},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.2145887017250061},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.15150749683380127},{"id":"https://openalex.org/keywords/nonlinear-system","display_name":"Nonlinear system","score":0.12284120917320251},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.11417698860168457}],"concepts":[{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.7779339551925659},{"id":"https://openalex.org/C13662910","wikidata":"https://www.wikidata.org/wiki/Q193139","display_name":"Trajectory","level":2,"score":0.7450771331787109},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.5768083333969116},{"id":"https://openalex.org/C60640748","wikidata":"https://www.wikidata.org/wiki/Q2337858","display_name":"Lyapunov function","level":3,"score":0.5590027570724487},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5348905920982361},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.5055232048034668},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3581070899963379},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.3211239278316498},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.2145887017250061},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.15150749683380127},{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.12284120917320251},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.11417698860168457},{"id":"https://openalex.org/C1276947","wikidata":"https://www.wikidata.org/wiki/Q333","display_name":"Astronomy","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/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"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/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tac.2014.2382155","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2014.2382155","pdf_url":null,"source":{"id":"https://openalex.org/S184954342","display_name":"IEEE Transactions on Automatic Control","issn_l":"0018-9286","issn":["0018-9286","1558-2523","2334-3303"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Automatic Control","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.4399999976158142}],"awards":[{"id":"https://openalex.org/G3781219890","display_name":null,"funder_award_id":"CNS-1218109","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G6062704166","display_name":null,"funder_award_id":"CNS-0953976","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":45,"referenced_works":["https://openalex.org/W48920821","https://openalex.org/W582265575","https://openalex.org/W1508536183","https://openalex.org/W1519302343","https://openalex.org/W1576278728","https://openalex.org/W1594130515","https://openalex.org/W1603565383","https://openalex.org/W1676597814","https://openalex.org/W1781903909","https://openalex.org/W1887006513","https://openalex.org/W1997539213","https://openalex.org/W2011979623","https://openalex.org/W2032173185","https://openalex.org/W2035683813","https://openalex.org/W2041076275","https://openalex.org/W2044473985","https://openalex.org/W2065297540","https://openalex.org/W2079042739","https://openalex.org/W2079051276","https://openalex.org/W2095072256","https://openalex.org/W2099551858","https://openalex.org/W2114578185","https://openalex.org/W2116364955","https://openalex.org/W2133760360","https://openalex.org/W2134889984","https://openalex.org/W2137510998","https://openalex.org/W2138789407","https://openalex.org/W2140531311","https://openalex.org/W2141282920","https://openalex.org/W2150199801","https://openalex.org/W2151104204","https://openalex.org/W2156835128","https://openalex.org/W2156958982","https://openalex.org/W2159461839","https://openalex.org/W2164957184","https://openalex.org/W2166691751","https://openalex.org/W2169289043","https://openalex.org/W2296319761","https://openalex.org/W2733040459","https://openalex.org/W2963372593","https://openalex.org/W3210839039","https://openalex.org/W4205731808","https://openalex.org/W4232303308","https://openalex.org/W4250589301","https://openalex.org/W4292872153"],"related_works":["https://openalex.org/W1941703695","https://openalex.org/W3131574667","https://openalex.org/W4323768008","https://openalex.org/W4248382324","https://openalex.org/W4360995134","https://openalex.org/W2039473718","https://openalex.org/W2387529410","https://openalex.org/W3023605104","https://openalex.org/W2018658498","https://openalex.org/W2000675896"],"abstract_inverted_index":{"This":[0,113,147],"paper":[1],"focuses":[2],"on":[3],"the":[4,61,67,70,120,139,144,156,162,178],"task":[5],"of":[6,27,36,69,81,92,119,129,138,161],"safety":[7,179],"controller":[8,14,157,175],"synthesis,":[9],"that":[10,15,45,97,104,116,123,176],"is,":[11],"designing":[12],"a":[13,18,24,31,34,54,79,90,130,173],"will":[16,133],"take":[17],"system":[19,122],"from":[20],"any":[21,43,117],"point":[22,32],"within":[23,126,135],"compact":[25],"set":[26,35,91],"initial":[28,163],"states":[29],"to":[30,88,168],"inside":[33],"acceptable":[37],"goal":[38],"states,":[39],"while":[40],"never":[41],"entering":[42],"state":[44],"is":[46,66,124],"deemed":[47],"unsafe.":[48],"To":[49],"do":[50],"this":[51,86],"we":[52],"use":[53,85],"human":[55],"generated":[56],"trajectory-based":[57],"approach.":[58],"We":[59,77,165],"introduce":[60],"control":[62,71,95,149],"autobisimulation":[63],"function,":[64],"which":[65],"analog":[68],"Lyapunov":[72],"function":[73,87],"for":[74,101,158],"approximate":[75],"bisimulation.":[76],"consider":[78],"class":[80],"hybrid":[82],"systems":[83],"and":[84,110,150],"determine":[89],"admissible":[93],"feedback":[94,108,148],"laws":[96],"guarantee":[98],"trajectory":[99,118,132,141],"robustness":[100],"underlying":[102],"dynamics":[103],"are":[105],"linear":[106],"affine,":[107],"linearizable,":[109],"differentially":[111],"flat.":[112],"property":[114],"ensures":[115],"closed-loop":[121],"initialized":[125],"some":[127,136,159],"neighborhood":[128],"nominal":[131,140],"stay":[134],"tube":[137],"when":[142],"given":[143],"same":[145],"input.":[146],"input":[151],"can":[152],"be":[153],"used":[154],"as":[155],"subset":[160],"states.":[164],"demonstrate":[166],"how":[167],"combine":[169],"multiple":[170],"trajectories":[171],"into":[172],"synthesized":[174],"satisfies":[177],"problem.":[180]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":1},{"year":2015,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}