{"id":"https://openalex.org/W6977549884","doi":"https://doi.org/10.6094/unifr/14682","title":"The class of timed automata with quasi-equal clocks","display_name":"The class of timed automata with quasi-equal clocks","publication_year":2017,"publication_date":"2017-01-01","ids":{"openalex":"https://openalex.org/W6977549884","doi":"https://doi.org/10.6094/unifr/14682"},"language":"en","primary_location":{"id":"doi:10.6094/unifr/14682","is_oa":true,"landing_page_url":"https://doi.org/10.6094/unifr/14682","pdf_url":null,"source":{"id":"https://openalex.org/S4306401057","display_name":"FreiDok plus (Universit\u00e4tsbibliothek Freiburg)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I161046081","host_organization_name":"University of Freiburg","host_organization_lineage":["https://openalex.org/I161046081"],"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":null},"type":"other","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.6094/unifr/14682","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Herrera Salazar, Sergio Christian","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Herrera Salazar, Sergio Christian","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"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":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":true,"primary_topic":{"id":"https://openalex.org/T13787","display_name":"Globalization, Historical Perspectives, and International Relations","score":0.0934000015258789,"subfield":{"id":"https://openalex.org/subfields/3312","display_name":"Sociology and Political Science"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T13787","display_name":"Globalization, Historical Perspectives, and International Relations","score":0.0934000015258789,"subfield":{"id":"https://openalex.org/subfields/3312","display_name":"Sociology and Political Science"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T13711","display_name":"Environmental Science and Technology","score":0.0215000007301569,"subfield":{"id":"https://openalex.org/subfields/1303","display_name":"Biochemistry"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T13556","display_name":"Historical Influence and Diplomacy","score":0.020800000056624413,"subfield":{"id":"https://openalex.org/subfields/3320","display_name":"Political Science and International Relations"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/timed-automaton","display_name":"Timed automaton","score":0.7574999928474426},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.5799000263214111},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.5605000257492065},{"id":"https://openalex.org/keywords/interleaving","display_name":"Interleaving","score":0.5372999906539917},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.49570000171661377},{"id":"https://openalex.org/keywords/reset","display_name":"Reset (finance)","score":0.48010000586509705},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.4551999866962433},{"id":"https://openalex.org/keywords/scheme","display_name":"Scheme (mathematics)","score":0.38440001010894775}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7706000208854675},{"id":"https://openalex.org/C30788636","wikidata":"https://www.wikidata.org/wiki/Q7805517","display_name":"Timed automaton","level":3,"score":0.7574999928474426},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.5799000263214111},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.5605000257492065},{"id":"https://openalex.org/C28034677","wikidata":"https://www.wikidata.org/wiki/Q17092530","display_name":"Interleaving","level":2,"score":0.5372999906539917},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.49570000171661377},{"id":"https://openalex.org/C2779795794","wikidata":"https://www.wikidata.org/wiki/Q7315343","display_name":"Reset (finance)","level":2,"score":0.48010000586509705},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.4551999866962433},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.3847000002861023},{"id":"https://openalex.org/C77618280","wikidata":"https://www.wikidata.org/wiki/Q1155772","display_name":"Scheme (mathematics)","level":2,"score":0.38440001010894775},{"id":"https://openalex.org/C155837451","wikidata":"https://www.wikidata.org/wiki/Q1069144","display_name":"Clock drift","level":5,"score":0.37959998846054077},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.35899999737739563},{"id":"https://openalex.org/C28472234","wikidata":"https://www.wikidata.org/wiki/Q213666","display_name":"Real-time operating system","level":2,"score":0.3528999984264374},{"id":"https://openalex.org/C2778562939","wikidata":"https://www.wikidata.org/wiki/Q1298791","display_name":"Synchronization (alternating current)","level":3,"score":0.35100001096725464},{"id":"https://openalex.org/C60798267","wikidata":"https://www.wikidata.org/wiki/Q1226939","display_name":"Division (mathematics)","level":2,"score":0.3499000072479248},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3481999933719635},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3116999864578247},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.30309998989105225},{"id":"https://openalex.org/C52563298","wikidata":"https://www.wikidata.org/wiki/Q1413349","display_name":"Vector clock","level":5,"score":0.2919999957084656},{"id":"https://openalex.org/C117313154","wikidata":"https://www.wikidata.org/wiki/Q878344","display_name":"Time division multiple access","level":2,"score":0.2906000018119812},{"id":"https://openalex.org/C2776650193","wikidata":"https://www.wikidata.org/wiki/Q264661","display_name":"Obstacle","level":2,"score":0.28850001096725464},{"id":"https://openalex.org/C200130814","wikidata":"https://www.wikidata.org/wiki/Q362858","display_name":"Worst-case execution time","level":3,"score":0.28780001401901245},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.2736999988555908},{"id":"https://openalex.org/C151319957","wikidata":"https://www.wikidata.org/wiki/Q752739","display_name":"Asynchronous communication","level":2,"score":0.2637999951839447},{"id":"https://openalex.org/C2779110517","wikidata":"https://www.wikidata.org/wiki/Q1240788","display_name":"Supervisor","level":2,"score":0.2597000002861023}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.6094/unifr/14682","is_oa":true,"landing_page_url":"https://doi.org/10.6094/unifr/14682","pdf_url":null,"source":{"id":"https://openalex.org/S4306401057","display_name":"FreiDok plus (Universit\u00e4tsbibliothek Freiburg)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I161046081","host_organization_name":"University of Freiburg","host_organization_lineage":["https://openalex.org/I161046081"],"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":null}],"best_oa_location":{"id":"doi:10.6094/unifr/14682","is_oa":true,"landing_page_url":"https://doi.org/10.6094/unifr/14682","pdf_url":null,"source":{"id":"https://openalex.org/S4306401057","display_name":"FreiDok plus (Universit\u00e4tsbibliothek Freiburg)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I161046081","host_organization_name":"University of Freiburg","host_organization_lineage":["https://openalex.org/I161046081"],"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":null},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","score":0.4160100519657135,"display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"In":[0,231],"this":[1,232,253],"thesis":[2,233],"we":[3,234],"present":[4,235],"an":[5,236],"approach":[6,237,254,317],"for":[7,58,226,238,286,312],"reducing":[8,239],"the":[9,66,118,136,147,150,157,189,197,204,240,261,295,299,303,320],"number":[10,198,241],"of":[11,53,120,139,156,174,177,186,188,199,206,242,268,283,297,323],"quasi-equal":[12,22,115,133,167,190,200,243,258,327],"clocks":[13,19,38,42,168,201,259],"in":[14,34,46,159,196,289,302],"timed":[15,54,140,324],"automata.":[16,55],"Intuitively,":[17],"two":[18,37],"are":[20,39,43,164,314],"called":[21],"if":[23,26],"and":[24,98,123,245],"only":[25,29],"their":[27,269],"values":[28],"differ":[30],"at":[31,89,203],"time":[32,91,95],"points":[33],"which":[35,64,160],"those":[36,248],"reset.":[40],"Quasi-equal":[41],"typically":[44],"used":[45],"distributed":[47],"real-time":[48],"systems":[49],"modelled":[50],"with":[51,78,218,257,275,326],"networks":[52,256,263,313],"These":[56],"networks,":[57,291],"instance,":[59],"implement":[60],"a":[61,82,106,114,125,175,223],"time-triggered":[62],"architecture":[63],"uses":[65],"Time":[67],"Division":[68],"Multiple":[69],"Access":[70],"(TDMA)":[71],"scheme.":[72],"This":[73,192],"scheme":[74],"provides":[75],"system":[76],"components":[77],"exclusive":[79],"access":[80],"to":[81,294,319],"shared":[83],"medium":[84],"whenever":[85],"they":[86],"generate":[87],"events":[88],"predefined":[90],"points.":[92],"TDMA":[93],"divides":[94],"into":[96,100],"cycles":[97,99],"slots.":[101],"Each":[102],"component":[103,130],"is":[104,111,153,180,222],"allocated":[105],"unique":[107],"slot":[108],"whose":[109],"length":[110],"measured":[112],"by":[113,182,213],"clock.":[116,134],"At":[117],"end":[119,205],"each":[121,129,207],"cycle":[122],"before":[124],"new":[126],"one":[127,145],"begins,":[128],"resets":[131,143,163,187],"its":[132],"By":[135],"interleaving":[137],"semantics":[138],"automata":[141,325],"these":[142,162,215],"occur":[144],"after":[146],"other,":[148],"however,":[149],"same":[151,300],"configuration":[152],"reached":[154],"regardless":[155],"order":[158],"all":[161,183,265],"executed.":[165],"Resetting":[166],"induces":[169],"intermediate":[170,178,216,249],"configurations.":[171,250],"The":[172,209],"size":[173,193],"set":[176],"configurations":[179,217],"determined":[181],"possible":[184],"permutations":[185],"clocks.":[191,328],"increases":[194],"exponentially":[195],"reset":[202],"cycle.":[208],"verification":[210,284],"effort":[211],"induced":[212],"exploring":[214],"tools":[219],"like":[220],"Uppaal":[221],"major":[224],"obstacle":[225],"model":[227],"checking":[228],"industrial-size":[229],"networks.":[230,305],"clocks,":[244],"thereby":[246],"eliminating":[247],"We":[251],"apply":[252],"on":[255],"where":[260],"resulting":[262],"reflect":[264],"reachability":[266],"properties":[267,287,301],"respective":[270],"original":[271,304],"counterparts.":[272],"Our":[273],"experiments":[274],"nine":[276],"industrial":[277],"case":[278],"studies":[279],"show":[280],"significant":[281],"savings":[282],"costs":[285,296],"verified":[288],"transformed":[290],"as":[292],"compared":[293],"verifying":[298],"Since":[306],"neither":[307],"syntactic":[308],"nor":[309],"semantic":[310],"assumptions":[311],"required,":[315],"our":[316],"applies":[318],"whole":[321],"class":[322]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2025-10-10T00:00:00"}