<?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-00930120</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-25T00:25:29+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Synchronous composition of discretized control actions: design, verification and implementation with ORCCAD</title>
            <author role="crp">
              <persName>
                <forename type="first">Daniel</forename>
                <surname>Simon</surname>
              </persName>
              <email type="md5">21621882e469f7d240e37a21e1d9586a</email>
              <email type="domain">inria.fr</email>
              <idno type="idhal" notation="string">daniel-simon</idno>
              <idno type="idhal" notation="numeric">3126</idno>
              <idno type="halauthorid" notation="string">10135-3126</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-3816-4815</idno>
              <idno type="IDREF">https://www.idref.fr/118165569</idno>
              <affiliation ref="#struct-2463"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Roger</forename>
                <surname>Pissard-Gibollet</surname>
              </persName>
              <email type="md5">0f7953bf633dad3288cb9fa5ec7d83dd</email>
              <email type="domain">inria.fr</email>
              <idno type="idhal" notation="string">roger-pissard-gibollet</idno>
              <idno type="idhal" notation="numeric">1172500</idno>
              <idno type="halauthorid" notation="string">142422-1172500</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-8045-3752</idno>
              <idno type="IDREF">https://www.idref.fr/262055600</idno>
              <orgName ref="#struct-300009"/>
              <affiliation ref="#struct-115572"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Konstantin</forename>
                <surname>Kapellos</surname>
              </persName>
              <idno type="halauthorid">145023-0</idno>
              <orgName ref="#struct-300009"/>
              <affiliation ref="#struct-2373"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Bernard</forename>
                <surname>Espiau</surname>
              </persName>
              <idno type="halauthorid">106141-0</idno>
              <orgName ref="#struct-300009"/>
              <affiliation ref="#struct-2373"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Soraya</forename>
                <surname>Arias</surname>
              </persName>
              <email type="md5">a683f275040c473db2ab323716670809</email>
              <email type="domain">inria.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2014-01-15 09:11:45</date>
              <date type="whenModified">2025-10-06 11:35:17</date>
              <date type="whenReleased">2014-01-16 08:44:49</date>
              <date type="whenProduced">1999</date>
              <date type="whenEndEmbargoed">2014-01-15</date>
              <ref type="file" target="https://inria.hal.science/hal-00930120v1/document">
                <date notBefore="2014-01-15"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://inria.hal.science/hal-00930120v1/file/rtcsa99.pdf" id="file-930120-313721">
                <date notBefore="2014-01-15"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="182851">
                <persName>
                  <forename>Soraya</forename>
                  <surname>Arias</surname>
                </persName>
                <email type="md5">a683f275040c473db2ab323716670809</email>
                <email type="domain">inria.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-00930120</idno>
            <idno type="halUri">https://inria.hal.science/hal-00930120</idno>
            <idno type="halBibtex">simon:hal-00930120</idno>
            <idno type="halRefHtml">&lt;i&gt;Real-Time Computing Systems and Applications, 1999. RTCSA '99. Sixth International Conference on&lt;/i&gt;, 1999, Hong Kong, China. pp.158-165</idno>
            <idno type="halRef">Real-Time Computing Systems and Applications, 1999. RTCSA '99. Sixth International Conference on, 1999, Hong Kong, China. pp.158-165</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-930120-313721"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="INRIA">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="INRIA-SOPHIA">INRIA Sophia Antipolis - Méditerranée</idno>
            <idno type="stamp" n="INRIA-RHA">INRIA Grenoble - Rhône-Alpes</idno>
            <idno type="stamp" n="INRIASO">INRIA-SOPHIA</idno>
            <idno type="stamp" n="INRIA_TEST">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="TESTALAIN1">TESTALAIN1</idno>
            <idno type="stamp" n="INRIA2">INRIA 2</idno>
            <idno type="stamp" n="UNIV-COTEDAZUR">Université Côte d'Azur</idno>
            <idno type="stamp" n="INRIA-RENGRE">INRIA-RENGRE</idno>
            <idno type="stamp" n="INRIA-300009">Inria 300009</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</note>
            <note type="invited" n="0">No</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
            <note type="proceedings" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Synchronous composition of discretized control actions: design, verification and implementation with ORCCAD</title>
                <author role="crp">
                  <persName>
                    <forename type="first">Daniel</forename>
                    <surname>Simon</surname>
                  </persName>
                  <email type="md5">21621882e469f7d240e37a21e1d9586a</email>
                  <email type="domain">inria.fr</email>
                  <idno type="idhal" notation="string">daniel-simon</idno>
                  <idno type="idhal" notation="numeric">3126</idno>
                  <idno type="halauthorid" notation="string">10135-3126</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-3816-4815</idno>
                  <idno type="IDREF">https://www.idref.fr/118165569</idno>
                  <affiliation ref="#struct-2463"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Roger</forename>
                    <surname>Pissard-Gibollet</surname>
                  </persName>
                  <email type="md5">0f7953bf633dad3288cb9fa5ec7d83dd</email>
                  <email type="domain">inria.fr</email>
                  <idno type="idhal" notation="string">roger-pissard-gibollet</idno>
                  <idno type="idhal" notation="numeric">1172500</idno>
                  <idno type="halauthorid" notation="string">142422-1172500</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-8045-3752</idno>
                  <idno type="IDREF">https://www.idref.fr/262055600</idno>
                  <orgName ref="#struct-300009"/>
                  <affiliation ref="#struct-115572"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Konstantin</forename>
                    <surname>Kapellos</surname>
                  </persName>
                  <idno type="halauthorid">145023-0</idno>
                  <orgName ref="#struct-300009"/>
                  <affiliation ref="#struct-2373"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Bernard</forename>
                    <surname>Espiau</surname>
                  </persName>
                  <idno type="halauthorid">106141-0</idno>
                  <orgName ref="#struct-300009"/>
                  <affiliation ref="#struct-2373"/>
                </author>
              </analytic>
              <monogr>
                <meeting>
                  <title>Real-Time Computing Systems and Applications, 1999. RTCSA '99. Sixth International Conference on</title>
                  <date type="start">1999</date>
                  <settlement>Hong Kong</settlement>
                  <country key="CN">China</country>
                </meeting>
                <imprint>
                  <biblScope unit="pp">158-165</biblScope>
                  <date type="datePub">1999</date>
                </imprint>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">Robotics and automation</term>
                <term xml:lang="en">discretized control actions</term>
                <term xml:lang="en">hybrid systems</term>
                <term xml:lang="en">programming</term>
                <term xml:lang="en">real-time</term>
                <term xml:lang="en">robotic systems</term>
                <term xml:lang="en">run-time code</term>
                <term xml:lang="en">synchronous approach</term>
                <term xml:lang="en">synchronous language</term>
                <term xml:lang="en">Automatic control</term>
                <term xml:lang="en">Computer science</term>
                <term xml:lang="en">Control systems</term>
                <term xml:lang="en">Data processing</term>
                <term xml:lang="en">Degradation</term>
                <term xml:lang="en">Real time systems</term>
                <term xml:lang="en">Robot kinematics</term>
                <term xml:lang="en">Robot programming</term>
                <term xml:lang="en">Robot sensing systems</term>
                <term xml:lang="en">robots</term>
                <term xml:lang="en">control system CAD</term>
                <term xml:lang="en">exception handling</term>
                <term xml:lang="en">formal specification</term>
                <term xml:lang="en">parallel languages</term>
                <term xml:lang="en">program verification</term>
                <term xml:lang="en">real-time systems</term>
                <term xml:lang="en">discrete-time system</term>
                <term xml:lang="en">CAD tools</term>
                <term xml:lang="en">ESTEREL</term>
                <term xml:lang="en">FC2TOOLS package</term>
                <term xml:lang="en">ORCCAD</term>
                <term xml:lang="en">asynchronous approach</term>
                <term xml:lang="en">continuous time system</term>
                <term xml:lang="en">control laws</term>
                <term xml:lang="en">control switches</term>
              </keywords>
              <classCode scheme="halDomain" n="info.info-rb">Computer Science [cs]/Robotics [cs.RO]</classCode>
              <classCode scheme="halTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halOldTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halTreeTypology" n="COMM">Conference papers</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>Robotic systems are typical examples of hybrid systems where continuous time aspects, related to control laws, must be carefully merged with discrete-time aspects related to control switches and exception handling. These two aspects interact in real-time to ensure an efficient nominal behavior of the system together with safe and graceful degradation otherwise. In a mixed synchronous/asynchronous approach, ranging from user's requirements to run-time code, ORCADD provides formalized control structures, the coordination of which is specified using the ESTEREL synchronous language and formally verified using the FC2TOOLS package. CAD tools have been designed and integrated to help the users along the steps of programming, verification and implementation processes</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-2463" status="OLD">
          <idno type="RNSR">199221389N</idno>
          <orgName>Instrumentation, control and architecture of advanced robots</orgName>
          <orgName type="acronym">ICARE</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-34586" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
          </listRelation>
        </org>
        <org type="department" xml:id="struct-115572" status="VALID">
          <orgName>Service Expérimentation et Développement</orgName>
          <orgName type="acronym">SED [Grenoble]</orgName>
          <desc>
            <address>
              <addrLine>Service Expérimentation et Développement Inria 655, avenue de l'Europe 38 334 Saint Ismier Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://sed.inrialpes.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-2497" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-2373" status="OLD">
          <idno type="RNSR">199621503V</idno>
          <orgName>Biped Robot</orgName>
          <orgName type="acronym">BIP</orgName>
          <desc>
            <address>
              <addrLine>Centre de Recherche Inria655 Avenue de l'Europe, 38330 Montbonnot-Saint-Martin</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/equipes/bip</ref>
          </desc>
          <listRelation>
            <relation active="#struct-2497" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-34586" status="VALID">
          <idno type="RNSR">198318250R</idno>
          <idno type="ROR">https://ror.org/01nzkaw91</idno>
          <orgName>Centre Inria d'Université Côte d'Azur</orgName>
          <desc>
            <address>
              <addrLine>2004 route des Lucioles BP 93 06902 Sophia Antipolis</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/centre/sophia/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-300009" status="VALID">
          <idno type="ROR">https://ror.org/02kvxyf05</idno>
          <orgName>Institut National de Recherche en Informatique et en Automatique</orgName>
          <orgName type="acronym">Inria</orgName>
          <desc>
            <address>
              <addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/en/</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-2497" status="VALID">
          <idno type="RNSR">199218244V</idno>
          <idno type="ROR">https://ror.org/00n8d6z93</idno>
          <orgName>Centre Inria de l'Université Grenoble Alpes</orgName>
          <desc>
            <address>
              <addrLine>Inovallée655 avenue de l'Europe38330 Montbonnot</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/centre/grenoble</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
          </listRelation>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>