Design issues for CACSD systems
The aim of this paper is to address some of the wider issues relating to how CACSD systems should be designed in the future in order to more closely meet the needs of the control system designer. Through an analysis of the nature of the design activity, the various stages through which the designer...
Gespeichert in:
| Veröffentlicht in: | Proceedings of the IEEE 1984-01, Vol.72 (12), p.1714-1723 |
|---|---|
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext bestellen |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 1723 |
|---|---|
| container_issue | 12 |
| container_start_page | 1714 |
| container_title | Proceedings of the IEEE |
| container_volume | 72 |
| creator | Denham, M.J. |
| description | The aim of this paper is to address some of the wider issues relating to how CACSD systems should be designed in the future in order to more closely meet the needs of the control system designer. Through an analysis of the nature of the design activity, the various stages through which the designer must pass before arriving at a final design, and the need to interact with external influences during the design process, it is possible to identify a number of essential components for any CACSD system. The integration of these components, using their common structure and objectives, e.g., the need to both formally specify and to reason about the design, including proving the design to be correct, provides the basis of a design environment which contains two major related tools, a formal design language and a design knowledge base. The complete environment is provided by adding to these basic components a set of integrated tools to support the use of the CACSD system, taking account of the more general human factors aspects of interactive computing. |
| doi_str_mv | 10.1109/PROC.1984.13080 |
| format | Article |
| fullrecord | <record><control><sourceid>pascalfrancis_RIE</sourceid><recordid>TN_cdi_pascalfrancis_primary_9203447</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>1457348</ieee_id><sourcerecordid>9203447</sourcerecordid><originalsourceid>FETCH-LOGICAL-c288t-68f9ab7f8a0b3d918953b805c8491f79530b7ba614ac98ff35feaedce9507d53</originalsourceid><addsrcrecordid>eNpFjztPwzAUhS0EEqEwMzCQgTXpdWzH12OVlodUqQi6R45jo6C-5FuG_nsSgmA6OtL5jvQxdssh5xzM9PVtVeXcoMy5AIQzlnClMCsKVZ6zBIBjZgpuLtkV0ScACFWKhN3PPXUfu7Qj-vKUhn1Mq1n1Pk_pREe_pWt2EeyG_M1vTtj6cbGunrPl6umlmi0zVyAesxKDsY0OaKERreFolGgQlENpeNB9g0Y3tuTSOoMhCBW89a3zRoFulZiw6Xjr4p4o-lAfYre18VRzqAe9etCrB736R68nHkbiYMnZTYh25zr6w0wBQkrdz-7GWee9_z-VSguJ4htP2Fa9</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype></control><display><type>article</type><title>Design issues for CACSD systems</title><source>IEEE Electronic Library (IEL)</source><creator>Denham, M.J.</creator><creatorcontrib>Denham, M.J.</creatorcontrib><description>The aim of this paper is to address some of the wider issues relating to how CACSD systems should be designed in the future in order to more closely meet the needs of the control system designer. Through an analysis of the nature of the design activity, the various stages through which the designer must pass before arriving at a final design, and the need to interact with external influences during the design process, it is possible to identify a number of essential components for any CACSD system. The integration of these components, using their common structure and objectives, e.g., the need to both formally specify and to reason about the design, including proving the design to be correct, provides the basis of a design environment which contains two major related tools, a formal design language and a design knowledge base. The complete environment is provided by adding to these basic components a set of integrated tools to support the use of the CACSD system, taking account of the more general human factors aspects of interactive computing.</description><identifier>ISSN: 0018-9219</identifier><identifier>EISSN: 1558-2256</identifier><identifier>DOI: 10.1109/PROC.1984.13080</identifier><identifier>CODEN: IEEPAD</identifier><language>eng</language><publisher>New York, NY: IEEE</publisher><subject>Adaptive control ; Applied sciences ; Computer science ; Computer science; control theory; systems ; Control system synthesis ; Control systems ; Control theory. Systems ; Design automation ; Design engineering ; Error-free operation ; Exact sciences and technology ; Human factors ; Optimal control ; Process control ; Process design</subject><ispartof>Proceedings of the IEEE, 1984-01, Vol.72 (12), p.1714-1723</ispartof><rights>1985 INIST-CNRS</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c288t-68f9ab7f8a0b3d918953b805c8491f79530b7ba614ac98ff35feaedce9507d53</citedby></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/1457348$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>314,780,784,796,27924,27925,54758</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/1457348$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc><backlink>$$Uhttp://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=9203447$$DView record in Pascal Francis$$Hfree_for_read</backlink></links><search><creatorcontrib>Denham, M.J.</creatorcontrib><title>Design issues for CACSD systems</title><title>Proceedings of the IEEE</title><addtitle>JPROC</addtitle><description>The aim of this paper is to address some of the wider issues relating to how CACSD systems should be designed in the future in order to more closely meet the needs of the control system designer. Through an analysis of the nature of the design activity, the various stages through which the designer must pass before arriving at a final design, and the need to interact with external influences during the design process, it is possible to identify a number of essential components for any CACSD system. The integration of these components, using their common structure and objectives, e.g., the need to both formally specify and to reason about the design, including proving the design to be correct, provides the basis of a design environment which contains two major related tools, a formal design language and a design knowledge base. The complete environment is provided by adding to these basic components a set of integrated tools to support the use of the CACSD system, taking account of the more general human factors aspects of interactive computing.</description><subject>Adaptive control</subject><subject>Applied sciences</subject><subject>Computer science</subject><subject>Computer science; control theory; systems</subject><subject>Control system synthesis</subject><subject>Control systems</subject><subject>Control theory. Systems</subject><subject>Design automation</subject><subject>Design engineering</subject><subject>Error-free operation</subject><subject>Exact sciences and technology</subject><subject>Human factors</subject><subject>Optimal control</subject><subject>Process control</subject><subject>Process design</subject><issn>0018-9219</issn><issn>1558-2256</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>1984</creationdate><recordtype>article</recordtype><recordid>eNpFjztPwzAUhS0EEqEwMzCQgTXpdWzH12OVlodUqQi6R45jo6C-5FuG_nsSgmA6OtL5jvQxdssh5xzM9PVtVeXcoMy5AIQzlnClMCsKVZ6zBIBjZgpuLtkV0ScACFWKhN3PPXUfu7Qj-vKUhn1Mq1n1Pk_pREe_pWt2EeyG_M1vTtj6cbGunrPl6umlmi0zVyAesxKDsY0OaKERreFolGgQlENpeNB9g0Y3tuTSOoMhCBW89a3zRoFulZiw6Xjr4p4o-lAfYre18VRzqAe9etCrB736R68nHkbiYMnZTYh25zr6w0wBQkrdz-7GWee9_z-VSguJ4htP2Fa9</recordid><startdate>19840101</startdate><enddate>19840101</enddate><creator>Denham, M.J.</creator><general>IEEE</general><general>Institute of Electrical and Electronics Engineers</general><scope>IQODW</scope><scope>AAYXX</scope><scope>CITATION</scope></search><sort><creationdate>19840101</creationdate><title>Design issues for CACSD systems</title><author>Denham, M.J.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c288t-68f9ab7f8a0b3d918953b805c8491f79530b7ba614ac98ff35feaedce9507d53</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>1984</creationdate><topic>Adaptive control</topic><topic>Applied sciences</topic><topic>Computer science</topic><topic>Computer science; control theory; systems</topic><topic>Control system synthesis</topic><topic>Control systems</topic><topic>Control theory. Systems</topic><topic>Design automation</topic><topic>Design engineering</topic><topic>Error-free operation</topic><topic>Exact sciences and technology</topic><topic>Human factors</topic><topic>Optimal control</topic><topic>Process control</topic><topic>Process design</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Denham, M.J.</creatorcontrib><collection>Pascal-Francis</collection><collection>CrossRef</collection><jtitle>Proceedings of the IEEE</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Denham, M.J.</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Design issues for CACSD systems</atitle><jtitle>Proceedings of the IEEE</jtitle><stitle>JPROC</stitle><date>1984-01-01</date><risdate>1984</risdate><volume>72</volume><issue>12</issue><spage>1714</spage><epage>1723</epage><pages>1714-1723</pages><issn>0018-9219</issn><eissn>1558-2256</eissn><coden>IEEPAD</coden><abstract>The aim of this paper is to address some of the wider issues relating to how CACSD systems should be designed in the future in order to more closely meet the needs of the control system designer. Through an analysis of the nature of the design activity, the various stages through which the designer must pass before arriving at a final design, and the need to interact with external influences during the design process, it is possible to identify a number of essential components for any CACSD system. The integration of these components, using their common structure and objectives, e.g., the need to both formally specify and to reason about the design, including proving the design to be correct, provides the basis of a design environment which contains two major related tools, a formal design language and a design knowledge base. The complete environment is provided by adding to these basic components a set of integrated tools to support the use of the CACSD system, taking account of the more general human factors aspects of interactive computing.</abstract><cop>New York, NY</cop><pub>IEEE</pub><doi>10.1109/PROC.1984.13080</doi><tpages>10</tpages></addata></record> |
| fulltext | fulltext_linktorsrc |
| identifier | ISSN: 0018-9219 |
| ispartof | Proceedings of the IEEE, 1984-01, Vol.72 (12), p.1714-1723 |
| issn | 0018-9219 1558-2256 |
| language | eng |
| recordid | cdi_pascalfrancis_primary_9203447 |
| source | IEEE Electronic Library (IEL) |
| subjects | Adaptive control Applied sciences Computer science Computer science control theory systems Control system synthesis Control systems Control theory. Systems Design automation Design engineering Error-free operation Exact sciences and technology Human factors Optimal control Process control Process design |
| title | Design issues for CACSD systems |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-22T03%3A57%3A41IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-pascalfrancis_RIE&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Design%20issues%20for%20CACSD%20systems&rft.jtitle=Proceedings%20of%20the%20IEEE&rft.au=Denham,%20M.J.&rft.date=1984-01-01&rft.volume=72&rft.issue=12&rft.spage=1714&rft.epage=1723&rft.pages=1714-1723&rft.issn=0018-9219&rft.eissn=1558-2256&rft.coden=IEEPAD&rft_id=info:doi/10.1109/PROC.1984.13080&rft_dat=%3Cpascalfrancis_RIE%3E9203447%3C/pascalfrancis_RIE%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=1457348&rfr_iscdi=true |