<?xml version="1.0" encoding="utf-8"?>
<TEI xmlns="http://www.tei-c.org/ns/1.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:hal="http://hal.archives-ouvertes.fr/" xmlns:gml="http://www.opengis.net/gml/3.3/" xmlns:gmlce="http://www.opengis.net/gml/3.3/ce" version="1.1" xsi:schemaLocation="http://www.tei-c.org/ns/1.0 http://api.archives-ouvertes.fr/documents/aofr-sword.xsd">
  <teiHeader>
    <fileDesc>
      <titleStmt>
        <title>HAL TEI export of hal-02060024</title>
      </titleStmt>
      <publicationStmt>
        <distributor>CCSD</distributor>
        <availability status="restricted">
          <licence target="https://creativecommons.org/publicdomain/zero/1.0/">CC0 1.0 - Universal</licence>
        </availability>
        <date when="2026-05-19T10:25:40+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Deriving synchronizing and homing sequences for input/output automata</title>
            <author role="aut">
              <persName>
                <forename type="first">Natalia</forename>
                <surname>Kushik</surname>
              </persName>
              <email type="md5">2baf81e2eab784189f8610d98e7979c0</email>
              <email type="domain">gamil.com</email>
              <idno type="idhal" notation="string">natalia-kushik</idno>
              <idno type="idhal" notation="numeric">1026232</idno>
              <idno type="halauthorid" notation="string">683354-1026232</idno>
              <affiliation ref="#struct-563936"/>
              <affiliation ref="#struct-95599"/>
              <affiliation ref="#struct-442703"/>
              <affiliation ref="#struct-441569"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Nina</forename>
                <surname>Yevtushenko</surname>
              </persName>
              <idno type="idhal" notation="numeric">758849</idno>
              <idno type="halauthorid" notation="string">236899-758849</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-4006-1161</idno>
              <idno type="IDREF">https://www.idref.fr/190704918</idno>
              <affiliation ref="#struct-481443"/>
              <affiliation ref="#struct-308472"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Igor</forename>
                <surname>Burdonov</surname>
              </persName>
              <idno type="halauthorid">1505260-0</idno>
              <affiliation ref="#struct-481443"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Alexandre</forename>
                <surname>Kossachev</surname>
              </persName>
              <idno type="halauthorid">1505261-0</idno>
              <affiliation ref="#struct-481443"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Médiathèque</forename>
                <surname>Télécom SudParis &amp; Institut Mines-Télécom Business School</surname>
              </persName>
              <email type="md5">8d9568058c47dcee2bc21ac2481f44c9</email>
              <email type="domain">imtbs-tsp.eu</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2019-03-07 10:29:59</date>
              <date type="whenModified">2026-02-07 05:16:12</date>
              <date type="whenReleased">2019-03-07 10:29:59</date>
              <date type="whenProduced">2019-03-04</date>
              <ref type="externalLink" target="https://www.mais-journal.ru/jour/article/download/610/474"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="142673">
                <persName>
                  <forename>Médiathèque</forename>
                  <surname>Télécom SudParis &amp; Institut Mines-Télécom Business School</surname>
                </persName>
                <email type="md5">8d9568058c47dcee2bc21ac2481f44c9</email>
                <email type="domain">imtbs-tsp.eu</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-02060024</idno>
            <idno type="halUri">https://hal.science/hal-02060024</idno>
            <idno type="halBibtex">kushik:hal-02060024</idno>
            <idno type="halRefHtml">&lt;i&gt;Automatic Control and Computer Sciences&lt;/i&gt;, 2019, 52 (7), pp.589 - 595. &lt;a target="_blank" href="https://dx.doi.org/10.3103/S0146411618070167"&gt;&amp;#x27E8;10.3103/S0146411618070167&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">Automatic Control and Computer Sciences, 2019, 52 (7), pp.589 - 595. &amp;#x27E8;10.3103/S0146411618070167&amp;#x27E9;</idno>
            <availability status="restricted"/>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="TELECOM-SUDPARIS" corresp="INSTITUT-MINES-TELECOM">Télécom SudParis</idno>
            <idno type="stamp" n="UNIV-PARIS-SACLAY">Université Paris-Saclay</idno>
            <idno type="stamp" n="TELECOM-SUDPARIS-SACLAY" corresp="UNIV-PARIS-SACLAY">TELECOM-SUDPARIS-SACLAY</idno>
            <idno type="stamp" n="INSTITUTS-TELECOM">composantes instituts telecom </idno>
            <idno type="stamp" n="INSTITUT-MINES-TELECOM">Institut Mines Telecom</idno>
            <idno type="stamp" n="IP-PARIS-DEPARTEMENT-MATHEMATIQUES">Département de Mathèmatiques</idno>
            <idno type="stamp" n="IP-PARIS-MATHEMATIQUES">IP Paris Département de Mathématiques</idno>
            <idno type="stamp" n="SAMOVAR">Services répartis, Architectures, Modélisation, Validation, Administration des Réseaux</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Deriving synchronizing and homing sequences for input/output automata</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Natalia</forename>
                    <surname>Kushik</surname>
                  </persName>
                  <email type="md5">2baf81e2eab784189f8610d98e7979c0</email>
                  <email type="domain">gamil.com</email>
                  <idno type="idhal" notation="string">natalia-kushik</idno>
                  <idno type="idhal" notation="numeric">1026232</idno>
                  <idno type="halauthorid" notation="string">683354-1026232</idno>
                  <affiliation ref="#struct-563936"/>
                  <affiliation ref="#struct-95599"/>
                  <affiliation ref="#struct-442703"/>
                  <affiliation ref="#struct-441569"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Nina</forename>
                    <surname>Yevtushenko</surname>
                  </persName>
                  <idno type="idhal" notation="numeric">758849</idno>
                  <idno type="halauthorid" notation="string">236899-758849</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-4006-1161</idno>
                  <idno type="IDREF">https://www.idref.fr/190704918</idno>
                  <affiliation ref="#struct-481443"/>
                  <affiliation ref="#struct-308472"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Igor</forename>
                    <surname>Burdonov</surname>
                  </persName>
                  <idno type="halauthorid">1505260-0</idno>
                  <affiliation ref="#struct-481443"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Alexandre</forename>
                    <surname>Kossachev</surname>
                  </persName>
                  <idno type="halauthorid">1505261-0</idno>
                  <affiliation ref="#struct-481443"/>
                </author>
              </analytic>
              <monogr>
                <idno type="localRef">19584</idno>
                <idno type="halJournalId" status="VALID">151988</idno>
                <idno type="issn">0146-4116</idno>
                <title level="j">Automatic Control and Computer Sciences</title>
                <imprint>
                  <publisher>Springer</publisher>
                  <biblScope unit="volume">52</biblScope>
                  <biblScope unit="issue">7</biblScope>
                  <biblScope unit="pp">589 - 595</biblScope>
                  <date type="datePub">2019-03-04</date>
                  <date type="dateEpub">2018-12</date>
                </imprint>
              </monogr>
              <idno type="doi">10.3103/S0146411618070167</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">Input/output automata</term>
                <term xml:lang="en">Synchronizing sequence</term>
                <term xml:lang="en">Homing sequence</term>
              </keywords>
              <classCode scheme="halDomain" n="info.info-sc">Computer Science [cs]/Symbolic Computation [cs.SC]</classCode>
              <classCode scheme="halDomain" n="info.info-cc">Computer Science [cs]/Computational Complexity [cs.CC]</classCode>
              <classCode scheme="halTypology" n="ART">Journal articles</classCode>
              <classCode scheme="halOldTypology" n="ART">Journal articles</classCode>
              <classCode scheme="halTreeTypology" n="ART">Journal articles</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>The paper considers the problems of checking the existence and synthesis of synchronizing and homing sequences for finite input/output automata. The relevant sequences can be used when identifying the state of the system under consideration after applying the proper input sequence. In the model considered in the study, the actions are divided into inputs and outputs, however, there are no explicitly specified sets of initial and final states. The article defines the concepts of synchronizing and homing sequences and suggests methods for their synthesis for a special class of input/output automata, which have transitions in each state on either input or output actions; in addition, there are no cycles marked with output symbols in the corresponding transition graph. The necessary and sufficient conditions of existence of synchronizing and homing sequences are established, and the length of such sequences is estimated for the described class of input/output automata. The subclasses of automata are specified, for which the worst (mainly, exponential) complexity cases are not reachable</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="regroupinstitution" xml:id="struct-563936" status="VALID">
          <idno type="IdRef">238327159</idno>
          <idno type="ISNI">0000000502717600</idno>
          <idno type="ROR">https://ror.org/042tfbd02</idno>
          <idno type="Wikidata">Q48759778</idno>
          <orgName>Institut Polytechnique de Paris</orgName>
          <orgName type="acronym">IP Paris</orgName>
          <date type="start">2019-06-02</date>
          <desc>
            <address>
              <addrLine>Route de Saclay, 91120 Palaiseau Cedex, France</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.ip-paris.fr</ref>
          </desc>
        </org>
        <org type="department" xml:id="struct-95599" status="VALID">
          <orgName>Département Réseaux et Services Multimédia Mobiles</orgName>
          <orgName type="acronym">TSP - RS2M</orgName>
          <desc>
            <address>
              <addrLine>Télécom SudParis - 9 rue Charles Fourier - 91011 Évry cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://rs2m.telecom-sudparis.eu/fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-352124" type="direct"/>
            <relation active="#struct-302102" type="indirect"/>
            <relation name="563936" active="#struct-563936" type="indirect"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-442703" status="VALID">
          <orgName>Architecture, Cloud continuum, formal Models, artificial intElligence and Services in distributed computing</orgName>
          <orgName type="acronym">ACMES-SAMOVAR</orgName>
          <desc>
            <address>
              <addrLine>TELECOM Sudparis 9 rue Charles Fourier 91011 EVRY</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://samovar.telecom-sudparis.eu</ref>
          </desc>
          <listRelation>
            <relation active="#struct-638" type="direct"/>
            <relation active="#struct-352124" type="indirect"/>
            <relation active="#struct-302102" type="indirect"/>
            <relation name="563936" active="#struct-563936" type="indirect"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-441569" status="VALID">
          <idno type="IdRef">02636817X</idno>
          <idno type="ISNI">0000000122597504</idno>
          <idno type="ROR">https://ror.org/02feahw73</idno>
          <orgName>Centre National de la Recherche Scientifique</orgName>
          <orgName type="acronym">CNRS</orgName>
          <date type="start">1939-10-19</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.cnrs.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-481443" status="VALID">
          <orgName>Institute for System Programming of the Russian Academy of Sciences [Moscow]</orgName>
          <orgName type="acronym">ISPRAS</orgName>
          <desc>
            <address>
              <addrLine>Ulitsa Aleksandra Solzhenitsyna, 25, Moscow, Russie, 109004</addrLine>
              <country key="RU"/>
            </address>
            <ref type="url">https://www.ispras.ru/en/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-308472" status="VALID">
          <idno type="IdRef">262680815</idno>
          <idno type="ISNI">0000 0001 1088 3909</idno>
          <idno type="ROR">https://ror.org/02he2nc27</idno>
          <idno type="Wikidata">Q742494</idno>
          <orgName>National Research Tomsk State University [Tomsk]</orgName>
          <orgName type="acronym">TSU</orgName>
          <date type="start">1878-05-28</date>
          <desc>
            <address>
              <addrLine>Lenina Avenue, 36634050, Tomsk</addrLine>
              <country key="RU"/>
            </address>
            <ref type="url">http://en.tsu.ru/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-352124" status="VALID">
          <idno type="IdRef">162347510</idno>
          <idno type="ISNI">0000000406406351</idno>
          <idno type="ROR">https://ror.org/05xvk4r52</idno>
          <idno type="Wikidata">Q43305</idno>
          <orgName>Télécom SudParis</orgName>
          <orgName type="acronym">TSP</orgName>
          <desc>
            <address>
              <addrLine>9 rue Charles Fourier -91011 Evry Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.telecom-sudparis.eu/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-302102" type="direct"/>
            <relation name="563936" active="#struct-563936" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-302102" status="VALID">
          <idno type="IdRef">192427156</idno>
          <idno type="ISNI">000000012202567X</idno>
          <idno type="ROR">https://ror.org/025vp2923</idno>
          <idno type="Wikidata">Q27962533</idno>
          <orgName>Institut Mines-Télécom [Paris]</orgName>
          <orgName type="acronym">IMT</orgName>
          <date type="start">2012-03-01</date>
          <desc>
            <address>
              <addrLine>19 Place Marguerite Perey, 91120 Palaiseau</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.imt.fr/</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-638" status="VALID">
          <idno type="IdRef">281286515</idno>
          <idno type="ISNI">0000000403830480</idno>
          <idno type="RNSR">200319330C</idno>
          <orgName>Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux</orgName>
          <orgName type="acronym">SAMOVAR</orgName>
          <desc>
            <address>
              <addrLine>Télécom Sudparis, 9 rue Charles Fourier -91011 Evry cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://samovar.telecom-sudparis.eu/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-352124" type="direct"/>
            <relation active="#struct-302102" type="indirect"/>
            <relation name="563936" active="#struct-563936" type="indirect"/>
          </listRelation>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>