{"id":"https://openalex.org/W2914666479","doi":"https://doi.org/10.1145/3049797","title":"Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control","display_name":"Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control","publication_year":2017,"publication_date":"2017-04-13","ids":{"openalex":"https://openalex.org/W2914666479","doi":"https://doi.org/10.1145/3049797","mag":"2914666479"},"language":"en","primary_location":{"id":"doi:10.1145/3049797","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3049797","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":null,"raw_type":"proceedings"},"type":"paratext","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"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":null,"last_page":null},"is_retracted":false,"is_paratext":true,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.7190999984741211,"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"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.7190999984741211,"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"}},{"id":"https://openalex.org/T11986","display_name":"Scientific Computing and Data Management","score":0.6879000067710876,"subfield":{"id":"https://openalex.org/subfields/1802","display_name":"Information Systems and Management"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.6263999938964844,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/computer-science","display_name":"Computer science","score":0.6542668342590332},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5214475989341736},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.4598809480667114},{"id":"https://openalex.org/keywords/the-internet","display_name":"The Internet","score":0.428178071975708},{"id":"https://openalex.org/keywords/telecommunications","display_name":"Telecommunications","score":0.42048153281211853},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3162476122379303},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.22193357348442078},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.09726125001907349}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6542668342590332},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5214475989341736},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.4598809480667114},{"id":"https://openalex.org/C110875604","wikidata":"https://www.wikidata.org/wiki/Q75","display_name":"The Internet","level":2,"score":0.428178071975708},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.42048153281211853},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3162476122379303},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.22193357348442078},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.09726125001907349}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3049797","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3049797","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":null,"raw_type":"proceedings"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9","score":0.5699999928474426}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2065457896","https://openalex.org/W3173234801","https://openalex.org/W2167984027","https://openalex.org/W3021302227","https://openalex.org/W10630519","https://openalex.org/W1919377569","https://openalex.org/W3144288563","https://openalex.org/W3123907821","https://openalex.org/W2382319620","https://openalex.org/W2164026370"],"abstract_inverted_index":{"Welcome":[0],"to":[1,125,132,198,249,281,295,310,354,366,370,382,385,390,483,517,597],"the":[2,5,23,71,82,89,99,108,137,155,163,170,200,205,227,236,255,274,289,296,303,311,326,331,346,358,377,386,391,395,404,467,473,478,485,491,495,520,530,536,571,585],"proceedings":[3,537],"of":[4,29,70,180,194,204,273,321,330,349,376,447,455,466,477,487,509,519,581,593],"20th":[6,586],"ACM":[7],"International":[8,83,90,109],"Conference":[9,84,91,110],"on":[10,27,85,92,111,452,542],"Hybrid":[11],"Systems:":[12],"Computation":[13],"and":[14,39,79,101,104,114,117,143,146,202,218,222,246,263,298,356,368,373,399,408,413,560],"Control":[15],"(HSCC'17),":[16],"held":[17,67,135],"in":[18,42,58,95,136,154,212,226,235,254,394,459,472,490,535,595],"Pittsburgh,":[19],"Pennsylvania.":[20],"HSCC":[21,126,181,228,397,417,425,479,546,582],"is":[22,66,130,165,173,210,462,482,584],"premier":[24],"research":[25,460],"conference":[26,156,164],"foundations":[28],"Cyber-Physical":[30,86],"Systems.":[31],"It":[32],"covers":[33],"design,":[34],"analysis,":[35],"control":[36],"synthesis":[37],"techniques":[38],"their":[40,251,264,543],"applications":[41],"various":[43],"domains":[44],"such":[45],"as":[46,55,57,68,232,234],"autonomous":[47],"vehicles,":[48],"robotics,":[49],"mixed":[50],"signal":[51],"circuits,":[52],"infrastructure":[53],"networks,":[54],"well":[56,233],"biochemical":[59],"models":[60],"that":[61,129,342,527],"demonstrate":[62],"hybrid":[63],"behavior.":[64],"HSCC'17":[65],"part":[69],"10th":[72],"Cyber":[73],"Physical":[74],"Systems":[75,87],"Week":[76],"(CPS":[77],"Week'17),":[78],"located":[80],"with":[81,538],"(ICCPS),":[88],"Information":[93],"Processing":[94],"Sensor":[96],"Networks":[97],"(IPSN),":[98],"Real-Time":[100],"Embedded":[102],"Technology":[103],"Applications":[105],"Symposium":[106],"(RTAS),":[107],"Internet-ofthings:":[112],"Design":[113],"Implementation":[115],"(IOTDI),":[116],"several":[118,435,598],"CPSWeek":[119,406],"Workshops.":[120],"There":[121],"were":[122,150,224,242,279,293,307,316,364,401],"76":[123],"submissions":[124,245],"2017---a":[127],"number":[128],"comparable":[131],"recent":[133],"HSCCs":[134],"United":[138],"States.":[139],"25":[140],"regular":[141,168],"papers":[142,149,169,253,392,461,492,526],"4":[144,269],"tool":[145],"case":[147],"study":[148],"accepted":[151],"for":[152,162,167,271,283,416,494],"inclusion":[153],"program.":[157],"The":[158,208,220,277,313,411,475,497,525],"overall":[159],"acceptance":[160,171],"rate":[161,172],"38%;":[166],"39%.":[174],"More":[175],"information":[176],"about":[177],"previous":[178],"editions":[179],"can":[182],"be":[183],"found":[184],"at":[185,267,403,438,513],"http://www.hscc-conference.org.":[186],"This":[187],"year":[188],"we":[189],"introduced":[190],"a":[191,284,374,427,551,556,561],"light":[192],"version":[193],"double":[195],"blind":[196],"reviewing":[197],"improve":[199,484],"quality":[201],"integrity":[203],"review":[206],"process.":[207],"process":[209,223,481,532],"time-tested":[211],"other":[213,439],"conferences":[214,440],"like":[215],"SIGCOMM,":[216],"PLDI,":[217],"CAV.":[219],"policies":[221],"disseminated":[225],"2017":[229,547,583],"website":[230],"(http://hscc2017.ece.illinois.edu)":[231],"Calls":[237],"For":[238,288],"Papers.":[239],"Author's":[240],"names":[241],"omitted":[243],"from":[244,302],"authors":[247,282,304],"had":[248],"cite":[250],"own":[252],"third":[256],"person.":[257],"Fifty":[258],"Program":[259],"Committee":[260,508],"(PC)":[261],"members":[262,335],"sub-reviewers":[265],"provided":[266,336,345],"least":[268,514],"reviews":[270,278,344],"each":[272,518],"anonymized":[275],"submissions.":[276],"sent":[280],"5-day":[285],"rebuttal":[286],"period.":[287],"rebuttal,":[290],"author":[291,371],"identities":[292],"disclosed":[294],"reviewers,":[297],"optional":[299],"auxiliary":[300],"material":[301],"(proofs":[305],"etc.)":[306],"made":[308,317],"available":[309],"PC.":[312],"final":[314],"decisions":[315],"after":[318],"two":[319],"weeks":[320],"vigorous":[322],"on-line":[323,378],"discussions":[324,379],"amongst":[325],"PC":[327],"members.":[328],"Most":[329],"technical":[332],"program":[333],"committee":[334],"excellent,":[337],"in-depth":[338],"reviews.":[339],"We":[340],"checked":[341],"all":[343,446],"appropriate":[347],"level":[348],"detail,":[350],"gave":[351],"actionable":[352],"feedback":[353,384],"authors,":[355],"struck":[357],"right":[359],"tone.":[360],"In":[361,388],"addition,":[362],"reviewers":[363],"directed":[365],"read":[367],"respond":[369],"responses,":[372],"summary":[375],"was":[380,418,499],"included":[381],"provide":[383],"authors.":[387],"addition":[389,596],"appearing":[393],"proceedings,":[396],"demos":[398],"posters":[400],"presented":[402,458],"joint":[405],"Poster":[407,414],"Demo":[409,412],"session.":[410],"session":[415],"chaired":[419],"by":[420,501,505,570,575,590],"Akshay":[421],"Rajhans.":[422],"Since":[423],"2014,":[424],"features":[426,548],"Repeatability":[428],"Evaluation":[429],"(RE)":[430],"process,":[431],"which":[432],"draws":[433],"upon":[434],"similar":[436],"efforts":[437],"(SIGMOD,":[441],"SAS,":[442],"CAV,":[443],"ECOOP,":[444],"OOPSLA,":[445],"them":[448],"having":[449],"an":[450,506,539],"emphasis":[451],"\"artifacts\").":[453],"Re-creation":[454],"computational":[456,488],"elements":[457],"challenging":[463],"because":[464],"details":[465],"implementation":[468],"are":[469,533],"unavoidably":[470],"absent":[471],"paper.":[474],"goal":[476],"RE":[480,507,523,531,540,563],"reproducibility":[486],"results":[489],"selected":[493],"conference.":[496],"effort":[498],"led":[500],"Sergiy":[502],"Bogomolov,":[503],"aided":[504],"21":[510],"researchers,":[511],"providing":[512],"3":[515],"evaluations":[516],"14":[521],"submitted":[522],"packages.":[524],"have":[528,567],"passed":[529],"highlighted":[534],"stamp":[541],"first":[544],"page.":[545],"three":[549],"awards:":[550],"best":[552,557,562],"student":[553],"paper":[554],"award,":[555,559],"poster/demo":[558],"award.":[564],"These":[565],"awards":[566],"been":[568],"administered":[569],"Awards":[572],"Committee,":[573],"headed":[574],"Ricardo":[576],"Sanfelice.":[577],"A":[578],"significant":[579],"highlight":[580],"Anniversary":[587],"Invited":[588],"Talk":[589],"Russ":[591],"Tedrake":[592],"MIT,":[594],"CPSWeek'17":[599],"plenary":[600],"talks.":[601]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}