{"id":"https://openalex.org/W1892400794","doi":"https://doi.org/10.4230/lipics.fsttcs.2014.121","title":"Synchronizing Words for Weighted and Timed Automata","display_name":"Synchronizing Words for Weighted and Timed Automata","publication_year":2014,"publication_date":"2014-01-01","ids":{"openalex":"https://openalex.org/W1892400794","doi":"https://doi.org/10.4230/lipics.fsttcs.2014.121","mag":"1892400794"},"language":"en","primary_location":{"id":"pmh:oai:drops-oai.dagstuhl.de:4837","doi":null,"is_oa":true,"landing_page_url":"https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2014.121","pdf_url":"https://drops.dagstuhl.de/storage/00lipics/lipics-vol029-fsttcs2014/LIPIcs.FSTTCS.2014.121/LIPIcs.FSTTCS.2014.121.pdf","source":{"id":"https://openalex.org/S4377196569","display_name":"DROPS (Schloss Dagstuhl \u2013 Leibniz Center for Informatics)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I2799853480","host_organization_name":"Schloss Dagstuhl \u2013 Leibniz Center for Informatics","host_organization_lineage":["https://openalex.org/I2799853480"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"InProceedings"},"volume":null,"type":"article","is_traditional":true,"indexed_in":["datacite","doaj"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://drops.dagstuhl.de/storage/00lipics/lipics-vol029-fsttcs2014/LIPIcs.FSTTCS.2014.121/LIPIcs.FSTTCS.2014.121.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5102787606","display_name":"Laurent Doyen B","orcid":"https://orcid.org/0000-0003-3714-6145","observed_orcids":["https://orcid.org/0000-0003-3714-6145"]},"institutions":[{"id":"https://openalex.org/I11559806","display_name":"\u00c9cole Normale Sup\u00e9rieure Paris-Saclay","ror":"https://ror.org/00hx6zz33","country_code":"FR","type":"education","lineage":["https://openalex.org/I11559806","https://openalex.org/I277688954"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I4210104198","display_name":"Laboratoire Sp\u00e9cification et V\u00e9rification","ror":"https://ror.org/01kz1bj67","country_code":"FR","type":"facility","lineage":["https://openalex.org/I11559806","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I277688954","https://openalex.org/I4210104198","https://openalex.org/I4210159245"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Doyen, Laurent","raw_affiliation_strings":["Laboratoire Sp\u00e9cification and V\u00e9reification, CNRS, ENS Cachan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Laboratoire Sp\u00e9cification and V\u00e9reification, CNRS, ENS Cachan","institution_ids":["https://openalex.org/I11559806","https://openalex.org/I1294671590","https://openalex.org/I4210104198"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5049004032","display_name":"Line Juhl","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Juhl, Line","raw_affiliation_strings":["The Faculty of Engineering and Science (TECH)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The Faculty of Engineering and Science (TECH)","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069362159","display_name":"Kim G. Larsen","orcid":"https://orcid.org/0000-0002-5953-3384","observed_orcids":["https://orcid.org/0000-0002-5953-3384"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Larsen, Kim G.","raw_affiliation_strings":["CISS - Center for Embedded Software Systems"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CISS - Center for Embedded Software Systems","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5084605938","display_name":"Nicolas Markey","orcid":"https://orcid.org/0000-0003-1977-7525","observed_orcids":["https://orcid.org/0000-0003-1977-7525"]},"institutions":[{"id":"https://openalex.org/I11559806","display_name":"\u00c9cole Normale Sup\u00e9rieure Paris-Saclay","ror":"https://ror.org/00hx6zz33","country_code":"FR","type":"education","lineage":["https://openalex.org/I11559806","https://openalex.org/I277688954"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I4210104198","display_name":"Laboratoire Sp\u00e9cification et V\u00e9rification","ror":"https://ror.org/01kz1bj67","country_code":"FR","type":"facility","lineage":["https://openalex.org/I11559806","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I277688954","https://openalex.org/I4210104198","https://openalex.org/I4210159245"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Markey, Nicolas","raw_affiliation_strings":["Laboratoire Sp\u00e9cification and V\u00e9reification, CNRS, ENS Cachan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Laboratoire Sp\u00e9cification and V\u00e9reification, CNRS, ENS Cachan","institution_ids":["https://openalex.org/I11559806","https://openalex.org/I1294671590","https://openalex.org/I4210104198"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5005502598","display_name":"Mahsa Shirmohammadi","orcid":"https://orcid.org/0000-0002-7779-2339","observed_orcids":["https://orcid.org/0000-0002-7779-2339"]},"institutions":[{"id":"https://openalex.org/I11559806","display_name":"\u00c9cole Normale Sup\u00e9rieure Paris-Saclay","ror":"https://ror.org/00hx6zz33","country_code":"FR","type":"education","lineage":["https://openalex.org/I11559806","https://openalex.org/I277688954"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I4210104198","display_name":"Laboratoire Sp\u00e9cification et V\u00e9rification","ror":"https://ror.org/01kz1bj67","country_code":"FR","type":"facility","lineage":["https://openalex.org/I11559806","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I277688954","https://openalex.org/I4210104198","https://openalex.org/I4210159245"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Shirmohammadi, Mahsa","raw_affiliation_strings":["Laboratoire Sp\u00e9cification and V\u00e9reification, CNRS, ENS Cachan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Laboratoire Sp\u00e9cification and V\u00e9reification, CNRS, ENS Cachan","institution_ids":["https://openalex.org/I11559806","https://openalex.org/I1294671590","https://openalex.org/I4210104198"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.256,"has_fulltext":true,"cited_by_count":17,"citation_normalized_percentile":{"value":0.86393316,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":87,"max":97},"biblio":{"volume":"29","issue":null,"first_page":"121","last_page":"132"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.7416999936103821,"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/T11567","display_name":"semigroups and automata theory","score":0.7416999936103821,"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/T10142","display_name":"Formal Methods in Verification","score":0.2485000044107437,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.006200000178068876,"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/synchronizing-words","display_name":"synchronizing words","score":0.925000011920929},{"id":"https://openalex.org/keywords/weighted-automata","display_name":"weighted automata","score":0.9229999780654907},{"id":"https://openalex.org/keywords/timed-automata","display_name":"timed automata","score":0.9990000128746033},{"id":"https://openalex.org/keywords/deterministic-finite-automata","display_name":"deterministic finite automata","score":0.6359999775886536},{"id":"https://openalex.org/keywords/pspace-completeness","display_name":"PSPACE-completeness","score":0.7979999780654907},{"id":"https://openalex.org/keywords/exptime-completeness","display_name":"EXPTIME-completeness","score":0.7260000109672546},{"id":"https://openalex.org/keywords/undecidability","display_name":"undecidability","score":0.8259999752044678},{"id":"https://openalex.org/keywords/energy-constraints","display_name":"energy constraints","score":0.9290000200271606},{"id":"https://openalex.org/keywords/safety-constraints","display_name":"safety constraints","score":0.7839999794960022}],"concepts":[{"id":"https://openalex.org/C162932704","wikidata":"https://www.wikidata.org/wiki/Q1058791","display_name":"Synchronizing","level":3,"score":0.9212924242019653},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.6633753180503845},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4906805753707886},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2639014720916748},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.07596933841705322},{"id":"https://openalex.org/C761482","wikidata":"https://www.wikidata.org/wiki/Q118093","display_name":"Transmission (telecommunications)","level":2,"score":0.0}],"mesh":[],"locations_count":7,"locations":[{"id":"pmh:oai:drops-oai.dagstuhl.de:4837","doi":null,"is_oa":true,"landing_page_url":"https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2014.121","pdf_url":"https://drops.dagstuhl.de/storage/00lipics/lipics-vol029-fsttcs2014/LIPIcs.FSTTCS.2014.121/LIPIcs.FSTTCS.2014.121.pdf","source":{"id":"https://openalex.org/S4377196569","display_name":"DROPS (Schloss Dagstuhl \u2013 Leibniz Center for Informatics)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I2799853480","host_organization_name":"Schloss Dagstuhl \u2013 Leibniz Center for Informatics","host_organization_lineage":["https://openalex.org/I2799853480"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"InProceedings"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.679.5066","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.679.5066","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cassting-project.eu/wp-content/uploads/DJLMS-fsttcs14.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.680.4188","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.680.4188","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/rr-lsv-2013-15.pdf","raw_type":"text"},{"id":"pmh:oai:dipot.ulb.ac.be:2013/195986","doi":null,"is_oa":false,"landing_page_url":"http://hdl.handle.net/2013/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/195986","pdf_url":null,"source":{"id":"https://openalex.org/S4306401063","display_name":"D\u00e9p\u00f4t institutionnel de l'Universit\u00e9 libre de Bruxelles (Universit\u00e9 Libre de Bruxelles)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I132053463","host_organization_name":"Universit\u00e9 Libre de Bruxelles","host_organization_lineage":["https://openalex.org/I132053463"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Leibniz international proceedings in informatics, 29","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:pure.atira.dk:publications/45e3bbef-1796-4be1-8df2-94b94455adc0","doi":null,"is_oa":false,"landing_page_url":"https://vbn.aau.dk/da/publications/45e3bbef-1796-4be1-8df2-94b94455adc0","pdf_url":null,"source":{"id":"https://openalex.org/S4306401731","display_name":"VBN Forskningsportal (Aalborg Universitet)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I891191580","host_organization_name":"Aalborg University","host_organization_lineage":["https://openalex.org/I891191580"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Doyen, L, Juhl, L, Larsen, K G, Markey, N & Shirmohammadi, M 2014, Synchronizing words for weighted and timed automata. in Leibniz International Proceedings in Informatics, LIPIcs. vol. 29, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, pp. 121-132, 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, New Delhi, India, 15/12/2014. https://doi.org/10.4230/LIPIcs.FSTTCS.2014.121","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"doi:10.4230/lipics.fsttcs.2014.121","doi":"https://doi.org/10.4230/lipics.fsttcs.2014.121","is_oa":true,"landing_page_url":"https://doi.org/10.4230/lipics.fsttcs.2014.121","pdf_url":null,"source":{"id":"https://openalex.org/S4393917817","display_name":"Leibniz international proceedings in informatics","issn_l":"1868-8969","issn":["1868-8969"],"is_oa":true,"is_in_doaj":true,"is_core":false,"listed_in":["doaj","jufo-1","norway-1"],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"ConferencePaper"},{"id":"mag:1892400794","doi":null,"is_oa":false,"landing_page_url":"http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/DJLMS-fsttcs14.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306418453","display_name":"Foundations of Software Technology and Theoretical Computer Science","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":"International Conference on Foundation of Software Technology and Theoretical Computer Science","raw_type":null}],"best_oa_location":{"id":"pmh:oai:drops-oai.dagstuhl.de:4837","doi":null,"is_oa":true,"landing_page_url":"https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2014.121","pdf_url":"https://drops.dagstuhl.de/storage/00lipics/lipics-vol029-fsttcs2014/LIPIcs.FSTTCS.2014.121/LIPIcs.FSTTCS.2014.121.pdf","source":{"id":"https://openalex.org/S4377196569","display_name":"DROPS (Schloss Dagstuhl \u2013 Leibniz Center for Informatics)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I2799853480","host_organization_name":"Schloss Dagstuhl \u2013 Leibniz Center for Informatics","host_organization_lineage":["https://openalex.org/I2799853480"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"InProceedings"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320321390","display_name":"Fonds De La Recherche Scientifique - FNRS","ror":"https://ror.org/03q83t159"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W1892400794.pdf","grobid_xml":"https://content.openalex.org/works/W1892400794.grobid-xml"},"referenced_works_count":8,"referenced_works":["https://openalex.org/W1584138221","https://openalex.org/W1854454907","https://openalex.org/W1991980356","https://openalex.org/W2055081868","https://openalex.org/W2101508170","https://openalex.org/W2126105820","https://openalex.org/W2149532209","https://openalex.org/W2160533854"],"related_works":["https://openalex.org/W7099321290","https://openalex.org/W7100373912","https://openalex.org/W2950231091","https://openalex.org/W4324370661","https://openalex.org/W2222006297","https://openalex.org/W143622594","https://openalex.org/W2213301192","https://openalex.org/W32260586","https://openalex.org/W1854454907","https://openalex.org/W3029911457"],"abstract_inverted_index":{"The":[0],"problem":[1,27,40,59,115],"of":[2,10,17,65],"synchronizing":[3],"automata":[4,131],"is":[5,116],"concerned":[6],"with":[7,37,79,91],"the":[8,18,23,38,57,96,113,132,141,147],"existence":[9,39],"a":[11,92,102],"word":[12],"that":[13],"sends":[14],"all":[15],"states":[16,100],"automaton":[19,97],"to":[20,76,98,137],"one":[21],"and":[22,52,63,69,72,122,144],"same":[24],"state.":[25],"This":[26],"has":[28],"classically":[29],"been":[30],"studied":[31],"for":[32,50],"complete":[33],"deterministic":[34,68,110,142],"finite":[35],"automata,":[36,74,112],"being":[41],"NLOGSPACE-complete.":[42],"In":[43],"this":[44],"paper":[45],"we":[46],"consider":[47,56],"synchronizing-word":[48],"problems":[49,134],"weighted":[51,73,111],"timed":[53,71,130],"automata.":[54],"We":[55],"synchronization":[58,75,90,105,114,133],"in":[60,123,140,146],"several":[61],"variants":[62],"combinations":[64],"these,":[66],"including":[67],"non-deterministic":[70,148],"unique":[77],"location":[78],"possibly":[80],"different":[81],"clock":[82],"valuations":[83],"or":[84],"accumulated":[85],"weights,":[86],"as":[87,89],"well":[88],"safety":[93,127],"condition":[94],"forbidding":[95],"visit":[99],"outside":[101],"safety-set":[103],"during":[104],"(e.g.":[106],"energy":[107,120],"constraints).":[108],"For":[109,129],"proven":[117],"PSPACE-complete":[118,139],"under":[119,125],"constraints,":[121],"3-EXPSPACE":[124],"general":[126],"constraints.":[128],"are":[135],"shown":[136],"be":[138],"case,":[143],"undecidable":[145],"case.":[149]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2023,"cited_by_count":4},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2016-06-24T00:00:00"}