Design of live and maximally permissive Petri net controller using theory of regions
Identifieur interne : 007640 ( Main/Exploration ); précédent : 007639; suivant : 007641Design of live and maximally permissive Petri net controller using theory of regions
Auteurs : Asma Ghaffari ; Nidhal Rezg ; Xiaolan XieSource :
- IEEE Transactions on Robotics and Automation ; 2003.
English descriptors
Abstract
This paper addresses the forbidden state problem of Petri nets (PN) with liveness requirement and uncontrollable transitions. The proposed approach computes a maximally permissive PN controller, whenever such a controller exists. The first step, based on a Ramadge-Wonham like reasoning, determines the legal and live maximal behavior the controlled PN should have. In the second step, the theory of regions is used to design control places to add to the original model to realize the desired behavior. Furthermore, necessary and sufficient conditions for the existence of control places realizing the maximum permissive control are given. A parameterized manufacturing application of significant state space is used to show the efficiency of the proposed approach.
Affiliations:
Links toward previous steps (curation, corpus...)
- to stream Crin, to step Corpus: 003755
- to stream Crin, to step Curation: 003755
- to stream Crin, to step Checkpoint: 000B71
- to stream Main, to step Merge: 007A18
- to stream Main, to step Curation: 007640
Le document en format XML
<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en" wicri:score="357">Design of live and maximally permissive Petri net controller using theory of regions</title>
</titleStmt>
<publicationStmt><idno type="RBID">CRIN:ghaffari03a</idno>
<date when="2003" year="2003">2003</date>
<idno type="wicri:Area/Crin/Corpus">003755</idno>
<idno type="wicri:Area/Crin/Curation">003755</idno>
<idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Curation">003755</idno>
<idno type="wicri:Area/Crin/Checkpoint">000B71</idno>
<idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Checkpoint">000B71</idno>
<idno type="wicri:Area/Main/Merge">007A18</idno>
<idno type="wicri:Area/Main/Curation">007640</idno>
<idno type="wicri:Area/Main/Exploration">007640</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title xml:lang="en">Design of live and maximally permissive Petri net controller using theory of regions</title>
<author><name sortKey="Ghaffari, Asma" sort="Ghaffari, Asma" uniqKey="Ghaffari A" first="Asma" last="Ghaffari">Asma Ghaffari</name>
</author>
<author><name sortKey="Rezg, Nidhal" sort="Rezg, Nidhal" uniqKey="Rezg N" first="Nidhal" last="Rezg">Nidhal Rezg</name>
</author>
<author><name sortKey="Xie, Xiaolan" sort="Xie, Xiaolan" uniqKey="Xie X" first="Xiaolan" last="Xie">Xiaolan Xie</name>
</author>
</analytic>
<series><title level="j">IEEE Transactions on Robotics and Automation</title>
<imprint><date when="2003" type="published">2003</date>
</imprint>
</series>
</biblStruct>
</sourceDesc>
</fileDesc>
<profileDesc><textClass><keywords scheme="KwdEn" xml:lang="en"><term>controllability</term>
<term>petri nets</term>
<term>supervisory control</term>
<term>theory of regions</term>
</keywords>
</textClass>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="en" wicri:score="1597">This paper addresses the forbidden state problem of Petri nets (PN) with liveness requirement and uncontrollable transitions. The proposed approach computes a maximally permissive PN controller, whenever such a controller exists. The first step, based on a Ramadge-Wonham like reasoning, determines the legal and live maximal behavior the controlled PN should have. In the second step, the theory of regions is used to design control places to add to the original model to realize the desired behavior. Furthermore, necessary and sufficient conditions for the existence of control places realizing the maximum permissive control are given. A parameterized manufacturing application of significant state space is used to show the efficiency of the proposed approach.</div>
</front>
</TEI>
<affiliations><list></list>
<tree><noCountry><name sortKey="Ghaffari, Asma" sort="Ghaffari, Asma" uniqKey="Ghaffari A" first="Asma" last="Ghaffari">Asma Ghaffari</name>
<name sortKey="Rezg, Nidhal" sort="Rezg, Nidhal" uniqKey="Rezg N" first="Nidhal" last="Rezg">Nidhal Rezg</name>
<name sortKey="Xie, Xiaolan" sort="Xie, Xiaolan" uniqKey="Xie X" first="Xiaolan" last="Xie">Xiaolan Xie</name>
</noCountry>
</tree>
</affiliations>
</record>
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 007640 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 007640 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien |wiki= Wicri/Lorraine |area= InforLorV4 |flux= Main |étape= Exploration |type= RBID |clé= CRIN:ghaffari03a |texte= Design of live and maximally permissive Petri net controller using theory of regions }}
This area was generated with Dilib version V0.6.33. |