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žené v:
| Vydané v: | 1996 IEEE International Symposium on Computer-Aided Control System Design s. 206 - 211 |
|---|---|
| Hlavní autori: | , , |
| Médium: | Konferenčný príspevok.. |
| Jazyk: | English |
| Vydavateľské údaje: |
IEEE
1996
|
| Predmet: | |
| ISBN: | 0780330323, 9780780330320 |
| On-line prístup: | Získať plný text |
| Tagy: |
Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
|
| 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 Proceedings Order Plan All Online (POP All Online) 1998-present by volume IEEE Xplore All Conference Proceedings IEEE Electronic Library (IEL) IEEE Proceedings Order Plans (POP All) 1998-Present |
| DatabaseTitleList | |
| Database_xml | – sequence: 1 dbid: RIE name: IEEE Electronic Library (IEL) 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.2443953 |
| 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/eLvHCXMwlV1LSwMxEA5WPOhFrRXf5OA1bbbZvI6lWvRSCir0VpLNrBTKttStv988tlXBi7c8yLJM2J355vENQveSC6Ci0MQZa0juFSTR4EpCOZSSqVyVuYnNJuR4rKZTPWl4tmMtDADE5DPohmGM5btlsQmush7n3COEFmpJKVKp1s6d4i2TQFwSgbmiHqSzPmv4dbbzbVAzo7o3HAxfHkKlnuimh_5qrhJ1y-j4X291gjrfNXp4stM-p2gPqjY6-kEveIaeBxU2m3rpjVJwuElKx_Fnh98j3XS4FZyaSGNvveLVwgsap_Rq_-kvSHOog95Gj6_DJ9K0TiBzj69qYkEXubLMgwGqbAhvUmpkyYRhGTeZKJVxGkRuGCihndZgLbMuF6B4UWaUnaP9alnBBcKCZ0753b6lLgfprOZKKFVYSTMFll-idpDJbJXYMWZJHFd_rl6jw5T1HFwYN2i_Xm_gFh0Un_X8Y30Xb_QLnPee1Q |
| linkProvider | IEEE |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV3PT8IwFG4UTdSLihh_24PXQkfXrj0SlEBEQiIm3Ei7vhkSAgSHf79tN1ATL962NVuW12zvfe_H9yH0kHABVKSKWG00iZ2DJApsRiiHLGEyllmsg9hEMhjI8VgNS57tMAsDAKH5DOr-MNTy7SJd-1RZg3PuEMIu2vPCWeWw1jah4mITT10SoLmkDqazJisZdjbnm7JmRFWj3Wq_PvpZPVEvHvtLXiV4l87xv97rBNW-p_TwcOt_TtEOzKvo6AfB4BnqteZYr_OFC0vB4rItHYffHX4PhNN-X3AhI41d_IqXM2dqXDRYu49_Rsqbauit8zRqd0kpnkCmDmHlxIBKY2mYgwNUGl_gpFQnGROaRVxHIpPaKhCxZiCFskqBMczYWIDkaRZRdo4q88UcLhAWPLLSrTYNtTEk1iguhZSpSWgkwfBLVPU2mSwLfoxJYY6rP6_eo4Pu6KU_6fcGz9fosOiB9gmNG1TJV2u4RfvpZz79WN2F3f0CFjuiHg |
| 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 |

