Controller synthesis method for Discrete Event Systems

Controller synthesis method for Discrete Event Systems

Many applications contain plants that are Discrete Events Systems (DES). They have to be controlled such that DES fulfills some specifications like: avoid the deadlocks, reach or avoid the reaching of some given states, execute or avoid the execution of some given sequences of events, execute cyclic...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Letia, T. S., Hulea, M., Cuibus, O.
Format: Tagungsbericht
Sprache:eng
Schlagworte:
Delay
Economic indicators
Genetic algorithms
Genetics
Petri nets
Programming
System recovery
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
container_end_page 90
container_issue
container_start_page 85
container_title
container_volume
creator Letia, T. S.
Hulea, M.
Cuibus, O.
description Many applications contain plants that are Discrete Events Systems (DES). They have to be controlled such that DES fulfills some specifications like: avoid the deadlocks, reach or avoid the reaching of some given states, execute or avoid the execution of some given sequences of events, execute cyclically sequences of events with the shortest periods, etc. In the current study the plants are modeled by Delay Time Petri Nets (DTPN) and the controllers are Time Petri Nets (TPN) models. The controllers can be described by a particular Time Petri Net Language (TPNL). The TPNL descriptions can be transformed into Lisp descriptions. The latest are used by a Genetic Programming (GP) method for the controller synthesis such that DES meets most accurately the system requirements.
doi_str_mv 10.1109/AQTR.2012.6237680
format Conference Proceeding
fullrecord <record><control><sourceid>ieee_6IE</sourceid><recordid>TN_cdi_ieee_primary_6237680</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>6237680</ieee_id><sourcerecordid>6237680</sourcerecordid><originalsourceid>FETCH-LOGICAL-i90t-6133037d2367abba046e71f6e425af5aa54777217f8bf7301a4bb984c62769ed3</originalsourceid><addsrcrecordid>eNpFj81KAzEUhSMiqLUPIG7yAjMmuZl7Z5ZlrFUoiDr7kunc0JH5kSQIfXsLFjybw7c5fEeIe61yrVX1uHpvPnKjtMnRAGGpLsSttkigSAFc_oOma7GM8UudQrZCsDcC63lKYR4GDjIep3Tg2Ec5cjrMnfRzkE993AdOLNc_PCX5eYyJx3gnrrwbIi_PvRDN87qpX7Lt2-a1Xm2zvlIpQw2ggDoDSK5tnbLIpD2yNYXzhXOFJSKjyZetPylqZ9u2Ku0eDWHFHSzEw99sz8y779CPLhx355vwC5plRZ4</addsrcrecordid><sourcetype>Publisher</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>Controller synthesis method for Discrete Event Systems</title><source>IEEE Electronic Library (IEL) Conference Proceedings</source><creator>Letia, T. S. ; Hulea, M. ; Cuibus, O.</creator><creatorcontrib>Letia, T. S. ; Hulea, M. ; Cuibus, O.</creatorcontrib><description>Many applications contain plants that are Discrete Events Systems (DES). They have to be controlled such that DES fulfills some specifications like: avoid the deadlocks, reach or avoid the reaching of some given states, execute or avoid the execution of some given sequences of events, execute cyclically sequences of events with the shortest periods, etc. In the current study the plants are modeled by Delay Time Petri Nets (DTPN) and the controllers are Time Petri Nets (TPN) models. The controllers can be described by a particular Time Petri Net Language (TPNL). The TPNL descriptions can be transformed into Lisp descriptions. The latest are used by a Genetic Programming (GP) method for the controller synthesis such that DES meets most accurately the system requirements.</description><identifier>ISBN: 1467307017</identifier><identifier>ISBN: 9781467307017</identifier><identifier>EISBN: 1467307033</identifier><identifier>EISBN: 9781467307031</identifier><identifier>EISBN: 9781467307048</identifier><identifier>EISBN: 1467307041</identifier><identifier>DOI: 10.1109/AQTR.2012.6237680</identifier><language>eng</language><publisher>IEEE</publisher><subject>Delay ; Economic indicators ; Genetic algorithms ; Genetics ; Petri nets ; Programming ; System recovery</subject><ispartof>Proceedings of 2012 IEEE International Conference on Automation, Quality and Testing, Robotics, 2012, p.85-90</ispartof><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/6237680$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>309,310,780,784,789,790,2058,27925,54920</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/6237680$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc></links><search><creatorcontrib>Letia, T. S.</creatorcontrib><creatorcontrib>Hulea, M.</creatorcontrib><creatorcontrib>Cuibus, O.</creatorcontrib><title>Controller synthesis method for Discrete Event Systems</title><title>Proceedings of 2012 IEEE International Conference on Automation, Quality and Testing, Robotics</title><addtitle>AQTR</addtitle><description>Many applications contain plants that are Discrete Events Systems (DES). They have to be controlled such that DES fulfills some specifications like: avoid the deadlocks, reach or avoid the reaching of some given states, execute or avoid the execution of some given sequences of events, execute cyclically sequences of events with the shortest periods, etc. In the current study the plants are modeled by Delay Time Petri Nets (DTPN) and the controllers are Time Petri Nets (TPN) models. The controllers can be described by a particular Time Petri Net Language (TPNL). The TPNL descriptions can be transformed into Lisp descriptions. The latest are used by a Genetic Programming (GP) method for the controller synthesis such that DES meets most accurately the system requirements.</description><subject>Delay</subject><subject>Economic indicators</subject><subject>Genetic algorithms</subject><subject>Genetics</subject><subject>Petri nets</subject><subject>Programming</subject><subject>System recovery</subject><isbn>1467307017</isbn><isbn>9781467307017</isbn><isbn>1467307033</isbn><isbn>9781467307031</isbn><isbn>9781467307048</isbn><isbn>1467307041</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>2012</creationdate><recordtype>conference_proceeding</recordtype><sourceid>6IE</sourceid><sourceid>RIE</sourceid><recordid>eNpFj81KAzEUhSMiqLUPIG7yAjMmuZl7Z5ZlrFUoiDr7kunc0JH5kSQIfXsLFjybw7c5fEeIe61yrVX1uHpvPnKjtMnRAGGpLsSttkigSAFc_oOma7GM8UudQrZCsDcC63lKYR4GDjIep3Tg2Ec5cjrMnfRzkE993AdOLNc_PCX5eYyJx3gnrrwbIi_PvRDN87qpX7Lt2-a1Xm2zvlIpQw2ggDoDSK5tnbLIpD2yNYXzhXOFJSKjyZetPylqZ9u2Ku0eDWHFHSzEw99sz8y779CPLhx355vwC5plRZ4</recordid><startdate>201205</startdate><enddate>201205</enddate><creator>Letia, T. S.</creator><creator>Hulea, M.</creator><creator>Cuibus, O.</creator><general>IEEE</general><scope>6IE</scope><scope>6IL</scope><scope>CBEJK</scope><scope>RIE</scope><scope>RIL</scope></search><sort><creationdate>201205</creationdate><title>Controller synthesis method for Discrete Event Systems</title><author>Letia, T. S. ; Hulea, M. ; Cuibus, O.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-i90t-6133037d2367abba046e71f6e425af5aa54777217f8bf7301a4bb984c62769ed3</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>2012</creationdate><topic>Delay</topic><topic>Economic indicators</topic><topic>Genetic algorithms</topic><topic>Genetics</topic><topic>Petri nets</topic><topic>Programming</topic><topic>System recovery</topic><toplevel>online_resources</toplevel><creatorcontrib>Letia, T. S.</creatorcontrib><creatorcontrib>Hulea, M.</creatorcontrib><creatorcontrib>Cuibus, O.</creatorcontrib><collection>IEEE Electronic Library (IEL) Conference Proceedings</collection><collection>IEEE Proceedings Order Plan All Online (POP All Online) 1998-present by volume</collection><collection>IEEE Xplore All Conference Proceedings</collection><collection>IEEE Electronic Library (IEL)</collection><collection>IEEE Proceedings Order Plans (POP All) 1998-Present</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Letia, T. S.</au><au>Hulea, M.</au><au>Cuibus, O.</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>Controller synthesis method for Discrete Event Systems</atitle><btitle>Proceedings of 2012 IEEE International Conference on Automation, Quality and Testing, Robotics</btitle><stitle>AQTR</stitle><date>2012-05</date><risdate>2012</risdate><spage>85</spage><epage>90</epage><pages>85-90</pages><isbn>1467307017</isbn><isbn>9781467307017</isbn><eisbn>1467307033</eisbn><eisbn>9781467307031</eisbn><eisbn>9781467307048</eisbn><eisbn>1467307041</eisbn><abstract>Many applications contain plants that are Discrete Events Systems (DES). They have to be controlled such that DES fulfills some specifications like: avoid the deadlocks, reach or avoid the reaching of some given states, execute or avoid the execution of some given sequences of events, execute cyclically sequences of events with the shortest periods, etc. In the current study the plants are modeled by Delay Time Petri Nets (DTPN) and the controllers are Time Petri Nets (TPN) models. The controllers can be described by a particular Time Petri Net Language (TPNL). The TPNL descriptions can be transformed into Lisp descriptions. The latest are used by a Genetic Programming (GP) method for the controller synthesis such that DES meets most accurately the system requirements.</abstract><pub>IEEE</pub><doi>10.1109/AQTR.2012.6237680</doi><tpages>6</tpages></addata></record>
fulltext fulltext_linktorsrc
identifier ISBN: 1467307017
ispartof Proceedings of 2012 IEEE International Conference on Automation, Quality and Testing, Robotics, 2012, p.85-90
issn
language eng
recordid cdi_ieee_primary_6237680
source IEEE Electronic Library (IEL) Conference Proceedings
subjects Delay
Economic indicators
Genetic algorithms
Genetics
Petri nets
Programming
System recovery
title Controller synthesis method for Discrete Event Systems
url https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-22T13%3A39%3A50IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-ieee_6IE&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=proceeding&rft.atitle=Controller%20synthesis%20method%20for%20Discrete%20Event%20Systems&rft.btitle=Proceedings%20of%202012%20IEEE%20International%20Conference%20on%20Automation,%20Quality%20and%20Testing,%20Robotics&rft.au=Letia,%20T.%20S.&rft.date=2012-05&rft.spage=85&rft.epage=90&rft.pages=85-90&rft.isbn=1467307017&rft.isbn_list=9781467307017&rft_id=info:doi/10.1109/AQTR.2012.6237680&rft_dat=%3Cieee_6IE%3E6237680%3C/ieee_6IE%3E%3Curl%3E%3C/url%3E&rft.eisbn=1467307033&rft.eisbn_list=9781467307031&rft.eisbn_list=9781467307048&rft.eisbn_list=1467307041&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rft_ieee_id=6237680&rfr_iscdi=true