Automatic analysis of Monte-Carlo simulations of dynamic chemical plants
A methodology is presented for summarizing the voluminous results of Monte-Carlo simulations of a chemical plant and translating them into qualitative behavior trees, which can then be checked systematically for interesting behavior using Computation Tree Logic. The technique is useful for the verif...
Gespeichert in:
| Veröffentlicht in: | Computers & chemical engineering 1996, Vol.20, p.S987-S992 |
|---|---|
| Hauptverfasser: | , , , |
| Format: | Artikel |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | S992 |
|---|---|
| container_issue | |
| container_start_page | S987 |
| container_title | Computers & chemical engineering |
| container_volume | 20 |
| creator | Gazi, E. Ungar, L.H. Seider, W.D. Kuipers, B.J. |
| description | A methodology is presented for summarizing the voluminous results of Monte-Carlo simulations of a chemical plant and translating them into qualitative behavior trees, which can then be checked systematically for interesting behavior using Computation Tree Logic. The technique is useful for the verification of the safety and reliability of proposed plant and controller designs and handles broad classes of uncertainty in the plant, controller, and disturbances. The method is demonstrated to work well on a simulated styrene polymerization reactor. |
| doi_str_mv | 10.1016/0098-1354(96)00172-X |
| format | Article |
| fullrecord | <record><control><sourceid>proquest_cross</sourceid><recordid>TN_cdi_proquest_miscellaneous_26403671</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><els_id>009813549600172X</els_id><sourcerecordid>26403671</sourcerecordid><originalsourceid>FETCH-LOGICAL-c446t-4edd343cf8b725f0ed6d87372b1421d72f3118580c6c76071aebf6b75015f9b23</originalsourceid><addsrcrecordid>eNp9kE9LAzEQxYMoWKvfwMMeRPSwOvmzyfYilKJWqHhR6C1kswlGdjc12RX67c3a0qOnYZjfzLz3ELrEcIcB83uAWZljWrCbGb8FwILk6yM0waWgOaOiOEaTA3KKzmL8AgDCynKClvOh963qnc5Up5ptdDHzNnv1XW_yhQqNz6JrhyYRvvsb1dtOtQnXnyYV1WSbRnV9PEcnVjXRXOzrFH08Pb4vlvnq7fllMV_lmjHe58zUNWVU27ISpLBgal4nmYJUmBFcC2IpxmVRguZacBBYmcryShSACzurCJ2i693dTfDfg4m9bF3UpkkijB-iJJwB5QInkO1AHXyMwVi5Ca5VYSsxyDE2OWYix0zkbGxSbHKd1q7291VM7mxQnXbxsJvUEeAiYQ87zCSvP84EGbUznTa1C0b3svbu_z-_pg6Aow</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>26403671</pqid></control><display><type>article</type><title>Automatic analysis of Monte-Carlo simulations of dynamic chemical plants</title><source>Elsevier ScienceDirect Journals</source><creator>Gazi, E. ; Ungar, L.H. ; Seider, W.D. ; Kuipers, B.J.</creator><creatorcontrib>Gazi, E. ; Ungar, L.H. ; Seider, W.D. ; Kuipers, B.J.</creatorcontrib><description>A methodology is presented for summarizing the voluminous results of Monte-Carlo simulations of a chemical plant and translating them into qualitative behavior trees, which can then be checked systematically for interesting behavior using Computation Tree Logic. The technique is useful for the verification of the safety and reliability of proposed plant and controller designs and handles broad classes of uncertainty in the plant, controller, and disturbances. The method is demonstrated to work well on a simulated styrene polymerization reactor.</description><identifier>ISSN: 0098-1354</identifier><identifier>EISSN: 1873-4375</identifier><identifier>DOI: 10.1016/0098-1354(96)00172-X</identifier><identifier>CODEN: CCENDW</identifier><language>eng</language><publisher>Oxford: Elsevier Ltd</publisher><subject>Applications of mathematics to chemical engineering. Modeling. Simulation. Optimization ; Applied sciences ; Behavior tree ; Chemical engineering ; Computation Tree Logic ; Controller verification ; Exact sciences and technology ; Monte-Carlo simulations ; QSIM algorithm</subject><ispartof>Computers & chemical engineering, 1996, Vol.20, p.S987-S992</ispartof><rights>1996</rights><rights>1996 INIST-CNRS</rights><lds50>peer_reviewed</lds50><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c446t-4edd343cf8b725f0ed6d87372b1421d72f3118580c6c76071aebf6b75015f9b23</citedby><cites>FETCH-LOGICAL-c446t-4edd343cf8b725f0ed6d87372b1421d72f3118580c6c76071aebf6b75015f9b23</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://www.sciencedirect.com/science/article/pii/009813549600172X$$EHTML$$P50$$Gelsevier$$H</linktohtml><link.rule.ids>309,310,314,776,780,785,786,3537,4010,4036,4037,23909,23910,25118,27900,27901,27902,65306</link.rule.ids><backlink>$$Uhttp://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=3112067$$DView record in Pascal Francis$$Hfree_for_read</backlink></links><search><creatorcontrib>Gazi, E.</creatorcontrib><creatorcontrib>Ungar, L.H.</creatorcontrib><creatorcontrib>Seider, W.D.</creatorcontrib><creatorcontrib>Kuipers, B.J.</creatorcontrib><title>Automatic analysis of Monte-Carlo simulations of dynamic chemical plants</title><title>Computers & chemical engineering</title><description>A methodology is presented for summarizing the voluminous results of Monte-Carlo simulations of a chemical plant and translating them into qualitative behavior trees, which can then be checked systematically for interesting behavior using Computation Tree Logic. The technique is useful for the verification of the safety and reliability of proposed plant and controller designs and handles broad classes of uncertainty in the plant, controller, and disturbances. The method is demonstrated to work well on a simulated styrene polymerization reactor.</description><subject>Applications of mathematics to chemical engineering. Modeling. Simulation. Optimization</subject><subject>Applied sciences</subject><subject>Behavior tree</subject><subject>Chemical engineering</subject><subject>Computation Tree Logic</subject><subject>Controller verification</subject><subject>Exact sciences and technology</subject><subject>Monte-Carlo simulations</subject><subject>QSIM algorithm</subject><issn>0098-1354</issn><issn>1873-4375</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>1996</creationdate><recordtype>article</recordtype><recordid>eNp9kE9LAzEQxYMoWKvfwMMeRPSwOvmzyfYilKJWqHhR6C1kswlGdjc12RX67c3a0qOnYZjfzLz3ELrEcIcB83uAWZljWrCbGb8FwILk6yM0waWgOaOiOEaTA3KKzmL8AgDCynKClvOh963qnc5Up5ptdDHzNnv1XW_yhQqNz6JrhyYRvvsb1dtOtQnXnyYV1WSbRnV9PEcnVjXRXOzrFH08Pb4vlvnq7fllMV_lmjHe58zUNWVU27ISpLBgal4nmYJUmBFcC2IpxmVRguZacBBYmcryShSACzurCJ2i693dTfDfg4m9bF3UpkkijB-iJJwB5QInkO1AHXyMwVi5Ca5VYSsxyDE2OWYix0zkbGxSbHKd1q7291VM7mxQnXbxsJvUEeAiYQ87zCSvP84EGbUznTa1C0b3svbu_z-_pg6Aow</recordid><startdate>1996</startdate><enddate>1996</enddate><creator>Gazi, E.</creator><creator>Ungar, L.H.</creator><creator>Seider, W.D.</creator><creator>Kuipers, B.J.</creator><general>Elsevier Ltd</general><general>Elsevier</general><scope>IQODW</scope><scope>AAYXX</scope><scope>CITATION</scope><scope>7SC</scope><scope>8FD</scope><scope>JQ2</scope><scope>L7M</scope><scope>L~C</scope><scope>L~D</scope></search><sort><creationdate>1996</creationdate><title>Automatic analysis of Monte-Carlo simulations of dynamic chemical plants</title><author>Gazi, E. ; Ungar, L.H. ; Seider, W.D. ; Kuipers, B.J.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c446t-4edd343cf8b725f0ed6d87372b1421d72f3118580c6c76071aebf6b75015f9b23</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>1996</creationdate><topic>Applications of mathematics to chemical engineering. Modeling. Simulation. Optimization</topic><topic>Applied sciences</topic><topic>Behavior tree</topic><topic>Chemical engineering</topic><topic>Computation Tree Logic</topic><topic>Controller verification</topic><topic>Exact sciences and technology</topic><topic>Monte-Carlo simulations</topic><topic>QSIM algorithm</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Gazi, E.</creatorcontrib><creatorcontrib>Ungar, L.H.</creatorcontrib><creatorcontrib>Seider, W.D.</creatorcontrib><creatorcontrib>Kuipers, B.J.</creatorcontrib><collection>Pascal-Francis</collection><collection>CrossRef</collection><collection>Computer and Information Systems Abstracts</collection><collection>Technology Research Database</collection><collection>ProQuest Computer Science Collection</collection><collection>Advanced Technologies Database with Aerospace</collection><collection>Computer and Information Systems Abstracts Academic</collection><collection>Computer and Information Systems Abstracts Professional</collection><jtitle>Computers & chemical engineering</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Gazi, E.</au><au>Ungar, L.H.</au><au>Seider, W.D.</au><au>Kuipers, B.J.</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Automatic analysis of Monte-Carlo simulations of dynamic chemical plants</atitle><jtitle>Computers & chemical engineering</jtitle><date>1996</date><risdate>1996</risdate><volume>20</volume><spage>S987</spage><epage>S992</epage><pages>S987-S992</pages><issn>0098-1354</issn><eissn>1873-4375</eissn><coden>CCENDW</coden><abstract>A methodology is presented for summarizing the voluminous results of Monte-Carlo simulations of a chemical plant and translating them into qualitative behavior trees, which can then be checked systematically for interesting behavior using Computation Tree Logic. The technique is useful for the verification of the safety and reliability of proposed plant and controller designs and handles broad classes of uncertainty in the plant, controller, and disturbances. The method is demonstrated to work well on a simulated styrene polymerization reactor.</abstract><cop>Oxford</cop><pub>Elsevier Ltd</pub><doi>10.1016/0098-1354(96)00172-X</doi><oa>free_for_read</oa></addata></record> |
| fulltext | fulltext |
| identifier | ISSN: 0098-1354 |
| ispartof | Computers & chemical engineering, 1996, Vol.20, p.S987-S992 |
| issn | 0098-1354 1873-4375 |
| language | eng |
| recordid | cdi_proquest_miscellaneous_26403671 |
| source | Elsevier ScienceDirect Journals |
| subjects | Applications of mathematics to chemical engineering. Modeling. Simulation. Optimization Applied sciences Behavior tree Chemical engineering Computation Tree Logic Controller verification Exact sciences and technology Monte-Carlo simulations QSIM algorithm |
| title | Automatic analysis of Monte-Carlo simulations of dynamic chemical plants |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-02-02T12%3A32%3A46IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_cross&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Automatic%20analysis%20of%20Monte-Carlo%20simulations%20of%20dynamic%20chemical%20plants&rft.jtitle=Computers%20&%20chemical%20engineering&rft.au=Gazi,%20E.&rft.date=1996&rft.volume=20&rft.spage=S987&rft.epage=S992&rft.pages=S987-S992&rft.issn=0098-1354&rft.eissn=1873-4375&rft.coden=CCENDW&rft_id=info:doi/10.1016/0098-1354(96)00172-X&rft_dat=%3Cproquest_cross%3E26403671%3C/proquest_cross%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=26403671&rft_id=info:pmid/&rft_els_id=009813549600172X&rfr_iscdi=true |