An automated control logic generation method for plant sequential-control
This paper introduces a method for automated generation of control logic. The method helps engineers design software for programmable controllers (PCs) used in plant-control systems. In this method, sequential control logic is generated in the form of a sequential function chart based on functional...
Uloženo v:
| Vydáno v: | 1996 IEEE International Symposium on Computer-Aided Control System Design s. 206 - 211 |
|---|---|
| Hlavní autoři: | , , |
| Médium: | Konferenční příspěvek |
| Jazyk: | angličtina |
| Vydáno: |
IEEE
1996
|
| Témata: | |
| ISBN: | 0780330323, 9780780330320 |
| On-line přístup: | Získat plný text |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
| Abstract | This paper introduces a method for automated generation of control logic. The method helps engineers design software for programmable controllers (PCs) used in plant-control systems. In this method, sequential control logic is generated in the form of a sequential function chart based on functional specifications of the target plant which are represented as keywords. The logic generation process is composed of three steps: converting control specifications into machine states, including initial and final states; searching for a transition path between the initial and final states; and converting state transitions into device operations. The applicability of the proposed method was confirmed through a case study of plant control logic design. Correct control logic was generated for the test cases. The new method needed the input of fewer data than the current design method. |
|---|---|
| AbstractList | This paper introduces a method for automated generation of control logic. The method helps engineers design software for programmable controllers (PCs) used in plant-control systems. In this method, sequential control logic is generated in the form of a sequential function chart based on functional specifications of the target plant which are represented as keywords. The logic generation process is composed of three steps: converting control specifications into machine states, including initial and final states; searching for a transition path between the initial and final states; and converting state transitions into device operations. The applicability of the proposed method was confirmed through a case study of plant control logic design. Correct control logic was generated for the test cases. The new method needed the input of fewer data than the current design method. |
| Author | Ie, S. Yamada, N. Shinbori, T. |
| Author_xml | – sequence: 1 givenname: S. surname: Ie fullname: Ie, S. organization: Power & Ind. Syst. R&D Div., Hitachi Ltd., Japan – sequence: 2 givenname: N. surname: Yamada fullname: Yamada, N. – sequence: 3 givenname: T. surname: Shinbori fullname: Shinbori, T. |
| BookMark | eNotj8tOwzAURC0BErT0A2DlH0i4jh-1l1WAUqkSC2BdXSc3xSixS-Iu-HsqtbOZxdEcaWbsOqZIjD0IKIUA91Sv6o_nUjhnSq11ZasrNoOlBSlBVvKWLabpB05RJ2jsHdusIsdjTgNmanmTYh5Tz_u0Dw3fU6QRc0iRD5S_U8u7NPJDjzHziX6PFHPAvriM7tlNh_1Ei0vP2dfry2f9Vmzf15t6tS2CAJULT65R1kttNVgPqlIAuOykQSk0CtNZbB0ZhZKsca1z5L30rTJkddMJkHP2ePYGItodxjDg-Lc7n5X_0bNNJg |
| ContentType | Conference Proceeding |
| DBID | 6IE 6IL CBEJK RIE RIL |
| DOI | 10.1109/CACSD.1996.555282 |
| DatabaseName | IEEE Electronic Library (IEL) Conference Proceedings IEEE Xplore POP ALL IEEE Xplore All Conference Proceedings IEEE/IET Electronic Library (IEL) (UW System Shared) IEEE Proceedings Order Plans (POP All) 1998-Present |
| DatabaseTitleList | |
| Database_xml | – sequence: 1 dbid: RIE name: IEEE/IET Electronic Library (IEL) (UW System Shared) url: https://ieeexplore.ieee.org/ sourceTypes: Publisher |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Engineering |
| EndPage | 211 |
| ExternalDocumentID | 555282 |
| GroupedDBID | 6IE 6IK 6IL AAJGR AAWTH ACGHX ALMA_UNASSIGNED_HOLDINGS BEFXN BFFAM BGNUA BKEBE BPEOZ CBEJK OCL RIE RIL |
| ID | FETCH-LOGICAL-i104t-be9c48b358508b042400a7f36a315a16f8ad9e64a3e869d99ebb3bd46e85cf103 |
| IEDL.DBID | RIE |
| ISBN | 0780330323 9780780330320 |
| ISICitedReferencesCount | 1 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=555282&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| IngestDate | Wed Aug 27 02:46:48 EDT 2025 |
| IsPeerReviewed | false |
| IsScholarly | false |
| Language | English |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-i104t-be9c48b358508b042400a7f36a315a16f8ad9e64a3e869d99ebb3bd46e85cf103 |
| PageCount | 6 |
| ParticipantIDs | ieee_primary_555282 |
| PublicationCentury | 1900 |
| PublicationDate | 19960000 |
| PublicationDateYYYYMMDD | 1996-01-01 |
| PublicationDate_xml | – year: 1996 text: 19960000 |
| PublicationDecade | 1990 |
| PublicationTitle | 1996 IEEE International Symposium on Computer-Aided Control System Design |
| PublicationTitleAbbrev | CACSD |
| PublicationYear | 1996 |
| Publisher | IEEE |
| Publisher_xml | – name: IEEE |
| SSID | ssj0000455268 |
| Score | 1.2443743 |
| Snippet | This paper introduces a method for automated generation of control logic. The method helps engineers design software for programmable controllers (PCs) used in... |
| SourceID | ieee |
| SourceType | Publisher |
| StartPage | 206 |
| SubjectTerms | Automatic control Automatic generation control Automatic logic units Control systems Design engineering Logic design Logic devices Logic programming Programmable control Reliability engineering |
| Title | An automated control logic generation method for plant sequential-control |
| URI | https://ieeexplore.ieee.org/document/555282 |
| WOSCitedRecordID | wos555282&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1LSwMxEA62eNCLWiu-ycFr2t2mm8exVIuClIIKvZVkMyuFsi116-93kmyrghdvuwv7YMJm5puZ7xtC7mQKxqiEM9Nzmnn1F2ZSlTNjHBS2h04qD0ThZzkeq-lUT2qd7cCFAYDQfAYdfxhq-W6Zb3yqrJtlGSKEBmlIKSJVa5dOwcjEC5cEYI6vxo25x2t9ne35tqiZJro7HAxf7j1TT3TiQ38NVwm-ZXT0r686Ju1vjh6d7LzPCdmDskUOf8gLnpKnQUnNplpiUAqO1k3pNGx29D3ITftVoXGINMXola4WaGga26vx11-w-qY2eRs9vA4fWT06gc0RX1XMgs77ynIEA4myvryZJEYWXBieZiYVhTJOg-gbDkpopzVYy63rC1BZXqQJPyPNclnCOaFcZlJLg4A1A4ytnOUYQQmEOYVAZy_tBWl5m8xWUR1jFs1x-efVK3IQu559CuOaNKv1Bm7Ifv5ZzT_Wt2FFvwDMHZ4M |
| linkProvider | IEEE |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV3fS8MwEA46BfVFnRN_mwdfs7VNkyaPYzo2nGPghL2NpLnKYHRjdv79Jmk3FXzxrS30Bxeau-_uvu8QekhCUEoElKjISOLUX4gKRUqUMpDpyDqp1BOFB8lwKCYTOap0tj0XBgB88xk03aGv5ZtFunapshZjzCKEXbTH4jgKSrLWNqFiYxMnXeKhuX253ZojWinsbM43Zc0wkK1Ou_P66Lh6vFk-9td4Fe9dusf_-q4T1Phm6eHR1v-coh3I6-joh8DgGeq3c6zWxcKGpWBw1ZaO_XaH373gtFsXXI6RxjZ-xcu5NTUuG6ztzz8n1U0N9NZ9Gnd6pBqeQGYWYRVEg0xjoamFA4HQrsAZBCrJKFc0ZCrkmVBGAo8VBcGlkRK0ptrEHARLszCg56iWL3K4QJgmLJGJspCVgY2ujKY2huIW6GTcuvtEX6K6s8l0WepjTEtzXP159R4d9MYvg-mgP3y-RodlD7RLaNygWrFawy3aTz-L2cfqzq_uFzi8oVM |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=1996+IEEE+International+Symposium+on+Computer-Aided+Control+System+Design&rft.atitle=An+automated+control+logic+generation+method+for+plant+sequential-control&rft.au=Ie%2C+S.&rft.au=Yamada%2C+N.&rft.au=Shinbori%2C+T.&rft.date=1996-01-01&rft.pub=IEEE&rft.isbn=9780780330320&rft.spage=206&rft.epage=211&rft_id=info:doi/10.1109%2FCACSD.1996.555282&rft.externalDocID=555282 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9780780330320/lc.gif&client=summon&freeimage=true |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9780780330320/mc.gif&client=summon&freeimage=true |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9780780330320/sc.gif&client=summon&freeimage=true |

