WEKO3
アイテム
{"_buckets": {"deposit": "43b4c48b-3ef5-4a8a-9b86-671eaf52f31b"}, "_deposit": {"id": "13092", "owners": [], "pid": {"revision_id": 0, "type": "depid", "value": "13092"}, "status": "published"}, "_oai": {"id": "oai:nagoya.repo.nii.ac.jp:00013092", "sets": ["322"]}, "author_link": ["41200", "41201", "41202"], "item_10_biblio_info_6": {"attribute_name": "書誌情報", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "2004-04-01", "bibliographicIssueDateType": "Issued"}, "bibliographicIssueNumber": "4", "bibliographicPageEnd": "849", "bibliographicPageStart": "843", "bibliographicVolumeNumber": "E87-A", "bibliographic_titles": [{"bibliographic_title": "IEICE transactions on fundamentals of electronics, communications and computer sciences", "bibliographic_titleLang": "en"}]}]}, "item_10_description_4": {"attribute_name": "抄録", "attribute_value_mlt": [{"subitem_description": "The PLC (Programmable Logic Controller) has been widely used in the industrial world as a controller for manufacturing systems, as a process controller and so on. The conventional PLC has been designed and verified as a pure Discrete Event System (DES) by using an abstract model of a controlled plant. In verifying the PLC, however, it is also important to take into account the physical behavior (e.g. dynamics, shape of objects) of the controlled plant in order to guarantee such important factors as safety. This paper presents a new verification technique for the PLC-based control system, which takes into account these physical behaviors, based on a Hybrid Dynamical System (HDS) framework. The other key idea described in the paper is the introduction of the concept of signed distance which not only measures the distance between two objects but also checks whether two objects interfere with each other. The developed idea is applied to illustrative material handling problems, and its usefulness is demonstrated.", "subitem_description_language": "en", "subitem_description_type": "Abstract"}]}, "item_10_identifier_60": {"attribute_name": "URI", "attribute_value_mlt": [{"subitem_identifier_type": "URI", "subitem_identifier_uri": "http://www.ieice.org/jpn/trans_online/index.html"}, {"subitem_identifier_type": "HDL", "subitem_identifier_uri": "http://hdl.handle.net/2237/14987"}]}, "item_10_publisher_32": {"attribute_name": "出版者", "attribute_value_mlt": [{"subitem_publisher": "Institute of Electronics, Information and Communication Engineers", "subitem_publisher_language": "en"}]}, "item_10_relation_43": {"attribute_name": "関連情報", "attribute_value_mlt": [{"subitem_relation_type": "isVersionOf", "subitem_relation_type_id": {"subitem_relation_type_id_text": "http://www.ieice.org/jpn/trans_online/index.html", "subitem_relation_type_select": "URI"}}]}, "item_10_rights_12": {"attribute_name": "権利", "attribute_value_mlt": [{"subitem_rights": "Copyright (C) 2004 IEICE", "subitem_rights_language": "en"}]}, "item_10_select_15": {"attribute_name": "著者版フラグ", "attribute_value_mlt": [{"subitem_select_item": "publisher"}]}, "item_10_source_id_7": {"attribute_name": "ISSN", "attribute_value_mlt": [{"subitem_source_identifier": "0916-8508", "subitem_source_identifier_type": "PISSN"}]}, "item_1615787544753": {"attribute_name": "出版タイプ", "attribute_value_mlt": [{"subitem_version_resource": "http://purl.org/coar/version/c_970fb48d4fbd8a85", "subitem_version_type": "VoR"}]}, "item_access_right": {"attribute_name": "アクセス権", "attribute_value_mlt": [{"subitem_access_right": "open access", "subitem_access_right_uri": "http://purl.org/coar/access_right/c_abf2"}]}, "item_creator": {"attribute_name": "著者", "attribute_type": "creator", "attribute_value_mlt": [{"creatorNames": [{"creatorName": "KONAKA, Eiji", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "41200", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "SUZUKI, Tatsuya", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "41201", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "OKUMA, Shigeru", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "41202", "nameIdentifierScheme": "WEKO"}]}]}, "item_files": {"attribute_name": "ファイル情報", "attribute_type": "file", "attribute_value_mlt": [{"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2018-02-20"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "418.pdf", "filesize": [{"value": "833.2 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_note", "mimetype": "application/pdf", "size": 833200.0, "url": {"label": "418.pdf", "objectType": "fulltext", "url": "https://nagoya.repo.nii.ac.jp/record/13092/files/418.pdf"}, "version_id": "cd8459a0-5b01-4ad8-be89-eb50e508bcde"}]}, "item_keyword": {"attribute_name": "キーワード", "attribute_value_mlt": [{"subitem_subject": "programmable logic controller", "subitem_subject_scheme": "Other"}, {"subitem_subject": "safety verification", "subitem_subject_scheme": "Other"}, {"subitem_subject": "hybrid dynamical system", "subitem_subject_scheme": "Other"}]}, "item_language": {"attribute_name": "言語", "attribute_value_mlt": [{"subitem_language": "eng"}]}, "item_resource_type": {"attribute_name": "資源タイプ", "attribute_value_mlt": [{"resourcetype": "journal article", "resourceuri": "http://purl.org/coar/resource_type/c_6501"}]}, "item_title": "Safety Verification of Material Handling Systems Driven by Programmable Logic Controller : Consideration of Physical Behavior of Plants", "item_titles": {"attribute_name": "タイトル", "attribute_value_mlt": [{"subitem_title": "Safety Verification of Material Handling Systems Driven by Programmable Logic Controller : Consideration of Physical Behavior of Plants", "subitem_title_language": "en"}]}, "item_type_id": "10", "owner": "1", "path": ["322"], "permalink_uri": "http://hdl.handle.net/2237/14987", "pubdate": {"attribute_name": "PubDate", "attribute_value": "2011-06-29"}, "publish_date": "2011-06-29", "publish_status": "0", "recid": "13092", "relation": {}, "relation_version_is_last": true, "title": ["Safety Verification of Material Handling Systems Driven by Programmable Logic Controller : Consideration of Physical Behavior of Plants"], "weko_shared_id": -1}
Safety Verification of Material Handling Systems Driven by Programmable Logic Controller : Consideration of Physical Behavior of Plants
http://hdl.handle.net/2237/14987
http://hdl.handle.net/2237/149878c290efa-d948-480e-a16a-5803492382a1
名前 / ファイル | ライセンス | アクション |
---|---|---|
![]() |
|
Item type | 学術雑誌論文 / Journal Article(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2011-06-29 | |||||
タイトル | ||||||
タイトル | Safety Verification of Material Handling Systems Driven by Programmable Logic Controller : Consideration of Physical Behavior of Plants | |||||
言語 | en | |||||
著者 |
KONAKA, Eiji
× KONAKA, Eiji× SUZUKI, Tatsuya× OKUMA, Shigeru |
|||||
アクセス権 | ||||||
アクセス権 | open access | |||||
アクセス権URI | http://purl.org/coar/access_right/c_abf2 | |||||
権利 | ||||||
言語 | en | |||||
権利情報 | Copyright (C) 2004 IEICE | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | programmable logic controller | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | safety verification | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | hybrid dynamical system | |||||
抄録 | ||||||
内容記述 | The PLC (Programmable Logic Controller) has been widely used in the industrial world as a controller for manufacturing systems, as a process controller and so on. The conventional PLC has been designed and verified as a pure Discrete Event System (DES) by using an abstract model of a controlled plant. In verifying the PLC, however, it is also important to take into account the physical behavior (e.g. dynamics, shape of objects) of the controlled plant in order to guarantee such important factors as safety. This paper presents a new verification technique for the PLC-based control system, which takes into account these physical behaviors, based on a Hybrid Dynamical System (HDS) framework. The other key idea described in the paper is the introduction of the concept of signed distance which not only measures the distance between two objects but also checks whether two objects interfere with each other. The developed idea is applied to illustrative material handling problems, and its usefulness is demonstrated. | |||||
言語 | en | |||||
内容記述タイプ | Abstract | |||||
出版者 | ||||||
言語 | en | |||||
出版者 | Institute of Electronics, Information and Communication Engineers | |||||
言語 | ||||||
言語 | eng | |||||
資源タイプ | ||||||
資源タイプresource | http://purl.org/coar/resource_type/c_6501 | |||||
タイプ | journal article | |||||
出版タイプ | ||||||
出版タイプ | VoR | |||||
出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||
関連情報 | ||||||
関連タイプ | isVersionOf | |||||
識別子タイプ | URI | |||||
関連識別子 | http://www.ieice.org/jpn/trans_online/index.html | |||||
ISSN | ||||||
収録物識別子タイプ | PISSN | |||||
収録物識別子 | 0916-8508 | |||||
書誌情報 |
en : IEICE transactions on fundamentals of electronics, communications and computer sciences 巻 E87-A, 号 4, p. 843-849, 発行日 2004-04-01 |
|||||
著者版フラグ | ||||||
値 | publisher | |||||
URI | ||||||
識別子 | http://www.ieice.org/jpn/trans_online/index.html | |||||
識別子タイプ | URI | |||||
URI | ||||||
識別子 | http://hdl.handle.net/2237/14987 | |||||
識別子タイプ | HDL |