{"id":"https://openalex.org/W2942822030","doi":"https://doi.org/10.13016/xbkj-fn1i","title":"CONTROLLER SYNTHESIS UNDER INFORMATION AND FINITE-TIME LOGICAL CONSTRAINTS","display_name":"CONTROLLER SYNTHESIS UNDER INFORMATION AND FINITE-TIME LOGICAL CONSTRAINTS","publication_year":2018,"publication_date":"2018-01-01","ids":{"openalex":"https://openalex.org/W2942822030","doi":"https://doi.org/10.13016/xbkj-fn1i","mag":"2942822030"},"language":"en","primary_location":{"id":"mag:2942822030","is_oa":false,"landing_page_url":"https://drum.lib.umd.edu/handle/1903/21642","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null},"type":"dissertation","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.13016/xbkj-fn1i","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5090451555","display_name":"Dipankar Maity","orcid":"https://orcid.org/0000-0002-7745-9405"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Maity, Dipankar","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5090451555"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T14420","display_name":"Advanced Research in Systems and Signal Processing","score":0.12680000066757202,"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"}},"topics":[{"id":"https://openalex.org/T14420","display_name":"Advanced Research in Systems and Signal Processing","score":0.12680000066757202,"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/T11053","display_name":"Process Optimization and Integration","score":0.11420000344514847,"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/controller","display_name":"Controller (irrigation)","score":0.5178864002227783},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5099672079086304},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.34727293252944946},{"id":"https://openalex.org/keywords/control-engineering","display_name":"Control engineering","score":0.32137972116470337},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.3038911521434784},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.19471701979637146},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.17026224732398987},{"id":"https://openalex.org/keywords/biology","display_name":"Biology","score":0.09693518280982971}],"concepts":[{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.5178864002227783},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5099672079086304},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.34727293252944946},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.32137972116470337},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.3038911521434784},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.19471701979637146},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.17026224732398987},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.09693518280982971},{"id":"https://openalex.org/C6557445","wikidata":"https://www.wikidata.org/wiki/Q173113","display_name":"Agronomy","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"mag:2942822030","is_oa":false,"landing_page_url":"https://drum.lib.umd.edu/handle/1903/21642","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":null},{"id":"doi:10.13016/xbkj-fn1i","is_oa":true,"landing_page_url":"https://doi.org/10.13016/xbkj-fn1i","pdf_url":null,"source":{"id":"https://openalex.org/S4306402644","display_name":"Digital Repository at the University of Maryland (University of Maryland College Park)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I66946132","host_organization_name":"University of Maryland, College Park","host_organization_lineage":["https://openalex.org/I66946132"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"thesis"}],"best_oa_location":{"id":"doi:10.13016/xbkj-fn1i","is_oa":true,"landing_page_url":"https://doi.org/10.13016/xbkj-fn1i","pdf_url":null,"source":{"id":"https://openalex.org/S4306402644","display_name":"Digital Repository at the University of Maryland (University of Maryland College Park)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I66946132","host_organization_name":"University of Maryland, College Park","host_organization_lineage":["https://openalex.org/I66946132"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"thesis"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2098052904","https://openalex.org/W2547619537","https://openalex.org/W2137704814","https://openalex.org/W3007567420","https://openalex.org/W2763611255","https://openalex.org/W3029573698","https://openalex.org/W3188389400","https://openalex.org/W1603607851","https://openalex.org/W2113717678","https://openalex.org/W2169498205","https://openalex.org/W2154270060","https://openalex.org/W3104168345","https://openalex.org/W2111826497","https://openalex.org/W2963657380","https://openalex.org/W2346406611","https://openalex.org/W2138141161","https://openalex.org/W1522939907","https://openalex.org/W2011515819","https://openalex.org/W2165364079","https://openalex.org/W2322346655"],"abstract_inverted_index":{"In":[0,52,117,367],"robotics,":[1],"networks,":[2],"and":[3,17,49,105,193,252,321,379,408,437,474],"many":[4,118],"related":[5],"fields,":[6],"a":[7,42,153,253,288,295,365,427,462,481],"typical":[8],"controller":[9,67,75,98,184,192,254,274,354,414,458,465,477,486],"design":[10,182,444],"problem":[11,62,292,356,373,383,401],"needs":[12],"to":[13,26,68,96,101,196,227,237,255,311,443,448,468,487],"address":[14,69],"both":[15],"logical":[16,21,327,378,392,452,472],"informational":[18,490],"constraints.":[19,381,393,453,491],"The":[20,269,332,353,382],"constraints":[22,38,72,261,281,328],"may":[23],"arise":[24],"due":[25],"the":[27,36,45,53,57,61,70,74,91,97,103,108,124,142,155,165,174,190,198,212,215,221,224,229,232,260,263,266,283,286,313,316,323,326,335,338,350,358,372,377,387,413,420,423,432,450,470],"complex":[28],"task":[29],"description":[30],"or":[31],"decision":[32],"making":[33],"process,":[34],"while":[35],"information-related":[37,71],"emerge":[39],"naturally":[40],"as":[41,242,294,364],"consequence":[43],"of":[44,56,63,110,214,265,285,298,301,315,325,334,337,349,374,389,391,406,422],"limitations":[46],"on":[47,177,262,273,282,329,345,419,435],"communication":[48,111,115],"computation":[50],"capabilities.":[51],"first":[54],"part":[55,271,368],"thesis,":[58],"we":[59,140,148,181,246,370],"consider":[60,78,141,371],"synthesizing":[64],"an":[65,150,243,250,308,319,341,456],"event-based":[66,257],"in":[73,99],"design.":[76],"We":[77,306,394,454],"dynamical":[79,424],"systems":[80,425],"that":[81,90,123,131,185,277,476],"are":[82,93,247],"operating":[83],"under":[84,259],"continuous":[85,132,146,445,463],"state":[86,267],"feedback.":[87],"This":[88],"assumes":[89],"measurements":[92,188],"continuously":[94],"transmitted":[95],"order":[100],"generate":[102],"input":[104],"thus,":[106],"increases":[107],"cost":[109],"by":[112,480],"requiring":[113],"huge":[114],"resources.":[116],"situations,":[119],"it":[120,171,239],"so":[121],"happens":[122],"measurement":[125,236],"does":[126],"not":[127],"change":[128],"fast":[129],"enough":[130],"transmission":[133],"is":[134,167,240,343,384,466,478],"required.":[135],"Taking":[136],"motivation":[137],"from":[138,160,439],"this,":[139],"case":[143],"where":[144,461],"instead":[145],"feedback":[147,446,464,485],"seek":[149],"intermittent-feedback.":[151],"As":[152],"result,":[154],"system":[156,222,233],"trajectory":[157,284],"will":[158,210,220],"deviate":[159],"its":[161],"ideal":[162],"behavior.":[163],"However,":[164],"question":[166],"how":[168],"much":[169],"would":[170],"deviate?":[172],"Given":[173],"allowed":[175],"bound":[176],"this":[178,201,330,400],"deviation,":[179],"can":[180,361],"some":[183],"requires":[186],"fewer":[187],"than":[189],"original":[191],"still":[194],"manages":[195],"keep":[197],"deviation":[199],"within":[200],"prescribed":[202,440],"bound?":[203],"Two":[204],"important":[205],"questions":[206],"remain:":[207],"1)":[208],"What":[209],"be":[211,362],"structure":[213],"(optimal)":[216,225],"controller?":[217],"2)":[218],"How":[219],"know":[223],"instances":[226],"transmit":[228],"measurement?":[230],"When":[231],"sends":[234],"out":[235],"controller,":[238],"called":[241],"``event\".":[244],"Thus,":[245],"looking":[248],"for":[249,399,412],"event-generator":[251],"perform":[256],"control":[258,442,447],"availability":[264],"information.":[268],"next":[270],"focuses":[272],"synthesis":[275,355,459],"problems":[276],"have":[278],"logical,":[279],"spatio-temporal":[280],"system;":[287],"robot":[289,317,339],"motion":[290,314],"planning":[291],"fits":[293],"good":[296],"example":[297],"these":[299],"kind":[300],"finite-time":[302],"logically":[303],"constrained":[304],"problems.":[305],"adopt":[307,455],"automata-based":[309],"approach":[310],"abstract":[312],"into":[318,340,426],"automata,":[320],"verify":[322],"satisfaction":[324],"automata.":[331],"abstraction":[333,421],"dynamics":[336],"automata":[342,360],"based":[344],"certain":[346],"reachability":[347],"guarantee":[348],"robot's":[351],"dynamics.":[352],"over":[357],"abstracted":[359],"represented":[363],"shortest-path-problem.":[366],"III,":[369],"jointly":[375],"addressing":[376],"information":[380],"approached":[385],"with":[386,402,489],"notion":[388],"robustness":[390,407],"propose":[395],"two":[396,403,409],"different":[397,404,410],"frameworks":[398],"notions":[405],"approaches":[411],"synthesis.":[415],"One":[416],"framework":[417],"relies":[418,434],"finite":[428],"transition":[429],"system,":[430],"whereas":[431],"other":[433],"tools":[436],"results":[438],"performance":[441],"satisfy":[449,469],"robust":[451],"hierarchical":[457],"method":[460],"designed":[467],"(robust)":[471],"constraints,":[473],"later,":[475],"replaced":[479],"suitable":[482],"event-triggered":[483],"intermittent":[484],"cope":[488]},"counts_by_year":[],"updated_date":"2025-11-06T06:51:31.235846","created_date":"2025-10-10T00:00:00"}