<?xml version='1.0' encoding='UTF-8'?>
<OAI-PMH xmlns="http://www.openarchives.org/OAI/2.0/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.openarchives.org/OAI/2.0/ http://www.openarchives.org/OAI/2.0/OAI-PMH.xsd">
  <responseDate>2026-03-06T20:20:55Z</responseDate>
  <request identifier="oai:fukuyama-u.repo.nii.ac.jp:00008113" verb="GetRecord" metadataPrefix="jpcoar_1.0">https://fukuyama-u.repo.nii.ac.jp/oai</request>
  <GetRecord>
    <record>
      <header>
        <identifier>oai:fukuyama-u.repo.nii.ac.jp:00008113</identifier>
        <datestamp>2023-06-19T10:29:57Z</datestamp>
        <setSpec>502:505:675:710</setSpec>
      </header>
      <metadata>
        <jpcoar:jpcoar xmlns:datacite="https://schema.datacite.org/meta/kernel-4/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:dcndl="http://ndl.go.jp/dcndl/terms/" xmlns:dcterms="http://purl.org/dc/terms/" xmlns:jpcoar="https://github.com/JPCOAR/schema/blob/master/1.0/" xmlns:oaire="http://namespace.openaire.eu/schema/oaire/" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rioxxterms="http://www.rioxx.net/schema/v2.0/rioxxterms/" xmlns:xs="http://www.w3.org/2001/XMLSchema" xmlns="https://github.com/JPCOAR/schema/blob/master/1.0/" xsi:schemaLocation="https://github.com/JPCOAR/schema/blob/master/1.0/jpcoar_scm.xsd">
          <dc:title>有限状態機械の状態観測器</dc:title>
          <dc:title xml:lang="en">State Observers for Finite State Machines</dc:title>
          <jpcoar:creator>
            <jpcoar:creatorName>渡辺, 浩司</jpcoar:creatorName>
          </jpcoar:creator>
          <jpcoar:creator>
            <jpcoar:creatorName>猪飼, 武夫</jpcoar:creatorName>
          </jpcoar:creator>
          <jpcoar:creator>
            <jpcoar:creatorName>福永, 邦雄</jpcoar:creatorName>
          </jpcoar:creator>
          <jpcoar:subject subjectScheme="Other">有限状態機械</jpcoar:subject>
          <jpcoar:subject subjectScheme="Other">状態空間モデル</jpcoar:subject>
          <jpcoar:subject subjectScheme="Other">状態観測器</jpcoar:subject>
          <jpcoar:subject xml:lang="en" subjectScheme="Other">finite state machine</jpcoar:subject>
          <jpcoar:subject xml:lang="en" subjectScheme="Other">state space model</jpcoar:subject>
          <jpcoar:subject xml:lang="en" subjectScheme="Other">state observer</jpcoar:subject>
          <datacite:description descriptionType="Other">P(論文)</datacite:description>
          <datacite:description descriptionType="Other">A state identification method for a finite state machine (FSM) using an adaptive homing sequence is well-known in the automata theory. The method is off-line one, and therefore can not be applied to a FSM in operation. On the other hand, in the linear system theory, there exists an on-line state estimator called a state observer (SO) which performs state estimation of a linear system. In this paper, we construct such an SO for a Moore machine, and characterize an input sequence to a target machine by which the SO converges and discuss a class of the input sequences. Moreover we represent the FSM and its SO by state space models as well as state transition functions. The state space model representation enables us to have a good insight into the subject and bring linear algebraic approaches into the automata theory.</datacite:description>
          <datacite:date dateType="Issued">2002-12</datacite:date>
          <dc:language>jpn</dc:language>
          <dc:type rdf:resource="http://purl.org/coar/resource_type/c_6501">departmental bulletin paper</dc:type>
          <jpcoar:identifier identifierType="URI">https://fukuyama-u.repo.nii.ac.jp/records/8113</jpcoar:identifier>
          <jpcoar:sourceIdentifier identifierType="NCID">AN00217655</jpcoar:sourceIdentifier>
          <jpcoar:sourceTitle>福山大学工学部紀要</jpcoar:sourceTitle>
          <jpcoar:volume>26</jpcoar:volume>
          <jpcoar:pageStart>131</jpcoar:pageStart>
          <jpcoar:pageEnd>136</jpcoar:pageEnd>
          <jpcoar:file>
            <jpcoar:URI>https://fukuyama-u.repo.nii.ac.jp/record/8113/files/KJ00005781498.pdf</jpcoar:URI>
            <jpcoar:mimeType>application/pdf</jpcoar:mimeType>
            <jpcoar:extent>626.6 kB</jpcoar:extent>
            <datacite:date dateType="Available">2002-12-01</datacite:date>
          </jpcoar:file>
        </jpcoar:jpcoar>
      </metadata>
    </record>
  </GetRecord>
</OAI-PMH>
