Modular Synthesis of Discrete Controllers
This paper presents supervisory control theory in a process-algebraic setting, and proposes a way of synthesising modular supervisors that guarantee nonblocking. The framework used includes the possibility of hiding actions which results in nondeterminism. As modularity crucially depends on the proc...
Gespeichert in:
| Hauptverfasser: | , , , |
|---|---|
| Format: | Tagungsbericht |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext bestellen |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 34 |
|---|---|
| container_issue | |
| container_start_page | 25 |
| container_title | |
| container_volume | |
| creator | Malik, P. Malik, R. Streader, D. Reeves, S. |
| description | This paper presents supervisory control theory in a process-algebraic setting, and proposes a way of synthesising modular supervisors that guarantee nonblocking. The framework used includes the possibility of hiding actions which results in nondeterminism. As modularity crucially depends on the process equivalence used, the paper studies possible equivalences and points out that, in order to be consistent with respect to the nonblocking property and to supervisor synthesis, a conflict-preserving equivalence must be used. It applies the results to synthesise nonblocking modular supervisors for a manufacturing system. |
| doi_str_mv | 10.1109/ICECCS.2007.31 |
| format | Conference Proceeding |
| fullrecord | <record><control><sourceid>ieee_6IE</sourceid><recordid>TN_cdi_ieee_primary_4276299</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>4276299</ieee_id><sourcerecordid>4276299</sourcerecordid><originalsourceid>FETCH-LOGICAL-i215t-81a3a110b1858c6936146869683f2ecf51213a64af6f64abf4991234196833823</originalsourceid><addsrcrecordid>eNotjjFPwzAUhC0hJKB0ZWHJypDg9579Yo_IlFKpqEPLXLnBFkahQXYY-u8JghvupE-n0wlxA7IBkPZ-5RbObRuUsm0IzsSVbNlqNFbThZiX8iEnKa0mcCnuXoa3797nans6ju-hpFINsXpMpcthDJUbjmMe-j7kci3Oo-9LmP_nTLw-LXbuuV5vliv3sK4Tgh5rA5789OMARpuOLTEoNmzZUMTQRQ0I5Fn5yHHyQ1TWApKC3wYZpJm4_dtNIYT9V06fPp_2CltGa-kH2vg9HA</addsrcrecordid><sourcetype>Publisher</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>Modular Synthesis of Discrete Controllers</title><source>IEEE Electronic Library (IEL) Conference Proceedings</source><creator>Malik, P. ; Malik, R. ; Streader, D. ; Reeves, S.</creator><creatorcontrib>Malik, P. ; Malik, R. ; Streader, D. ; Reeves, S.</creatorcontrib><description>This paper presents supervisory control theory in a process-algebraic setting, and proposes a way of synthesising modular supervisors that guarantee nonblocking. The framework used includes the possibility of hiding actions which results in nondeterminism. As modularity crucially depends on the process equivalence used, the paper studies possible equivalences and points out that, in order to be consistent with respect to the nonblocking property and to supervisor synthesis, a conflict-preserving equivalence must be used. It applies the results to synthesise nonblocking modular supervisors for a manufacturing system.</description><identifier>ISBN: 0769528953</identifier><identifier>ISBN: 9780769528953</identifier><identifier>DOI: 10.1109/ICECCS.2007.31</identifier><language>eng</language><publisher>IEEE</publisher><subject>Algebra ; Application software ; Computer science ; Control system synthesis ; Humans ; Manufacturing systems ; Medical control systems ; Software maintenance ; Software tools ; Supervisory control</subject><ispartof>12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007), 2007, p.25-34</ispartof><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/4276299$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>309,310,778,782,787,788,2054,27914,54909</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/4276299$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc></links><search><creatorcontrib>Malik, P.</creatorcontrib><creatorcontrib>Malik, R.</creatorcontrib><creatorcontrib>Streader, D.</creatorcontrib><creatorcontrib>Reeves, S.</creatorcontrib><title>Modular Synthesis of Discrete Controllers</title><title>12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007)</title><addtitle>ICECCS</addtitle><description>This paper presents supervisory control theory in a process-algebraic setting, and proposes a way of synthesising modular supervisors that guarantee nonblocking. The framework used includes the possibility of hiding actions which results in nondeterminism. As modularity crucially depends on the process equivalence used, the paper studies possible equivalences and points out that, in order to be consistent with respect to the nonblocking property and to supervisor synthesis, a conflict-preserving equivalence must be used. It applies the results to synthesise nonblocking modular supervisors for a manufacturing system.</description><subject>Algebra</subject><subject>Application software</subject><subject>Computer science</subject><subject>Control system synthesis</subject><subject>Humans</subject><subject>Manufacturing systems</subject><subject>Medical control systems</subject><subject>Software maintenance</subject><subject>Software tools</subject><subject>Supervisory control</subject><isbn>0769528953</isbn><isbn>9780769528953</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>2007</creationdate><recordtype>conference_proceeding</recordtype><sourceid>6IE</sourceid><sourceid>RIE</sourceid><recordid>eNotjjFPwzAUhC0hJKB0ZWHJypDg9579Yo_IlFKpqEPLXLnBFkahQXYY-u8JghvupE-n0wlxA7IBkPZ-5RbObRuUsm0IzsSVbNlqNFbThZiX8iEnKa0mcCnuXoa3797nans6ju-hpFINsXpMpcthDJUbjmMe-j7kci3Oo-9LmP_nTLw-LXbuuV5vliv3sK4Tgh5rA5789OMARpuOLTEoNmzZUMTQRQ0I5Fn5yHHyQ1TWApKC3wYZpJm4_dtNIYT9V06fPp_2CltGa-kH2vg9HA</recordid><startdate>20070101</startdate><enddate>20070101</enddate><creator>Malik, P.</creator><creator>Malik, R.</creator><creator>Streader, D.</creator><creator>Reeves, S.</creator><general>IEEE</general><scope>6IE</scope><scope>6IL</scope><scope>CBEJK</scope><scope>RIE</scope><scope>RIL</scope></search><sort><creationdate>20070101</creationdate><title>Modular Synthesis of Discrete Controllers</title><author>Malik, P. ; Malik, R. ; Streader, D. ; Reeves, S.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-i215t-81a3a110b1858c6936146869683f2ecf51213a64af6f64abf4991234196833823</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>2007</creationdate><topic>Algebra</topic><topic>Application software</topic><topic>Computer science</topic><topic>Control system synthesis</topic><topic>Humans</topic><topic>Manufacturing systems</topic><topic>Medical control systems</topic><topic>Software maintenance</topic><topic>Software tools</topic><topic>Supervisory control</topic><toplevel>online_resources</toplevel><creatorcontrib>Malik, P.</creatorcontrib><creatorcontrib>Malik, R.</creatorcontrib><creatorcontrib>Streader, D.</creatorcontrib><creatorcontrib>Reeves, S.</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>Malik, P.</au><au>Malik, R.</au><au>Streader, D.</au><au>Reeves, S.</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>Modular Synthesis of Discrete Controllers</atitle><btitle>12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007)</btitle><stitle>ICECCS</stitle><date>2007-01-01</date><risdate>2007</risdate><spage>25</spage><epage>34</epage><pages>25-34</pages><isbn>0769528953</isbn><isbn>9780769528953</isbn><abstract>This paper presents supervisory control theory in a process-algebraic setting, and proposes a way of synthesising modular supervisors that guarantee nonblocking. The framework used includes the possibility of hiding actions which results in nondeterminism. As modularity crucially depends on the process equivalence used, the paper studies possible equivalences and points out that, in order to be consistent with respect to the nonblocking property and to supervisor synthesis, a conflict-preserving equivalence must be used. It applies the results to synthesise nonblocking modular supervisors for a manufacturing system.</abstract><pub>IEEE</pub><doi>10.1109/ICECCS.2007.31</doi><tpages>10</tpages><oa>free_for_read</oa></addata></record> |
| fulltext | fulltext_linktorsrc |
| identifier | ISBN: 0769528953 |
| ispartof | 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007), 2007, p.25-34 |
| issn | |
| language | eng |
| recordid | cdi_ieee_primary_4276299 |
| source | IEEE Electronic Library (IEL) Conference Proceedings |
| subjects | Algebra Application software Computer science Control system synthesis Humans Manufacturing systems Medical control systems Software maintenance Software tools Supervisory control |
| title | Modular Synthesis of Discrete Controllers |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-15T08%3A53%3A17IST&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=Modular%20Synthesis%20of%20Discrete%20Controllers&rft.btitle=12th%20IEEE%20International%20Conference%20on%20Engineering%20Complex%20Computer%20Systems%20(ICECCS%202007)&rft.au=Malik,%20P.&rft.date=2007-01-01&rft.spage=25&rft.epage=34&rft.pages=25-34&rft.isbn=0769528953&rft.isbn_list=9780769528953&rft_id=info:doi/10.1109/ICECCS.2007.31&rft_dat=%3Cieee_6IE%3E4276299%3C/ieee_6IE%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rft_ieee_id=4276299&rfr_iscdi=true |