Computing Optimal Operation Schemes for Chemical Plants in Multi-batch Mode
We propose a computer-aided methodology to automatically generate time optimal production schemes for chemical batch plants operating in multi-batch mode. Our approach is based on the following principles: (1) the plant is modeled at the level of process operations whose behavior is specified by tim...
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Tagungsbericht |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 351 |
|---|---|
| container_issue | |
| container_start_page | 338 |
| container_title | |
| container_volume | |
| creator | Niebert, Peter Yovine, Sergio |
| description | We propose a computer-aided methodology to automatically generate time optimal production schemes for chemical batch plants operating in multi-batch mode. Our approach is based on the following principles: (1) the plant is modeled at the level of process operations whose behavior is specified by timed automata, (2) the optimal production schemes are generated using algorithms for reachability analysis of timed automata implemented in OpenKronos, (3) the output of the verification tool is post-processed to derive high-level control code. We apply our methodology to the batch plant at the University of Dortmund. The automatically computed operation schemes turned out to be more efficient than the previously used handwritten ones. |
| doi_str_mv | 10.1007/3-540-46430-1_29 |
| format | Conference Proceeding |
| fullrecord | <record><control><sourceid>pascalfrancis_sprin</sourceid><recordid>TN_cdi_pascalfrancis_primary_1177519</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>1177519</sourcerecordid><originalsourceid>FETCH-LOGICAL-p223t-87a0c69e9b1be070b877d057020c0ee0f5726e873fe4abea274609a4004981333</originalsourceid><addsrcrecordid>eNo9kEtPwzAQhM1Loiq9c_SBq8va69jxEUW8RKsiAWfLSZ02kCZR7B7497gFsZdZzYxWq4-Qaw5zDqBvkWUSmFQSgXErzAmZGZ1jMo8enpIJV5wzRGnO_jOlRWbwnEwAQTCjJV6SWQifkAYF5kpNyEvR74Z9bLoNXQ2x2bk2qR9dbPqOvlVbv_OB1v1Ii7Q2VYpfW9fFQJuOLvdtbFjpYrWly37tr8hF7drgZ386JR8P9-_FE1usHp-LuwUbhMDIcu2gUsabkpceNJS51mvINAiowHuoMy2UzzXWXrrSO6GlAuMkgDQ5R8Qpufm9O7iQPqpH11VNsMOY3h-_LedaZ9yk2vy3FlLSbfxoy77_CpaDPUC1aBMjewRoD1DxB26cYts</addsrcrecordid><sourcetype>Index Database</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>Computing Optimal Operation Schemes for Chemical Plants in Multi-batch Mode</title><source>Springer Books</source><creator>Niebert, Peter ; Yovine, Sergio</creator><contributor>Krogh, Bruce H. ; Lynch, Nancy</contributor><creatorcontrib>Niebert, Peter ; Yovine, Sergio ; Krogh, Bruce H. ; Lynch, Nancy</creatorcontrib><description>We propose a computer-aided methodology to automatically generate time optimal production schemes for chemical batch plants operating in multi-batch mode. Our approach is based on the following principles: (1) the plant is modeled at the level of process operations whose behavior is specified by timed automata, (2) the optimal production schemes are generated using algorithms for reachability analysis of timed automata implemented in OpenKronos, (3) the output of the verification tool is post-processed to derive high-level control code. We apply our methodology to the batch plant at the University of Dortmund. The automatically computed operation schemes turned out to be more efficient than the previously used handwritten ones.</description><identifier>ISSN: 0302-9743</identifier><identifier>ISBN: 9783540672593</identifier><identifier>ISBN: 3540672591</identifier><identifier>EISSN: 1611-3349</identifier><identifier>EISBN: 9783540464303</identifier><identifier>EISBN: 3540464301</identifier><identifier>DOI: 10.1007/3-540-46430-1_29</identifier><language>eng</language><publisher>Berlin, Heidelberg: Springer Berlin Heidelberg</publisher><subject>Applied sciences ; Chemical engineering ; Computer science; control theory; systems ; Control Architecture ; Control system synthesis ; Control theory. Systems ; Exact sciences and technology ; Hasse Diagram ; Metrology, automation ; Operation Scheme ; Partial Order ; Process Operation</subject><ispartof>Hybrid Systems: Computation and Control, 2000, p.338-351</ispartof><rights>Springer-Verlag Berlin Heidelberg 2000</rights><rights>2000 INIST-CNRS</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktopdf>$$Uhttps://link.springer.com/content/pdf/10.1007/3-540-46430-1_29$$EPDF$$P50$$Gspringer$$H</linktopdf><linktohtml>$$Uhttps://link.springer.com/10.1007/3-540-46430-1_29$$EHTML$$P50$$Gspringer$$H</linktohtml><link.rule.ids>309,310,775,776,780,785,786,789,4036,4037,27902,38232,41418,42487</link.rule.ids><backlink>$$Uhttp://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=1177519$$DView record in Pascal Francis$$Hfree_for_read</backlink></links><search><contributor>Krogh, Bruce H.</contributor><contributor>Lynch, Nancy</contributor><creatorcontrib>Niebert, Peter</creatorcontrib><creatorcontrib>Yovine, Sergio</creatorcontrib><title>Computing Optimal Operation Schemes for Chemical Plants in Multi-batch Mode</title><title>Hybrid Systems: Computation and Control</title><description>We propose a computer-aided methodology to automatically generate time optimal production schemes for chemical batch plants operating in multi-batch mode. Our approach is based on the following principles: (1) the plant is modeled at the level of process operations whose behavior is specified by timed automata, (2) the optimal production schemes are generated using algorithms for reachability analysis of timed automata implemented in OpenKronos, (3) the output of the verification tool is post-processed to derive high-level control code. We apply our methodology to the batch plant at the University of Dortmund. The automatically computed operation schemes turned out to be more efficient than the previously used handwritten ones.</description><subject>Applied sciences</subject><subject>Chemical engineering</subject><subject>Computer science; control theory; systems</subject><subject>Control Architecture</subject><subject>Control system synthesis</subject><subject>Control theory. Systems</subject><subject>Exact sciences and technology</subject><subject>Hasse Diagram</subject><subject>Metrology, automation</subject><subject>Operation Scheme</subject><subject>Partial Order</subject><subject>Process Operation</subject><issn>0302-9743</issn><issn>1611-3349</issn><isbn>9783540672593</isbn><isbn>3540672591</isbn><isbn>9783540464303</isbn><isbn>3540464301</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>2000</creationdate><recordtype>conference_proceeding</recordtype><recordid>eNo9kEtPwzAQhM1Loiq9c_SBq8va69jxEUW8RKsiAWfLSZ02kCZR7B7497gFsZdZzYxWq4-Qaw5zDqBvkWUSmFQSgXErzAmZGZ1jMo8enpIJV5wzRGnO_jOlRWbwnEwAQTCjJV6SWQifkAYF5kpNyEvR74Z9bLoNXQ2x2bk2qR9dbPqOvlVbv_OB1v1Ii7Q2VYpfW9fFQJuOLvdtbFjpYrWly37tr8hF7drgZ386JR8P9-_FE1usHp-LuwUbhMDIcu2gUsabkpceNJS51mvINAiowHuoMy2UzzXWXrrSO6GlAuMkgDQ5R8Qpufm9O7iQPqpH11VNsMOY3h-_LedaZ9yk2vy3FlLSbfxoy77_CpaDPUC1aBMjewRoD1DxB26cYts</recordid><startdate>2000</startdate><enddate>2000</enddate><creator>Niebert, Peter</creator><creator>Yovine, Sergio</creator><general>Springer Berlin Heidelberg</general><general>Springer</general><scope>IQODW</scope></search><sort><creationdate>2000</creationdate><title>Computing Optimal Operation Schemes for Chemical Plants in Multi-batch Mode</title><author>Niebert, Peter ; Yovine, Sergio</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-p223t-87a0c69e9b1be070b877d057020c0ee0f5726e873fe4abea274609a4004981333</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>2000</creationdate><topic>Applied sciences</topic><topic>Chemical engineering</topic><topic>Computer science; control theory; systems</topic><topic>Control Architecture</topic><topic>Control system synthesis</topic><topic>Control theory. Systems</topic><topic>Exact sciences and technology</topic><topic>Hasse Diagram</topic><topic>Metrology, automation</topic><topic>Operation Scheme</topic><topic>Partial Order</topic><topic>Process Operation</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Niebert, Peter</creatorcontrib><creatorcontrib>Yovine, Sergio</creatorcontrib><collection>Pascal-Francis</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Niebert, Peter</au><au>Yovine, Sergio</au><au>Krogh, Bruce H.</au><au>Lynch, Nancy</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>Computing Optimal Operation Schemes for Chemical Plants in Multi-batch Mode</atitle><btitle>Hybrid Systems: Computation and Control</btitle><date>2000</date><risdate>2000</risdate><spage>338</spage><epage>351</epage><pages>338-351</pages><issn>0302-9743</issn><eissn>1611-3349</eissn><isbn>9783540672593</isbn><isbn>3540672591</isbn><eisbn>9783540464303</eisbn><eisbn>3540464301</eisbn><abstract>We propose a computer-aided methodology to automatically generate time optimal production schemes for chemical batch plants operating in multi-batch mode. Our approach is based on the following principles: (1) the plant is modeled at the level of process operations whose behavior is specified by timed automata, (2) the optimal production schemes are generated using algorithms for reachability analysis of timed automata implemented in OpenKronos, (3) the output of the verification tool is post-processed to derive high-level control code. We apply our methodology to the batch plant at the University of Dortmund. The automatically computed operation schemes turned out to be more efficient than the previously used handwritten ones.</abstract><cop>Berlin, Heidelberg</cop><pub>Springer Berlin Heidelberg</pub><doi>10.1007/3-540-46430-1_29</doi><tpages>14</tpages></addata></record> |
| fulltext | fulltext |
| identifier | ISSN: 0302-9743 |
| ispartof | Hybrid Systems: Computation and Control, 2000, p.338-351 |
| issn | 0302-9743 1611-3349 |
| language | eng |
| recordid | cdi_pascalfrancis_primary_1177519 |
| source | Springer Books |
| subjects | Applied sciences Chemical engineering Computer science control theory systems Control Architecture Control system synthesis Control theory. Systems Exact sciences and technology Hasse Diagram Metrology, automation Operation Scheme Partial Order Process Operation |
| title | Computing Optimal Operation Schemes for Chemical Plants in Multi-batch Mode |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-29T04%3A23%3A34IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-pascalfrancis_sprin&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=proceeding&rft.atitle=Computing%20Optimal%20Operation%20Schemes%20for%20Chemical%20Plants%20in%20Multi-batch%20Mode&rft.btitle=Hybrid%20Systems:%20Computation%20and%20Control&rft.au=Niebert,%20Peter&rft.date=2000&rft.spage=338&rft.epage=351&rft.pages=338-351&rft.issn=0302-9743&rft.eissn=1611-3349&rft.isbn=9783540672593&rft.isbn_list=3540672591&rft_id=info:doi/10.1007/3-540-46430-1_29&rft_dat=%3Cpascalfrancis_sprin%3E1177519%3C/pascalfrancis_sprin%3E%3Curl%3E%3C/url%3E&rft.eisbn=9783540464303&rft.eisbn_list=3540464301&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true |