{"id":"https://openalex.org/W2607489572","doi":"https://doi.org/10.1145/3049797.3049821","title":"Robust Model Checking of Timed Automata under Clock Drifts","display_name":"Robust Model Checking of Timed Automata under Clock Drifts","publication_year":2017,"publication_date":"2017-04-13","ids":{"openalex":"https://openalex.org/W2607489572","doi":"https://doi.org/10.1145/3049797.3049821","mag":"2607489572"},"language":"en","primary_location":{"id":"doi:10.1145/3049797.3049821","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3049797.3049821","pdf_url":"http://dl.acm.org/ft_gateway.cfm?id=3049821&type=pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"http://dl.acm.org/ft_gateway.cfm?id=3049821&type=pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5058817216","display_name":"Nima Roohi","orcid":"https://orcid.org/0000-0003-2025-0528"},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Nima Roohi","raw_affiliation_strings":["University of Illinois Urbana-Champaign, Urbana, IL, USA"],"affiliations":[{"raw_affiliation_string":"University of Illinois Urbana-Champaign, Urbana, IL, USA","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068080537","display_name":"Pavithra Prabhakar","orcid":"https://orcid.org/0000-0002-5368-3234"},"institutions":[{"id":"https://openalex.org/I189590672","display_name":"Kansas State University","ror":"https://ror.org/05p1j8758","country_code":"US","type":"education","lineage":["https://openalex.org/I189590672"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Pavithra Prabhakar","raw_affiliation_strings":["Kansas State University, Manhattan, KS, USA"],"affiliations":[{"raw_affiliation_string":"Kansas State University, Manhattan, KS, USA","institution_ids":["https://openalex.org/I189590672"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5076852218","display_name":"Mahesh Viswanathan","orcid":"https://orcid.org/0000-0001-7977-0080"},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Mahesh Viswanathan","raw_affiliation_strings":["University of Illinois Urbana-Champaign, Urbana, IL, USA"],"affiliations":[{"raw_affiliation_string":"University of Illinois Urbana-Champaign, Urbana, IL, USA","institution_ids":["https://openalex.org/I157725225"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5058817216"],"corresponding_institution_ids":["https://openalex.org/I157725225"],"apc_list":null,"apc_paid":null,"fwci":0.7029,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.70760363,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"153","last_page":"162"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":1.0,"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":1.0,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9976999759674072,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.996999979019165,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7403905391693115},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.6657807230949402},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.6304729580879211},{"id":"https://openalex.org/keywords/timed-automaton","display_name":"Timed automaton","score":0.6203660368919373},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.27854013442993164},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.24885493516921997}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7403905391693115},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.6657807230949402},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.6304729580879211},{"id":"https://openalex.org/C30788636","wikidata":"https://www.wikidata.org/wiki/Q7805517","display_name":"Timed automaton","level":3,"score":0.6203660368919373},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.27854013442993164},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.24885493516921997}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3049797.3049821","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3049797.3049821","pdf_url":"http://dl.acm.org/ft_gateway.cfm?id=3049821&type=pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3049797.3049821","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3049797.3049821","pdf_url":"http://dl.acm.org/ft_gateway.cfm?id=3049821&type=pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G6324027299","display_name":null,"funder_award_id":"CNS 1329991, CAREER 1552668, CCF 1422798","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7180424753","display_name":null,"funder_award_id":"FA9950-15-1-0059","funder_id":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320338279","display_name":"Air Force Office of Scientific Research","ror":"https://ror.org/011e9bt93"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2607489572.pdf","grobid_xml":"https://content.openalex.org/works/W2607489572.grobid-xml"},"referenced_works_count":21,"referenced_works":["https://openalex.org/W125598877","https://openalex.org/W128430150","https://openalex.org/W1480878841","https://openalex.org/W1484364085","https://openalex.org/W1517942155","https://openalex.org/W1537691540","https://openalex.org/W1555222326","https://openalex.org/W1584555738","https://openalex.org/W1594593035","https://openalex.org/W1878074184","https://openalex.org/W1992626344","https://openalex.org/W2000947342","https://openalex.org/W2023499821","https://openalex.org/W2065323166","https://openalex.org/W2101508170","https://openalex.org/W2120338947","https://openalex.org/W2133170941","https://openalex.org/W2163590987","https://openalex.org/W4245606633","https://openalex.org/W6605297199","https://openalex.org/W6674694394"],"related_works":["https://openalex.org/W1750171350","https://openalex.org/W2095644384","https://openalex.org/W1571606103","https://openalex.org/W1903000972","https://openalex.org/W2148140319","https://openalex.org/W2035000455","https://openalex.org/W2569130014","https://openalex.org/W2121845202","https://openalex.org/W2746280673","https://openalex.org/W2560415449"],"abstract_inverted_index":{"Timed":[0],"automata":[1,34,48],"have":[2,18,44],"an":[3],"idealized":[4],"semantics":[5],"where":[6],"clocks":[7,86,111,117,139],"are":[8,87,95,112,120,140],"assumed":[9],"to":[10,29,61,89],"be":[11,24,37,49],"perfectly":[12],"continuous":[13],"and":[14,16,118,124],"synchronized,":[15],"guards":[17,94,119],"infinite":[19],"precision.":[20],"These":[21],"assumptions":[22],"cannot":[23],"realized":[25],"physically.":[26],"In":[27,99,149],"order":[28],"ensure":[30],"that":[31,46,77,161],"correct":[32],"timed":[33,47,56,136,159],"designs":[35],"can":[36,127],"implemented":[38],"on":[39,157],"real-time":[40],"platforms,":[41],"several":[42],"authors":[43],"suggested":[45],"stud-":[50],"ied":[51],"under":[52,169],"robust":[53],"semantics.":[54],"A":[55],"automaton":[57,79,137,160],"H":[58],"is":[59,68,122],"said":[60],"robustly":[62],"satisfy":[63],"a":[64,69,73,134],"property":[65,82],"if":[66],"there":[67],"positive":[70,74],"--":[71,75],"and/or":[72,93],"such":[76],"the":[78,81,85,129,154,158,171],"satisfies":[80],"even":[83],"when":[84,109,115,138],"allowed":[88],"drift":[90],"by":[91,97,142],"epsilon":[92],"enlarged":[96],"delta.":[98],"this":[100],"paper":[101],"we":[102,151],"show":[103],"that,":[104],"1.":[105],"checking":[106],"omega-regular":[107],"properties":[108],"only":[110,165],"perturbed":[113],"or":[114],"both":[116],"perturbed,":[121],"PSPACE-complete;":[123],"2.":[125],"one":[126],"compute":[128],"exact":[130],"reachable":[131],"set":[132],"of":[133],"bounded":[135],"drifted":[141],"infinitesimally":[143],"small":[144],"amount,":[145],"using":[146],"polynomial":[147],"space.":[148],"particular,":[150],"re-":[152],"move":[153],"restrictive":[155],"assumption":[156],"its":[162],"region":[163],"graph":[164],"contains":[166],"progress":[167],"cycles,":[168],"which":[170],"second":[172],"result":[173],"above":[174],"has":[175],"been":[176],"previously":[177],"established.":[178]},"counts_by_year":[{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}